AntwortenVeröffentlicht12 Quellen
Was AlphaProof Nexus’ Mathematik-Ergebnisse zeigen – und was nicht
Ein im Mai 2026 veröffentlichter Preprint berichtet von neun gelösten Erdős Problemen unter 353 untersuchten Aufgaben und 44 bewiesenen OEIS Vermutungen unter 492. Das entspricht rund 2,5 Prozent beziehungsweise 8,9 Prozent der jeweiligen Testmengen – nicht einer allgemeinen Erfolgsquote für Mathematikaufgaben.
Veröffentlicht vonBearbeitet mit GPT-6 LunaBilder erstellt mit GPT Image 2
Forschungsantwort
Wichtige Erkenntnisse
- Ein im Mai 2026 veröffentlichter Preprint berichtet von neun gelösten Erdős Problemen unter 353 untersuchten Aufgaben und 44 bewiesenen OEIS Vermutungen unter 492.
- Das entspricht rund 2,5 Prozent beziehungsweise 8,9 Prozent der jeweiligen Testmengen – nicht einer allgemeinen Erfolgsquote für Mathematikaufgaben.
- Formale Prüfung mit Lean kann die Korrektheit eines Beweises zur formalisierten Aussage absichern.
KI-Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What does Google DeepMind’s October 8, 2026 Science paper, following its May arXiv preprint, report about AlphaProof Nexus’s solutions to ni. Article summary: The May preprint reports a meaningful but selective advance: AlphaProof Nexus resolved nine of 353 Erdős problems and proved 44 of 492 OEIS conjectures, with reported computing costs of a few hundred dollars per solved E. Topic tags: general, academic, general web, user generated, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, wate
Ein im Mai 2026 veröffentlichter arXiv-Preprint berichtet, dass AlphaProof Nexus von Google DeepMind neun von 353 offenen Erdős-Problemen gelöst und 44 von 492 Vermutungen aus der Online Encyclopedia of Integer Sequences (OEIS), einer Enzyklopädie ganzzahliger Folgen, bewiesen habe. Die Forschenden beziffern die Rechenkosten auf einige Hundert US-Dollar pro gelöstem Erdős-Problem. Das ist ein möglicher Hinweis auf den Nutzen des Systems bei der Beweissuche – für sich genommen aber kein Maß dafür, wie zuverlässig es Mathematik betreibt oder ob jedes Ergebnis neu ist. 17
Was die Zahlen aussagen
Bezogen auf die untersuchten Sammlungen entsprechen die Ergebnisse rund 2,5 Prozent der Erdős-Probleme und 8,9 Prozent der OEIS-Vermutungen. Das sind Anteile innerhalb dieser Testmengen, keine Erfolgsquoten für beliebige mathematische Fragen. Den Angaben des Preprints zufolge prüften Fachleute nach jedem erfolgreichen Erdős-Fall, ob die formale Lean-Aussage die ursprüngliche Vermutung korrekt wiedergab. 17
Der Unterschied ist wichtig: Berichtet werden einzelne Erfolge aus deutlich größeren Sammlungen – keine Garantie, dass das System ein offenes Problem auf Abruf lösen kann. Auch die Kostenangabe bezieht sich auf ein gelöstes Erdős-Problem. Sie zeigt für sich allein weder die Gesamtkosten erfolgloser Versuche noch, wie wirtschaftlich der gesamte Suchprozess ist. 17
Was Lean überprüft – und was nicht
Der Preprint beschreibt AlphaProof Nexus als ein System zur KI-gestützten Suche nach formalen Beweisen. Dabei wird ein Beweis in einer formalen Sprache wie Lean ausgedrückt. Ein Prüfprogramm kann kontrollieren, ob der Beweis ausgehend von der formalisierten Aussage korrekt ist. Das bietet eine starke Absicherung dafür, dass die formale Argumentation zu dieser Aussage passt. 17
Damit sind jedoch nicht alle Fragen geklärt. Die Annahme durch einen Beweisprüfer belegt nicht automatisch, dass die formale Aussage dem gemeinten offenen Problem entspricht, dass niemand das Ergebnis bereits bewiesen hat oder dass es mathematisch bedeutsam ist. Deshalb ist die Angabe des Preprints, Fachleute hätten die Übereinstimmung zwischen den Lean-Aussagen und den Erdős-Vermutungen geprüft, für die Einordnung der Ergebnisse relevant. 17
Was die verfügbaren Quellen bestätigen – und was offenbleibt
Ein Medienbericht vom Oktober schreibt, zwei der gemeldeten Erdős-Ergebnisse beträfen Fragen, die Paul Erdős und András Sárközy 1970 gestellt hatten. Das stützt die Einordnung, dass unter den Erfolgen langjährige offene Probleme sind. Es handelt sich dabei jedoch um eine journalistische Zweitquelle, nicht um den Preprint selbst. 19
Die hier verfügbaren Quellen umfassen den Mai-Preprint und Medienberichte, aber nicht den vollständigen Science-Artikel vom Oktober oder die detaillierten unabhängigen Bewertungen, die für eine Prüfung sämtlicher weitergehender Behauptungen nötig wären. Damit lassen sich etwa konkrete Angaben zu einer bestimmten Modellversion, Ergebnissen aus algebraischer Geometrie oder Min-Max-Optimierung sowie Streitfragen über frühere Lösungen, veränderte Formulierungen, andere Agenten, Platzhalterbeweise und von Menschen gelenkte Suchen nicht abschließend bestätigen. Solche Details sollten ohne Prüfung des Artikels, der formalen Beweise und der Einschätzungen der jeweiligen Fachleute nicht als geklärt gelten.
Wie sich die Leistung fair bewerten lässt
Eine belastbare Bewertung muss Problem für Problem vorgehen: die ursprüngliche Vermutung prüfen, ihre formale Fassung abgleichen, den vollständigen Beweis einsehen, die Fachliteratur auf frühere Lösungen prüfen und menschliche Beiträge dokumentieren. Die gemeldeten Zahlen machen AlphaProof Nexus als Werkzeug zur Beweissuche interessant. Allein beantworten sie aber nicht, ob das System eigenständig mathematische Forschung betreibt – oder wie neu und wichtig die einzelnen Ergebnisse sind. 17
Studio Global AI
Setzen Sie Ihre Recherche fort
Diese Seite enthält eine quellengestützte Antwort, die Sie in Studio Global fortsetzen können.
Die Leute fragen auch
Wie lautet die kurze Antwort auf „Was AlphaProof Nexus’ Mathematik-Ergebnisse zeigen – und was nicht“?
Ein im Mai 2026 veröffentlichter Preprint berichtet von neun gelösten Erdős Problemen unter 353 untersuchten Aufgaben und 44 bewiesenen OEIS Vermutungen unter 492.
Was sind die wichtigsten Punkte, die zuerst validiert werden müssen?
Ein im Mai 2026 veröffentlichter Preprint berichtet von neun gelösten Erdős Problemen unter 353 untersuchten Aufgaben und 44 bewiesenen OEIS Vermutungen unter 492. Das entspricht rund 2,5 Prozent beziehungsweise 8,9 Prozent der jeweiligen Testmengen – nicht einer allgemeinen Erfolgsquote für Mathematikaufgaben.
Was soll ich als nächstes in der Praxis tun?
Formale Prüfung mit Lean kann die Korrektheit eines Beweises zur formalisierten Aussage absichern.
Quellen
arxiv.orgAdvancing Mathematics Research with AI-Driven Formal ...
elmundo.esGoogle DeepMind logra que una IA resuelva problemas matemáticos que llevaban más de 50 años sin solución
science.orgAt futuristic meeting, AIs took the lead in producing and reviewing all the studies