Storia in 18 fonti

OpenAI’s Astra Tackles Mathematical Invention

OpenAI’s next-generation Astra was used to generate proofs to solve ten open major problems in mathematics. AI for Generative Math has truly arrived.

Raccontata da

garymarcus.substack.com

gadgetsnow.indiatimes.com+6 altre

Confronto fonti

6 prospettive sulla stessa storia

AI · summaries

patmcguinness.substack.comStai leggendo3 h fa

OpenAI’s Astra Tackles Mathematical Invention

OpenAI's Astra solves 10 open math problems (sphere packing, group theory, quantum games) at ~$2000, formally verified. Marks shift to mathematical invention; frontier models generate original research, reshaping R&D and governance.

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·the-decoder.com
AI keeps cracking unsolved math problems, and mathematicians have mixed feelings
OpenAI's refutation of the Unit Distance Conjecture has sparked a wave of AI-assisted advances in mathematics. Fields Medal winner Timothy Gowers says GPT 5.6 Pro solved two…

OpenAI’s Astra Tackles Mathematical Invention

Confronto fonti

OpenAI’s Astra Tackles Mathematical Invention

Timeline cronologica

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

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

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

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

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

AI Wants to Conquer Math | Claude Can Escape Too, Thank You | Europe Puts a Bell on AI

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