תפריט כתבה
ב-11 ימים: קלוד יצר הוכחה לבעיה מתמטית בת 358 שנים
Nexter
14:20
אנת'רופיק טוענת שמודל ה-AI שלה בנה הוכחה בת 13 מיליון שורות למשפט האחרון של פרמה, שניתנת לבדיקה מלאה במחשב. מתמטיקאי שבדק אותה אישר שהיא עומדת בכללים הלוגיים
