2026-08-01 / Signal #2
OpenAI's forthcoming Astra model generates verifiable advances on 10 long-standing open math/theoretical CS problems (non-sofic groups exist, disproof of Connes rigidity, new sphere-packing bounds, Ramsey numbers, CVP hardness, etc.) at ~$2k token equivalent.
“For the price of a nice dinner, OpenAI's next model just proved math theorems that stumped humans for generations.”
8.8Weirdness
Why It Matters
AI shifts from "approximator" to discoverer of new mathematical truth at trivial cost; changes builder/researcher workflows (verify AI proofs instead of generating them) and institutions of math/science. Concrete artifact (traces + formalizations) makes the strange future tangible without benchmark nerd-sniping.
Evidence
Official OpenAI blog post (Aug 1 2026) with released reasoning traces, human-prepared manuscripts, Lean formalizations/certificates on GitHub. Specific results on problems stagnant for decades+. HN and immediate coverage.
Signal Read
Novelty: 10Receipts: 9Story voltage: 8Heat: 8
Source Trail
Daily scan: 2026-08-01