OpenAI stellte am Dienstag 722 Mathe-Manuskripte auf GitHub, geschrieben von einem unveröffentlichten internen Modell. Fast jedes Ergebnis stammt laut der Firma aus einer einzigen Anweisung an einen einzigen Agenten. Nur bei 162 Aufsätzen prüfte eine Maschine den Beweis, und Mathematiker nennen die Angabe unbelegt.