Anthropic says an unreleased Claude model produced a potentially new mathematical result while attempting to solve the famous Riemann hypothesis.

Students encased in glass-walled rooms scribble math equations on whiteboards. Their peers pitch product proposals to ...

Such a vision came from an AI-powered guide sign designed by Qin Zi'ang and Wang Hansen, two eighth-graders from east China's Jiangsu Province. The pair made it to the finals of a national youth ...

The Pentagon awarded Code Metal an $80M OTA contract on Thursday to advance WarMatrix, the Department of War's AI-enabled wargaming and simulation platform — betting that a mathematical proof, rather ...

The history of computing contains a recurring pattern: the infrastructure arrives first, and the language that makes it ...

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

This transcript was created using speech recognition software. While it has been reviewed by human transcribers, it may contain errors. Please review the episode audio before quoting from this ...

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 has announced that its next major model lineup, Astra, was able to solve 10 major open problems in mathematics that had seen little or no progress for at least a decade. The ChatGPT maker says ...

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

OpenAI has revealed solutions to 10 longstanding mathematical problems that were found by its prototype AI model Astra. The announcement is the latest in a string of mathematical discoveries made by ...