A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...
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, ...
Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...
A 23-year-old with no advanced math degree used ChatGPT-5.4 to generate a novel proof for an Erdős problem unsolved for over ...
This story originally appeared in the February 2025 issue of Texas Monthly as part of our public-education feature, “What Our Schools Actually Need.” Humans have been learning math for thousands of ...
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 ...
Good news! A computer has solved the longstanding Erdős discrepancy problem! Trouble is, we have no idea what it’s talking about — because the solution, which is as long as all of Wikipedia’s pages ...
Aletheia, a mathematical artificial intelligence (AI) agent from Google DeepMind developed and verified with the participation of Korean mathematicians, has presented solutions to 13 world-renowned ...
AlphaEvolve uses large language models to find new algorithms that outperform the best human-made solutions for data center management, chip design, and more. Google DeepMind has once again used large ...