Googles Deepmind's AlphaProof Nexus löste Dutzende offener mathematischer Probleme und wurde tatsächlich peer-reviewt

Googles Deepmind-Produkt AlphaProof Nexus löste Dutzende offener mathematischer Probleme und wurde tatsächlich peer-reviewt

Die KI von Google Deepmind löste selbst Dutzende offener Mathematikprobleme, wie eine neue Studie in Science zeigt. AlphaProof Nexus löste neun von 353 offenen Erdős-Problemen, die 56 Jahre lang ungelöst waren,. Das Team teilte diese Lösungen vor der Veröffentlichung der Studie online mit.

Darüber hinaus bewies der AlphaProof Nexus 44 Vermutungen aus der Datenbank der ganzzahlsequenzen der OEIS, löste eine offene Frage in der algebraischen Geometrie und verbesserte eine bekannte Grenze in der Min-Max-Optimierung – einer Technik, die verwendet wird, um einige KI-Modelle zu trainieren. Er ist auf Gemini 3.1 Pro basiert, der Beweise in der formellen Sprache Lean erstellt und überarbeitet. Lean prüft jeden Entwurf nach jeder Bearbeitung und leiten die Fehlermeldungen den nächsten Versuch an. Für schwierigere Unterprobleme kann es AlphaProof anrufen, ein spezialisierter Beweiswerkzeug. Selbst ohne AlphaProof löste es die neun Erdős-Probleme wie Google Deepmind berichtet.

Die Studie kommt in eine hitzige Debatte über die Mathematik durch KI. OpenAI hat kürzlich hunderte von von KI erstellten mathematischen Beweisen auf GitHub abgelegt anstatt sie an Fachzeitschriften zu senden. Die Association for Human Mathematics, unter der Leitung von Terence Tao, forderte einen Boykott. Deepmind hat seine Arbeit durch Peer-Review durchgeführt.

AI-News ohne Hype – von Menschen zusammengestellt

Abonnieren Sie THE DECODER, um ohne Anzeigen zu lesen, ein wöchentliches AI-Newsletter, unseren exklusiven „AI Radar“-Report sechsmal pro Jahr, vollen Zugang zum Archiv und Zugang zur Kommentarspalte.