OpenAI’s Astra solves 10 long-open math problems and publishes the proofs
SiliconANGLE Duncan Riley ● Covered by 9 sources
OpenAI's unreleased Astra model just solved 10 math problems that stumped humans for decades, and posted machine-checked proofs to back it up. One of them, the non-sofic group question, had been open since 1999 — this time there's no walking it back.
Based on reporting by SiliconANGLE, Duncan Riley — read the original for the full story.
Summary, retelling and take written by AI under human oversight; images are AI-generated illustrations. How we work · Report an error
OpenAI has a credibility problem with math claims, so this time it came armed with receipts. Over the weekend the company released a 249-page manuscript, full reasoning transcripts, and Lean 4 certificates for 10 results produced by Astra, its still-unshipped next model family. Every certificate carries a
My take — AI-written commentary, not fact-checked reporting
placeholder
Read more about this at: SiliconANGLE
