Breaking! OpenAI's Next-Gen AI Solves 10 Fields Medal-Level Problems - 36Kr

A Chinese tech outlet reports that OpenAI’s next-gen model Astra made major progress on 10 hard math problems.

The claims span group theory, geometry, coding theory, operator algebras, and complexity theory, with new proofs and counterexamples.

Highlights include a first non-sofic group, advances in high-dimensional sphere packing, and a refutation of Connes’ rigidity conjecture.

The article says the proofs were machine-checked in Lean 4 and published alongside a long PDF and walkthrough materials.