#Mathematics

OpenAI Says Astra Solved Ten Open Math Problems — And Published the Proofs

OpenAI released machine-checkable Lean proofs for ten open problems, including a question unsolved since 1999. The verifiability, not the result, is what makes this different.