Google Deepminds AlphaProof Nexus löst Dutzende offene mathematische Probleme und wird tatsächlich begutachtet
decoder ·
Eine neue, in Science veröffentlichte Studie zeigt, dass AlphaProof Nexus von Google DeepMind Dutzende offene mathematische Probleme gelöst hat. Das KI-System löste neun der 353 offenen Erdős-Probleme, darunter zwei, die seit 56 Jahren ungelöst waren. Zudem bewies es 44 Vermutungen aus der OEIS-Datenbank ganzer Zahlen und klärte eine offene Frage in der algebraischen Geometrie. Das Modell basiert auf Gemini 3.1 Pro und nutzt die formale Sprache Lean, um Beweise iterativ zu entwerfen und zu verifizieren. Für komplexe Teilprobleme kann es auf AlphaProof, ein spezialisiertes Beweiswerkzeug, zurückgreifen, erzielte jedoch auch ohne dieses bedeutende Ergebnisse. Dieser strenge Ansatz steht im Gegensatz zu jüngsten Kontroversen, bei denen andere KI-Unternehmen Beweise direkt auf GitHub veröffentlichten, ohne sie einer Peer-Review zu unterziehen. Als Reaktion auf Aufrufe zur Boykottierung durch Mathematiker stellte DeepMind sicher, dass seine Arbeit der traditionellen akademischen Begutachtung unterzogen wurde.
decoder