OpenAI zufolge hat ein noch nicht veröffentlichtes internes KI-Modell mit einer einzigen Eingabeaufforderung Hunderte ungelöste mathematische Probleme gelöst. Laut NS3.AI veröffentlichte das Unternehmen am Dienstag 722 Manuskripte auf GitHub, wobei sich diese Zahl auf Manuskripte und nicht auf gelöste Probleme bezieht.

Ein Sprecher von OpenAI sagte, fast alles sei auf eine einzige Eingabeaufforderung an einen einzelnen KI-Agenten zurückzuführen, auch wenn für einige Ergebnisse möglicherweise mehrere Versuche nötig waren. Der MIT-Mathematiker Andrew Sutherland sagte, die Behauptungen zu einer einzigen Eingabeaufforderung und einem einzelnen Agenten seien so lange nicht verifiziert, bis Forschende auf das Modell zugreifen und die Ergebnisse reproduzieren könnten.

Laut dem Formalisierungskatalog des Repositoriums wurden die Hauptergebnisse von nur 162 Manuskripten computerbasiert überprüft. OpenAI warnte außerdem, dass einige nicht formalisierte Ergebnisse problematisch sein könnten.