18.10.2026
ראשון
ז' בחשוון התשפ"ז
▲︎ לוהט
▲︎ חם
▲︎ עוררו עניין
| 14:15:10 | ◀︎ | בינה מלאכותית ובעיות המתמטיקה של ארדוש: מה באמת הוכח ב-2026 |
הכותרות שעניינו הכי הרבה גולשים בדף זה
לפני 20 שעות ו-52 דקות
100% מהצפיות
מאת הידען
מאז ינואר 2026 מדווחות חברות בינה מלאכותית על פתרון עשרות בעיות מתמטיות פתוחות, רבות מהן של פול ארדוש. חלק מההוכחות נבדקו בידי מתמטיקאים ובתוכנת האימות Lean, אך התוצאות הבולטות עדיין לא עברו ביקורת עמיתים בכתב עת