19:05
2026-08-03
thezvi.wordpress.com
artificial-intelligence
OpenAI’s Unreleased Model Astra Solves Ten Major Open Mathematics Problems
OpenAI announced that its unreleased Astra model solved ten major open mathematics problems, including new upper bounds on sphere packing, a disproof of Connes's rigidity conjecture, and a superexpone…