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.