Episode Details

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

מגיש: עמית בנדור אורח:מייק ארליכסון עורכת ראשית: שלי נוי טכנאי: ערן ריפטין מנהל אולפן: עידו שקד מרקטינג: רעות שוקר עורך הפרק: ינאי צוריה