Story perspectives

OpenAI posts 372 Lean-verified math proofs from one prompt

By Drooid · Oct 9, 2026, 2:23 AM UTC · How we work

Summary

Story summary

OpenAI released 372 AI-generated results on major mathematics and computer-science problems.
The results were posted on GitHub at 6 P.M. EDT on October 8, 2026.
Many proofs were validated in the Lean language, indicating logical correctness.
OpenAI said a single prompt to one AI agent generated almost all the results.
MIT mathematician Andrew Sutherland warned the claims remain unverified until the model is released.

1 of 1

Story summary

OpenAI released 372 AI-generated results on major mathematics and computer-science problems.
The results were posted on GitHub at 6 P.M. EDT on October 8, 2026.
Many proofs were validated in the Lean language, indicating logical correctness.
OpenAI said a single prompt to one AI agent generated almost all the results.
MIT mathematician Andrew Sutherland warned the claims remain unverified until the model is released.