הכותרות שעניינו הכי הרבה גולשים בדף זה
18/10/26 14:15
100% מהצפיות
מאת הידען
מאז ינואר 2026 מדווחות חברות בינה מלאכותית על פתרון עשרות בעיות מתמטיות פתוחות, רבות מהן של פול ארדוש. חלק מההוכחות נבדקו בידי מתמטיקאים ובתוכנת האימות Lean, אך התוצאות הבולטות עדיין לא עברו ביקורת עמיתים בכתב עת