OpenAI Publishes 722 AI Mathematics Manuscripts: The Transparency Game Behind the Largest Public Benchmark
OpenAI has released 722 AI-generated mathematics manuscripts grouped into 372 problem families, with Lean formalizations for some results. The release tests academic transparency and governance as mathematicians assess the claims and the formal verification gaps.