“I was curious to establish a baseline for when LLMs are effectively able to solve open math problems compared to where they ...

AlphaProof and AlphaGeometry 2 are steps toward building systems that can reason, which could unlock exciting new capabilities. AI models can easily generate essays and other types of text. However, ...

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

Current AI models struggle to solve research-level math problems, with the most advanced AI systems we have today solving just 2% of the hundreds of challenges faced. When you purchase through links ...

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working ...

New research shows that advances in technology could help make future supercomputers far more energy efficient. Neuromorphic computers are modeled after the structure of the human brain, and researche ...

Systems like OpenAI’s GPT-5 are accelerating research in math, biology and chemistry. But there is a debate over whether it ...

Among high school students and adults, girls and women are much more likely to use traditional, step-by-step algorithms to ...

A game of chess requires its players to think several moves ahead, a skill that computer programs have mastered over the years. Back in 1996, an IBM supercomputer famously beat the then world chess ...

We’re seeing some new developments in AI models that are shedding light on one of the technology’s most prominent gaps – its relative inability to do math well. Some experts note that AI is ...

While Paris was preparing to host the 33rd Olympic Games, more than 600 students from nearly 110 countries came together in the idyllic English town of Bath in July for the International Mathematical ...