בינה מלאכותית ובעיות המתמטיקה של ארדוש: מה באמת הוכח ב-2026

הידען

מאז ינואר 2026 מדווחות חברות בינה מלאכותית על פתרון עשרות בעיות מתמטיות פתוחות, רבות מהן של פול ארדוש. חלק מההוכחות נבדקו בידי מתמטיקאים ובתוכנת האימות Lean, אך התוצאות הבולטות עדיין לא עברו ביקורת עמיתים בכתב עת