AlphaProof Nexus של DeepMind פתר עשרות בעיות מתמטיות פתוחות, והתוצאות עברו ביקורת עמיתים ב-Science
מחקר חדש ב-Science מדווח שמערכת AlphaProof Nexus של גוגל DeepMind פתרה בכוחות עצמה תשע בעיות פתוחות של ארדש, הוכיחה 44 השערות ממאגר OEIS ופתרה שאלה פתוחה בגיאומטריה אלגברית. הפרסום מגיע בעיצומו של ויכוח סוער על מתמטיקה שנוצרת בידי AI: OpenAI העלתה מאות הוכחות ל-GitHub בלי להגיש אותן לכתבי עת, ואילו DeepMind העבירה את עבודתה בביקורת עמיתים.