All unresolved for more than 10 years: OpenAI announces ten advances in mathematics and theoretical computer science, with token cost of about $2,000 - IT之家

OpenAI announced AI-generated progress on 10 long-open problems in mathematics and theoretical computer science.

The results came from its internal next-generation model Astra, then were formalized and verified by researchers in Lean.

The work spans sphere packing, coding theory, non-sofic groups, Connes’s rigidity conjecture, Ramsey numbers, and more.

The announcement suggests AI may be able to contribute to frontier pure-math and theory research in a meaningful way.

It also raises new questions about theorem proving, research productivity, authorship, and credit.