OpenAI Intelligence Hub
Real-time accumulated intelligence, primary research, and executive digests for OpenAI.
OpenAI Astra solves 10 longstanding math problems
OpenAI announced that its unreleased Astra model produced solutions to 10 longstanding problems in mathematics and theoretical computer science, releasing a 249-page manuscript, detailed reasoning, and Lean 4 machine-checkable proof certificates. Breakthroughs include constructing a non-sofic group, disproving Connes’s rigidity conjecture, proving Ehrhart’s volume conjecture, resolving several Erdős problems, and advancing results in sphere packing, coding theory, arithmetic circuits, quantum games, and lattice cryptography. Although Lean verification boosts confidence, none of the results has undergone peer review, and the launch will face federal AI safety review as mathematicians debate AI’s impact on research integrity, transparency, and human participation in proof discovery.
Read Original Source ↗