ידיעות בינה מלאכותית בנושא MATHEMATICS
OpenAI פרסמה 722 מאמרים מתמטיים שנוצרו באמצעות AI, כולל התקדמות בהשערת רימן ו-377 בעיות פתוחות. זהו הצעד השני מסוגו בתוך חודש, והוא עורר מחלוקת עזה בקהילה המדעית על קרדיט, אימות ועתיד המחקר האנושי — כאשר חלק מהמתמטיקאים טוענים שההישג שווה למדליית פילדס.
OpenAI הקימה קבוצת ייעוץ עצמאית של תשעה מתמטיקאים בכירים, כולל זוכי מדליית פילדס, כדי לעזור להעריך ולפרסם תוצאות של מודל AI שפתר בעיות מתמטיות גדולות. המהלך מגיע אחרי מחלוקת על התקשורת הכושלת של ההישגים, והקבוצה תפעל במכון ללימודים מתקדמים בארה״ב.
OpenAI הכריזה ב-8 בספטמבר שסוכני ה-AI שלה פתרו את בעיית Navier-Stokes, אתגר מתמטי מפורסם, באמצעות הרצה של כ-10,000 סוכנים שעלו מיליוני דולרים. המתמטיקאים מאשרים שההוכחה תקפה מבחינה טכנית, אך מתקשים להבין אותה וללמוד ממנה, וטוענים שלחברה היה ידע מוקדם מעבודתם של חוקרים שהיו קרובים לפתרון. האירוע מוכיח ש-AI חזק במתמטיקה, אך עדיין זקוק לאנשים כדי לפרש את היצירה ולייחס אותה למי שעבדו עליה.
פרופ' Tristan Buckmaster מ-NYU מאשים את OpenAI בגניבה לכאורה של פתרון לבעיית Navier–Stokes באמצעות Codex, ובגניבת עבודתו המשותפת עם Levent Alpöge מ-Anthropic. 25 זוכי Fields Medal חתומים על מכתב פתוח המזהיר שמעבדות AI מאיימות על המחקר המתמטי, ו-OpenAI משכה את חסותה מאירוע ב-Caltech בעקבות ביקורת.
OpenAI הודיעה שמודל AI פנימי שלה, בעזרת 10,000 סוכנים ובעלות של מיליוני דולרים, פתר את בעיית Navier-Stokes לאחר 90 שנה. אולם מתמטיקאי מ-NYU טוען ש-OpenAI קפצה על מחקר שהוא וחוקר מ-Anthropic פיתחו, מה שמחריף את הוויכוח על קרדיט במדע מבוסס AI.
חוקרים ישראלים פיתחו מערכת AI בשם MEDA שמצליחה לנסח משוואות מדעיות מתוך מאמרים קיימים. בבדיקה של 12 מערכות נמצאה בעיה קריטית: מודלים שמסתמכים רק על נתונים גולמיים הניבו משוואות חסרות ביסוס ביולוגי ורפואי. המערכת הישראלית, שמשלבת מודל שפה עם חיפוש מתמטי, מייצרת משוואות שקופות וניתנות לבדיקה, וזמינה כקוד פתוח לחוקרים אחרים.
מחקר ORCA בחן 5 מודלי AI מובילים ב-500 שאלות מתמטיות. ג'מיני של גוגל ו-Grok-4 (xAI) מובילים עם כ-63% דיוק, אך שיעור הטעויות הממוצע עומד על 40%. רוב הכשלים נובעים מ'חישובים מרושלים' וכשלי לוגיקה. מומלץ לאמת תוצאות קריטיות בכלים מקצועיים.
מודל בינה מלאכותית של Meta פתר בעיית יציבות מתמטית בת 100 שנים בהצלחה של 10.1%, אך הוא עדיין נזקק לסיוע אנושי. מודלים של גוגל מציגים ביצועים מרשימים בתחרויות מתמטיות ובפתרון משוואות נאוויר-סטוקס. מומחים צופים כי AI תשנה את פני המתמטיקה בתוך שנים, אך מדגישים את הצורך בשילוב בין יכולות חישוב לבין תובנה אנושית.
הסטארט-אפ Harmonic AI, שייסד Vlad Tenev מ-Robinhood, גייס 120 מיליון דולר לפי שווי של 1.45 מיליארד דולר. מודל Aristotle, שמתמחה במתמטיקה ללא הזיות, זכה במדליית זהב בתחרות ה-IMO ומוצע לחוקרים באמצעות API חינמי. את הגיוס הובילה Ribbit Capital.
