00:20
2026-08-04
dev.to
artificial-intelligence
OpenAI's Astra Solved 10 Open Math Problems β and the Price Tag Is the Real Story
OpenAI's internal model Astra has solved ten open problems in mathematics and theoretical computer science, with proofs formalized as machine-checkable Lean certificates. The total compute cost was roβ¦