OpenAI shares math results. Who can check them?
OpenAI says it has shared math results from an internal AI model. Some include versions checked with Lean, a tool for writing formal proofs. It also describes a plan to revise work and fund efforts to explain it. This is OpenAI’s own account, not an outside check of every proof or a promise that researchers can use the model.
What the source reports
OpenAI says it has released a set of math results from an internal AI model. Some results have formal versions written in Lean, a tool that can check steps in a proof. The company also describes how it plans to revise the work and fund efforts to explain it. Sharing work for review is a useful step, but the announcement is the company’s own account. It does not show that an outside group has checked every proof. Nor does it promise that other researchers can use the model itself. The next test is what independent readers can verify and correct.
Original source
- Title
- Sharing AI progress in mathematics
- Author
- OpenAI
- Publication
- OpenAI
- Date
- Tuesday, October 6, 2026