Machine Heart

Aug 2, 2026 · Artificial Intelligence

OpenAI’s Astra Solves Ten Long‑Standing Open Problems for About $2,000

OpenAI announced that its next‑generation Astra model generated proofs for ten decades‑old open problems in geometry, coding theory, group theory, circuit complexity, quantum complexity, lattice cryptography and extremal combinatorics, formalized them in Lean, and did so at an estimated token cost of roughly $2,000.