Google Deepminds AlphaProof Nexus hat in einer in Science veröffentlichten Studie Dutzende offene mathematische Probleme selbstständig gelöst, darunter neun berühmte Erdős-Probleme – zwei davon seit mehr als fünf Jahrzehnten ungelöst. Das System demonstriert damit einen bedeutenden Sprung in der KI-gestützten Mathematik und wissenschaftlichen Beweisführung. Deepmind verfolgt hier eine andere Strategie als OpenAI: Die Ergebnisse wurden vorab wissenschaftlich begutachtet und in einem etablierten Journal veröffentlicht, statt sie direkt auf GitHub zu stellen. Das Ereignis unterstreicht den wachsenden Wettbewerb zwischen großen KI-Laboren um die Fähigkeit, komplexe mathematische Herausforderungen zu lösen.
