Why it matters
An unreleased OpenAI model reportedly solved 10 major open problems in mathematics, quantum complexity, and theoretical computer science, shipping machine-checkable proofs for a $2,000 bounty. If confirmed, this represents a significant breakthrough in AI mathematical reasoning.