OpenAI kondigde op 6 oktober 2026 een GitHub-publicatie aan van wiskundige resultaten die met een intern, geavanceerd AI-model waren gegenereerd. De repository bevat volgens het bedrijf ook materiaal over de bewijzen en het rekenverbruik. De verwijzing naar drie uur gaat over het gemiddelde rekenverbruik per resultaat.
Welke materialen bevat de repository?
OpenAI beschreef revisie- en citatieprotocollen, tien samenvattingen van de redeneringen van het model, schattingen van het rekenverbruik en statistieken over de problemen waaraan het model had gewerkt. Ook publiceerde het bedrijf Lean-formaliseringen van veel bewijzen en zei het er later meer toe te voegen.
Lean is een programmeertaal en bewijsassistent waarmee bewijsstappen in een formele vorm kunnen worden vastgelegd en door software gecontroleerd. OpenAI sprak over formaliseringen van veel bewijzen; die omschrijving geldt voor een deel van het gepubliceerde werk.
Wat betekent de drie-uursmaat?
OpenAI schatte dat het gemiddelde resultaat evenveel rekenkracht vergde als circa drie uur redeneertijd van ChatGPT Pro. ChatGPT Pro is daarbij de maatstaf voor de vergelijking; OpenAI omschreef het systeem dat de resultaten genereerde als een intern, geavanceerd model.
AGMAI’s aanbevelingen voor AI-wiskunde
De Advisory Group on Mathematics and Artificial Intelligence (AGMAI) publiceerde op 29 september 2026 aanbevelingen voor AI-gegenereerde wiskunde. De groep riep AI-laboratoria op te stoppen met het testen van geavanceerde wiskundige problemen op propriëtaire modellen die niet toegankelijk zijn voor onderzoekers. Ook bepleitte AGMAI openbaarmaking van onder meer de modelnaam, prompts, samenvattingen van de redenering, tijdsduur en geschatte rekenkosten, plus steun voor gemeenschapsinitiatieven die mensen helpen het werk te begrijpen.
OpenAI zei dat het AGMAI had geraadpleegd en de aanbevelingen had meegenomen bij de manier waarop het de resultaten publiceerde. Het bedrijf zei op 6 oktober ook te werken aan een verantwoorde vrijgave van het model en workshops en verwante programma’s te willen financieren.
