OpenAI behauptet, seine Modelle hätten die Exponentialzeit-Hypothese widerlegt und die Kakeya-Vermutung bewiesen
OpenAI veröffentlicht drei Ergebnisse, die von seinen internen Modellen in der theoretischen Informatik, Mathematik und Physik erzielt wurden, mit in Lean formalisierten Beweisen. Keines wurde bisher von der Fachwelt validiert, und unabhängige Forschergruppen sind mit der Prüfung beauftragt.






