OpenAI's GPT-5.6 Sol rewrote production GPU kernels, cutting serving costs by 20%, and an internal model Astra produced ten formally proved mathematical results, while OpenAI cut GPT-5.6 Luna API pric…
Gary Marcus and Yann LeCun, longtime critics of large language models, have adopted the term "pure LLM" to clarify that their criticisms were aimed at basic autoregressive models, not advanced systems…
OpenAI's Astra model generated machine-checkable proofs for ten longstanding mathematical problems, including a disproof of Connes's rigidity conjecture and an improvement to the sphere-packing densit…
OpenAI released a 249-page manuscript claiming its internal Astra model solved ten open problems in mathematics and theoretical computer science, with Lean 4 formal proofs published on GitHub under Ap…
OpenAI released a 249-page math manuscript, ten machine-verified Lean 4 proofs, and a GitHub repository under Apache 2.0, introducing its next major model family, Astra, which solved ten decade-old ma…
Astra, an AI model from OpenAI, claims to have solved 10 open math problems, but the lack of formal proof artifacts, benchmarks, or peer review raises skepticism, according to an analysis. The verific…
OpenAI's internal model Astra has solved ten open problems in mathematics and theoretical computer science, with proofs formalized as machine-checkable Lean certificates. The total compute cost was ro…
OpenAI's next-generation reasoning model, internally referred to as Astra, autonomously generated 10 new results in mathematics and theoretical computer science, each verified by external mathematicia…
OpenAI announced that its unreleased Astra model solved ten major open mathematics problems, including new upper bounds on sphere packing, a disproof of Connes's rigidity conjecture, and a superexpone…
On May 20, 2026, OpenAI announced that an internal AI model had produced a counterexample to the unit distance problem, a conjecture posed by Paul Erdős in 1946, marking the first historically signifi…
OpenAI announced on August 1, 2026, that an internal version of its forthcoming Astra model produced ten advances in mathematics and theoretical computer science, including results on high-dimensional…
OpenAI previewed Astra, an unreleased model built for long-running research tasks, by publishing 10 claimed advances in mathematics and theoretical computer science on August 1, with an internal versi…
OpenAI Group PBC announced Saturday that an internal version of its Astra model family solved 10 long-open problems in mathematics and theoretical computer science, publishing machine-checkable Lean 4…
Gary Marcus, a prominent AI critic, argues that OpenAI's new model Astra is impressive but vastly oversold, highlighting significant limitations and overhyped claims.…
OpenAI announced it solved 10 open math problems using its unreleased Astra model, drawing reactions from mathematicians who called the results 'incredible' and a 'big deal.' Jay Cummings, a math prof…
OpenAI researcher Noam Brown announced on August 1 that an internal version of Astra, OpenAI's next major model family, solved ten open problems in mathematics and theoretical computer science, includ…
OpenAI on Saturday published ten claimed advances in mathematics and theoretical computer science, generated by an internal version of its forthcoming Astra model, including an explicit non-sofic grou…
OpenAI announced its next major AI model, Astra, in a blog post about mathematics, revealing that the math results were achieved by an internal version of Astra. The model, which follows GPT-5.6 Sol, …
OpenAI disclosed on August 1 that an internal version of Astra, described as its next major model, produced ten new results in mathematics and theoretical computer science, with problems that had seen…
An unreleased OpenAI model, reportedly code-named Astra, produced solutions to open math problems, including a new lower bound for high-dimensional sphere packing that improved on a result that had st…