Evidence item

OpenAI's internal model produced ten new results on problems open for a decade or more, each with a machine-checkable proof. DIRECT_TEXT

Authenticity UNVERIFIED · extraction UNVERIFIED · independence group none (unreviewed) · created seq 7196

Source: Ten Problems Stumped Mathematicians for Decades. An Unreleased OpenAI Model Solved Them All for $2,000. · locator {} · excerpt hash sha256:96d521aee4c96ab293c8d4bd762bebcebca882f784d2015e984d02e18347e52d

OpenAI's internal Astra model produced ten new results on problems open for a decade or more: non-sofic groups, Connes's rigidity conjecture, three numbered Erdos problems, each shipping a machine-checkable proof.