For all of the recent strides we’ve made in the math world, we’re forever crunching calculations in pursuit of deeper ...

Speed up your math skills 🚀!! Maria Bartiromo let go from Fox after leaking to White House: report Brad Pitt opens up about decision to end sobriety Restaurant workers would never order these menu ...

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. OpenAI's Astra model has reportedly solved ten complex, decades-old mathematical problems ...

On May 20, 2026, OpenAI made an announcement that shook the mathematical world. An internal AI model — one not available to the public — had come up with a counterexample to the “unit distance” ...

OpenAI Group PBC revealed Saturday that an internal version of Astra, the model family it calls its next major release, produced new results for 10 problems in mathematics and theoretical computer ...

OpenAI has revealed Astra, an unreleased model designed to tackle complex, long-running tasks, after an internal version produced ten significant advances in mathematics and theoretical computer ...

OpenAI's unreleased Astra model has produced what its October 2025 announcement only pretended to: genuine solutions to ten long-standing open problems in mathematics and theoretical computer science, ...

OpenAI 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 next major model, called ...

One of the winners of this year’s Fields Medal is headed to OpenAI. Last Thursday, Jacob Tsimerman was one of four mathematicians awarded the prestigious honor, which is sometimes called the Nobel ...

In May 2026, OpenAI released a new math result that sent shock waves throughout the world of mathematical research. A major unsolved problem called the “unit distance conjecture” had just been ...

A thread posted July 15 on the r/math subreddit claims that OpenAI’s GPT-5.6, guided by a carefully constructed prompt, produced a formal mathematical proof that closes a gap in convex optimization ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...