Google DeepMind-AlphaProof Nexus פתר עשרות בעיות מתמטיות פתוחות

תשע בעיות של Erdős ו-44 השערות

מערכת ה-AI של Google DeepMind, AlphaProof Nexus, פתרה בעצמה עשרות בעיות מתמטיות פתוחות, כפי שמאשר מחקר שפורסם ב-Science. המערכת פתרה תשע מתוך 353 בעיות פתוחות של Erdős, שתיים מהן נותרו בלתי פתורות במשך 56 שנים.

הצוות שיתף פתרונות אלה באינטרנט לפני פרסום המאמר. מלבד בעיות של Erdős, AlphaProof Nexus הוכיח 44 השערות ממסד הנתונים OEIS של סדרות מספרים שלמות, פתרה סוגיה פתוחה בגיאומטריה אלגברית ושיפרה רף ידוע באופטימיזציית min-max, טכניקה המשמשת לאימוד חלק ממודלי ה-AI.

כיצד פועלת המערכת

AlphaProof Nexus בנוי על Gemini 3.1 Pro, אשר יוצר ומתקן הוכחות בשפה הפורמלית Lean. Lean בודק כל טיוטה אחרי כל שינוי, והודעות שגיאה מנחות את הניסיון הבא.

לבעיות משנה מורכבות יותר, המערכת יכולה לפנות ל-AlphaProof, כלי הוכחות מתמחה. Google DeepMind מדווח כי אפילו ללא AlphaProof, המערכת פתרה תשע בעיות של Erdős.

פרסום ביקורתי בעימות על מתמטיקה ב-AI

מחקר זה פורסם על רקע הדיונים הסוערים על מתמטיקה ב-AI. לפני זמן קצר, פרסמה OpenAI ב-GitHub מאות הוכחות שנוצרו על ידי AI במקום להגישן לכתבי עת. האיגוד המתמטי האנושי, בראשות Terence Tao, קרא להחרים גישה זו.

DeepMind לעומת זאת הגישה את עבודתה לביקורת, והתוצאות פורסמו ב-Science.

מקורות: The Decoder