AlphaProof: Googles KI löst jahrzehntealte Erdős-Probleme

Das neue KI-System AlphaProof Nexus von Google DeepMind hat einen bedeutenden Durchbruch erzielt, indem es neun komplexe mathematische Rätsel löste, die seit Jahrzehnten als unbezwingbar galten. Durch die Kombination von großen Sprachmodellen mit einer speziellen Software zur Beweisverifizierung gelang es der Technologie, exakte Lösungen in den Bereichen Kombinatorik und Graphentheorie zu generieren. Dieser Erfolg steht in direktem Wettbewerb zu den jüngsten Fortschritten von OpenAI, wobei Google durch die maschinelle Bestätigung der Ergebnisse eine besonders hohe Zuverlässigkeit erreicht. Neben den Hauptproblemen konnte das System zudem zahlreiche Vermutungen aus digitalen mathematischen Enzyklopädien beweisen. Die Entwicklung unterstreicht das enorme Potenzial von Künstlicher Intelligenz, die akademische Forschung durch automatisierte, fehlerfreie Entdeckungen grundlegend zu beschleunigen. Somit markiert dieser Fortschritt einen Wendepunkt für die formale Mathematik, da Maschinen nun in der Lage sind, eigenständig hochgradig abstrakte logische Konstruktionen zu bewältigen.