OpenAI ha reso pubblico un repository GitHub con 722 manoscritti matematici generati da un modello interno non divulgato, organizzati in 372 famiglie di ricerca che coprono teoria dei numeri, complessità computazionale, geometria algebrica e fisica matematica, con prove formalizzate in Lean per la verifica automatica