formal-methods

October 8, 2026

• OpenAI publishes formal math progress without releasing the underlying model

  OpenAI's public math repository lists 722 manuscripts in 372 families and says each result used about three hours of ChatGPT Pro thinking compute on average. The model itself is not released.

  722 manuscripts in the public catalogue372 result families3 hours average ChatGPT Pro thinking compute per result

  researchmathematicsformal-methodsopen-data