Storia in 13 fonti

OpenAI’s Astra Solved Decades-Old Math Problems For $2,000

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut discovery costs to about two thousand dollars.

Raccontata da

garymarcus.substack.com

siliconangle.com

bleepingcomputer.com

forbes.com

gadgetsnow.indiatimes.com

newscientist.com

cryptobriefing.com

dev.to+1 altre

Confronto fonti

6 prospettive sulla stessa storia

AI · summaries

forbes.comStai leggendo1 g fa

OpenAI’s Astra Solved Decades-Old Math Problems For $2,000

Astra solved ten decades-old math problems (Connes rigidity, sphere-packing) with Lean proofs in $2,000. Verified output bypasses peer review at scale, enabling enterprise AI where human validation fails—chip design tools (Cadence, Synopsys) demonstrate this pattern works.

originale

Timeline cronologica

sabato 1 agosto 2026·the-decoder.com
OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions
OpenAI is building a new model family called "Astra" that would let multiple agents tackle complex problems together for hours or even days. CEO Sam Altman has already demoed…
sabato 1 agosto 2026·thenextweb.com
OpenAI says its next model, Astra, has solved ten open problems in mathematics
TL;DROpenAI says its unreleased Astra model solved ten open maths problems, shipping Lean proofs on GitHub for roughly $2,000 in compute OpenAI says an internal version of its…

OpenAI’s Astra Solved Decades-Old Math Problems For $2,000

Confronto fonti

OpenAI’s Astra Solved Decades-Old Math Problems For $2,000

Timeline cronologica

OpenAI announces its "next major model" Astra by dropping ten previously unsolved math solutions

OpenAI says its next model, Astra, has solved ten open problems in mathematics

OpenAI's Astra Solved 10 Open Math Problems — and the Price Tag Is the Real Story

OpenAI says its next model, Astra, has solved ten open problems in mathematics

OpenAI's Astra solves 10 long-open math problems and publishes the proofs - SiliconANGLE

OpenAI's unreleased Astra model solves 10 long-standing math problems

OpenAI’s Astra Tackles Mathematical Invention

OpenAI's unreleased Astra model solves 10 long-standing math problems

OpenAI's next major model Astra claims breakthroughs on 10 long-standing math problems

OpenAI’s amazing — but vastly oversold — new model Astra

OpenAI's Astra solves 10 long-open math problems and publishes the proofs - SiliconANGLE

OpenAI teases Astra, its next major AI model, after it solves 10 long-standing math problems

OpenAI’s Astra Solved Decades-Old Math Problems For $2,000

OpenAI Astra Runs For Days And Cracked 10 Maths Problems

OpenAI announces solutions to 10 longstanding maths problems | New Scientist

OpenAI's internal model solves 10 long-standing math problems, and the implications reach far beyond academia

OpenAI's Astra Solved 10 Open Math Problems — and the Price Tag Is the Real Story

OpenAI’s Astra Tackles Mathematical Invention