OpenAI publishes hundreds of AI-written proofs of open maths problems
722 unreviewed manuscripts in 372 result families, including claimed proofs of the Unique Games Conjecture and a zero-free strip for the zeta function; 235 families come with Lean checks.
OpenAIModels & capabilities · Ideas & essays · Benchmarks & progress