OpenAI löst 377 Mathematikprobleme – doch ein Beweis steht infrage
OpenAI veröffentlichte KI-generierte Beweise für 377 offene Mathematikfragen, darunter die Unique Games Conjecture. Doch ein möglicher Fehler im Navier-Stokes-Beweis in Lean wirft Fragen zur Verifizierbarkeit auf.