מה קורה כשמודלי שפה מפסיקים רק לשנן טקסטים מהרשת ומתחילים לפתור בעיות מתמטיות שנותרו פתוחות במשך עשרות שנים? אירחתי היום את ד"ר מייק ארליכסון לשיחה על השילוב המרתק בין בינה מלאכותית, מתמטיקה גבוהה ותגליות מדעיות. איך מודלים מצליחים למצוא דוגמאות נגדיות להשערות היסטוריות כמו של ארדוש, מדוע אתגר הווריפיקציה של הוכחות ארוכות הופך לצוואר הבקבוק האנושי, וכיצד תהליכי מחקר אוטונומיים (Auto Research) ואלגוריתמים אבולוציוניים משנים את פני המדע? בפרק נגענו בכל אלה, וגם בפריצות דרך ברפואה מותאמת אישית, בעתיד של Physical AI, ובשאלה מה יקרה למפתחים וחוקרים שלא ילמדו לעבוד לצד כלי AI בצורה יעילה.