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

Artificial intelligence has been inching toward genuine mathematical discovery for years, but a claim from OpenAI in early ...

Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

OpenAI’s Astra generates machine‑checkable proofs for ten decades‑old math problems, showing how verified AI can cut discovery costs to about two thousand dollars.

A Chinese doctor has unexpectedly solved a major mathematics problem dating to 2004 with OpenAI's GPT-5.6 Sol while trying to ...

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

Add Yahoo as a preferred source to see more of our stories on Google. In September 2019, news broke regarding progress on this 82-year-old question, thanks to prolific mathematician Terence Tao. And ...

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

For the first time in 30 years, computer scientists have found a better way to allocate objects evenly between two groups.

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most original problems. Those booklets get shared among delegations, then quietly ...

How much longer will we keep trying to solve our nation’s dismal math proficiency problem by writing new math problems? Clearly, if that was the answer, it would have worked by now–but it hasn’t, as ...

In September 2019, news broke regarding progress on this 82-year-old question, thanks to prolific mathematician Terence Tao. And while the story of Tao's breakthrough is promising, the problem isn't ...