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

According to LessWrong, OpenAI's unreleased model Astra has solved ten major open mathematics problems—from high-dimensional sphere packing to non-sofic groups to quantum game theory. The breakthroughs cost roughly two thousand dollars in computing expenses at current API rates, with each solution formally verified. The problems solved include longstanding conjectures in group theory, lattice-based cryptography, and graph theory where human mathematicians have struggled for years. While OpenAI also attempted other famous problems without success, the sheer breadth of mathematical reasoning here signals a major step forward in AI's ability to tackle scientific challenges.

Listen to this story

Hear this and more stories in a personalized audio briefing.

Open The Chonkerton