The headlines that made most buzz on this page
18/10/26 14:15
100% of the views
מאת הידען
מאז ינואר 2026 מדווחות חברות בינה מלאכותית על פתרון עשרות בעיות מתמטיות פתוחות, רבות מהן של פול ארדוש. חלק מההוכחות נבדקו בידי מתמטיקאים ובתוכנת האימות Lean, אך התוצאות הבולטות עדיין לא עברו ביקורת עמיתים בכתב עת