OpenAI’s Unreleased Model Astra Solves Ten Major Open Mathematics Problems

Zvi Mowshowitz reports that OpenAI's unreleased model Astra has solved ten major open mathematics problems—spanning sphere packing, binary codes, group theory, quantum games, and related domains. The solutions required roughly two thousand dollars in compute and were formalized as Lean proofs. Zvi also notes that existing models like Sol and Fable have shown capability on some of these problems when prompted, suggesting a substantial leap in mathematical reasoning across models, not just Astra.

Listen to this story

Hear this and more stories in a personalized audio briefing.

Open The Chonkerton