כל מה שחם בעולם הבינה המלאכותית · בעברית
בנושא
OpenAI פרסמה 722 כתבי יד מתמטיים שעוסקים ביותר מ-300 בעיות פתוחות. את כולם הפיק מודל פנימי שלא שוחרר לציבור. דובר החברה אמר ל-Scientific American שגם המתמטיקאים של OpenAI עדיין לא מבינים רבות מהתוצאות, ולכן קשה לדעת כמה מהפתרונות באמת תקפים.
זוכה מדליית פילדס שינג-טונג יאו השיק בבייג'ינג ברית של שמונה מוסדות, שמטרתה לקדם שימוש ב-AI במחקר המתמטי ולבנות רשת של יותר מ-1,000 חוקרים. במקביל, 25 זוכי מדליית פילדס במערב, ובהם טרנס טאו ופטר שולצה, מזהירים שהוכחות שנוצרות ב-AI עלולות לשחוק את ההבנה המתמטית.
מתמטיקאים סינים בכירים הקימו בבייג'ינג ברית מחקר בהובלת זוכה מדליית פילדס שינג-טונג יאו. לפי ההערכה יהיו בה יותר מ-1,000 חוקרים, והיא תעסוק בפיתוח מודלי AI למתמטיקה. יאו מודה שסין מפגרת אחרי ארה"ב בשימוש ב-AI למחקר מדעי. ההקמה מגיעה בעיצומו של ויכוח על אמינות התוצאות המתמטיות ש-AI מייצר.
OpenAI פרסמה ב-6 באוקטובר יותר מ-700 כתבי יד שנוצרו ב-AI, ולפי החברה הם פותרים מאות בעיות פתוחות במתמטיקה. יותר ממאה חוקרים הגיבו, ובהם זוכי מדליית פילדס. חלקם התפעלו מהרעיונות החדשים, ואחרים מתארים הלם, שיתוק ואבל על דרך עבודה שהולכת ונעלמת.
בבלוג של טרנס טאו התפרסם פוסט אורח של המתמטיקאי תומס היילס, שעוסק באמינות של מוכיח המשפטים Lean ובמקומו של AI במתמטיקה. לפי היילס, autoformalization, כלומר תרגום אוטומטי של הוכחות מתמטיות לשפה שמחשב יכול לבדוק, הפך ב-2026 למציאות מעשית.
OpenAI פרסמה השבוע 719 כתבי יד עם פתרונות לבעיות מתמטיות פתוחות, אך לא עמדה בחלק מההנחיות של קבוצת מתמטיקאים מובילים שהיא עצמה התייעצה איתה. במקביל, מאמר חדש מקיימברידג' ומקינגס קולג' לונדון מצא פערים בין ההסבר המילולי של אחת ההוכחות לבין הגרסה הפורמלית שלה ב-Lean.
טרנס טאו, זוכה פרס פילדס, מזהיר כי כלי בינה מלאכותית פותרים בעיות מתמטיקה פתוחות בקצב כה מהיר עד שהם "כורים" את מאגר הבעיות הפתוחות באופן בלתי מתחדש. לדבריו, אפילו שמועה על חוקר שמתחיל לעבוד על בעיה מסוימת עלולה להפעיל גל של מאמץ AI שמקדים אותו - תמריץ שעלול לגרום לחוקרים להפסיק לשתף כיוונים מחקריים בפומבי.
טרנס טאו, מהמתמטיקאים הבולטים בעולם, פרסם שרשור ב-Mastodon ובו הוא מזהיר כי מרוץ מעבדות ה-AI אחר שיפור מדדים מתמטיים מתחיל לפגוע בתחום. הטריגר: תוצאה חדשה בבעיית הפערים בין ראשוניים, שבעקבותיה כמה מעבדות AI מיהרו לפרסם שיפורים משלהן — לדבריו, תוך התעלמות ממה שבאמת חשוב במחקר מתמטי.