DeepMinds AlphaProof Nexus löst 9 Erdős-Probleme, darunter 2 seit 56 Jahren offene
Google DeepMind hat AlphaProof Nexus veröffentlicht, ein agentisches Framework für formale Beweissuche auf Basis von Gemini. Das System löste autonom neun offene Erdős-Probleme — darunter zwei, die seit 56 Jahren ungelöst waren — sowie 44 Probleme aus der OEIS-Datenbank, ein 15 Jahre altes offenes Problem in der algebraischen Geometrie und eine 7 Jahre alte offene Frage in der Min-Max-Optimierung. Die Arbeit entstand in enger Zusammenarbeit mit Mathematikern aus Kombinatorik, Graphentheorie und Quantenoptik. Das Paper ist verfügbar unter arxiv.org/abs/2605.22763v1.
Warum das relevant ist
Jahrzehntealte Vermutungen über mehrere mathematische Disziplinen hinweg zu lösen, überschreitet die Schwelle vom Assistenten zum eigenständigen Forscher. Es handelt sich um formal verifizierte Beweise offener Probleme — keine synthetischen Benchmark-Ergebnisse —, wobei die 56-Jahr-Marke einen neuen Tiefenmaßstab für das mathematische Schlussfolgern durch KI setzt.