Storia in 17 fonti

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

OpenAI ha svelato Astra, il nuovo modello capace di ottenere dieci avanzamenti su problemi aperti di matematica e informatica teorica.

Raccontata da

garymarcus.substack.com

siliconangle.com

bleepingcomputer.com

tekno.kompas.com

gadgetsnow.indiatimes.com+5 altre

Confronto fonti

6 prospettive sulla stessa storia

AI · summaries

ilsoftware.itStai leggendo19 h fa

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

OpenAI ha risolto 10 problemi matematici aperti da >10 anni con Astra, generando dimostrazioni formalizzate in Lean (~$2K). L'integrazione AI+verifica formale diventa standard per ricerca critica e governance algoritmi enterprise su compliance post-quantum.

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…

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

Confronto fonti

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

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

Il modello che OpenAI non ha ancora rilasciato ha risolto dieci problemi aperti da decenni

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

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

Progressi AI in matematica: OpenAI sfida i limiti

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

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's next major model Astra claims breakthroughs on 10 long-standing math problems

Progressi AI in matematica: OpenAI sfida i limiti

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 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

Il modello che OpenAI non ha ancora rilasciato ha risolto dieci problemi aperti da decenni

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