OpenAI demonstrates AI solving previously unsolved mathematics and theoretical computer science problems
Research publication Provisional 92% confidence first seen
OpenAI published research showing that an internal version of its next major model successfully solved ten mathematical and theoretical computer science problems that had lacked progress for over a decade. The company documented the solutions with Lean 4 formalizations, a research paper, and LLM-generated proofs, with each problem costing less than $2,000 in token expenses.