גוגל דיפמיינד הציגה את AlphaProof Nexus — מערכת AI שפתרה תשע בעיות פתוחות מרשימת ארדש (Erdős), שתיים מהן היו ללא פתרון במשך 56 שנה, וגם הוכיחה 44 השער...
גוגל דיפמיינד הציגה את AlphaProof Nexus — מערכת AI שפתרה תשע בעיות פתוחות מרשימת ארדש (Erdős), שתיים מהן היו ללא פתרון במשך 56 שנה, וגם הוכיחה 44 השער...
גוגל דיפמיינד הציגה את AlphaProof Nexus — מערכת AI שפתרה תשע בעיות פתוחות מרשימת ארדש (Erdős), שתיים מהן היו ללא פתרון במשך 56 שנה, וגם הוכיחה 44 השערות נוספות מתוך מאגר הרצפים המתמטי OEIS. מדובר בפריצת דרך שפורסמה בארקיב ב-21 במאי 2026, יום אחרי הודעה מתחרה של OpenAI על הישג דומה בתחום.
הרעיון המרכזי: המערכת משלבת מודל שפה גדול (מבוסס Gemini) שמציע אסטרטגיות הוכחה יצירתיות, יחד עם Lean — עוזר הוכחות פורמלי שבודק כל צעד לוגי באופן קפדני, כדי למנוע הזיות. הלולאה החוזרת של הצעה-בדיקה-תיקון ("agentic loop") ממשיכה עד שההוכחה עוברת אימות מלא או שהמערכת מוותרת. כך פותרת AlphaProof Nexus את בעיית האמינות שמטרידה מודלי שפה בתחומים שדורשים דיוק מוחלט.
מעבר לערך התיאורטי, יש כאן גם זווית כלכלית מפתיעה: כל פתרון עלה בממוצע רק כמה מאות דולרים בעלויות חישוב. אם AI יכול לתרום עבודה מתמטית מקורית — לא רק לאמת הוכחות אנושיות אלא לגלות חדשות — הפוטנציאל לשימוש בתחומים כמו גילוי תרופות, מדעי החומרים ואימות תוכנה פורמלי הופך מוחשי הרבה יותר.