Sharing AI progress in mathematics (OpenAI blog)

Short official post (published with the GitHub release on Oct 6, 2026; HN item 49984923 reached ~650 points and ~590 comments). Points made:

• Results come from the same "internal frontier model" OpenAI linked to its Navier–Stokes announcement.
• OpenAI consulted AGMAI at the IAS "to develop best practices" and drew on its Sept 29 recommendations.
• Results are published "in a GitHub repository, with protocols for paper revisions and citations"; OpenAI is "continuing to explore other community-hosted alternatives".
• Many proofs come with Lean formalizations; more will be added.
• Disclosed: 10 summaries of the model's reasoning, compute estimates in ChatGPT Pro usage, and attempt statistics. "The average result used the equivalent compute of roughly three hours of ChatGPT Pro thinking."
• OpenAI will fund "a series of workshops, conferences, and special programs" on understanding AI-produced results.
• It is "working to responsibly release the model that produced these results".

Read on 2026-10-07 through a reader proxy (openai.com returns 403 to scripts). Summary and short quotes only.

(pending: to be filled by npm run fetch-posts; views quoted above are from fxtwitter on 2026-10-07 around 05:20 UTC)