Issue
Reporting date: (not necessarily the event date)
Attribution and reporting linked by this record; links do not imply independent verification.
An internal OpenAI model cracked ten problems open for a decade or more, from sphere packing to Connes’s rigidity conjecture, formalizing each argument in Lean. Noam Brown notes all ten proofs cost under $2,000 at API prices.
Genius now ships with a unit price.
Newest reporting dates first. Reporting dates may differ from event dates.
Suggest a correction — opens a GitHub draft for you to review and submit.