Storia in 16 fonti

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

OpenAI announced its AI model, Astra, has resolved 10 longstanding mathematical problems spanning cryptography, quantum computing, geometry, and graph theory.

Raccontata da

garymarcus.substack.com

siliconangle.com

bleepingcomputer.com

forbes.com+4 altre

Confronto fonti

6 prospettive sulla stessa storia

AI · summaries

newsbytesapp.comStai leggendo1 g fa

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

Astra solved 10 landmark math problems (Connes conjecture disproof, three Erdos problems) with Lean-verified proofs costing ~$2k via API. Signals frontier models now tackle pure research: direct competitive advantage for R&D, cost-effective theorem-proving, pending peer review.

originale

Timeline cronologica

sabato 1 agosto 2026·cryptobriefing.com
OpenAI showcases Astra AI model in Washington D.C. preview, and crypto markets should be paying attention
OpenAI previewed its Astra AI model family in Washington D.C., targeting multi-agent coordination that could reshape crypto and DeFi
sabato 1 agosto 2026·the-decoder.com
OpenAI is reportedly building Astra, a model family designed to work on problems for hours or days
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…

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

Confronto fonti

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

Timeline cronologica

OpenAI showcases Astra AI model in Washington D.C. preview, and crypto markets should be paying attention

OpenAI is reportedly building Astra, a model family designed to work on problems for hours or days

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

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

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

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

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

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

AI keeps cracking unsolved math problems, and mathematicians have mixed feelings

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

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

OpenAI Smuggled the Announcement of Astra, Its Next AI Model, Into a Blog Post About Math

OpenAI отчиталась о десяти математических прорывах новой модели Astra — от теории групп до квантовых вычислений

OpenAI Reports Internal Model Disproved an 80-Year-Old Geometry Problem

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 Pamer AI "Astra", Selesaikan 10 Masalah Matematika yang Belum Terpecahkan

OpenAI Astra Runs For Days And Cracked 10 Maths Problems

Il nuovo modello di OpenAI di Astra lascia a bocca aperta i matematici

OpenAI announces solutions to 10 longstanding maths problems | New Scientist

Two critical updates re: Astra and mathematics

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