Chinese AI math proof reaches a new milestone: Shanghai AI Lab's Shusheng-S2 helped resolve the 31-year-old Ghys conjecture, with a Peking University team independently verifying every logical step in ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

The beginning, not the completion,” say mathematicians advising OpenAI, as OpenAI maths papers from an unreleased model go public.

For more than 150 years, the Riemann hypothesis has stood as one of the major unsolved problems in mathematics, a long-running mystery about the distribution of prime numbers. There is currently a $1 ...

OpenAI publishes 722 AI-generated math papers after its models outgrew benchmarks. See what's solved and what's unverified.

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

OpenAI has previewed Astra, its next-generation frontier model, which successfully generated breakthroughs for 10 decade-old open problems. Now, OpenAI has given a sneak peek into its next major model ...

OpenAI has achieved "gold medal-level performance" at the International Math Olympiad, notching another important milestone for AI's fast-paced growth. Alexander Wei, a research scientist at OpenAI ...

A 14-year-old student from Williamsburg, Virginia, has become one of 30 finalists in a national science competition after ...

Microsoft is doubling down on the potential of small language models (SLMs) with the unveiling of rStar-Math, a new reasoning technique that can be applied to small models to boost their performance ...

Over the weekend, Neel Somani, who is a software engineer, former quant researcher, and a startup founder, was testing the math skills of OpenAI’s new model when he made an unexpected discovery. After ...