GPT-5.4 Pro cracked a conjecture in number theory that had stumped generations of mathematicians, using a proof strategy that ...

At a secret meeting in 2025, some of the world's leading mathematicians gathered to test OpenAI's newest large language model, o4-mini. Experts at the meeting were amazed by how much the model's ...

Remember that math problem from 2014? A Chinese AI tool cracked it ...

This is a huge advance for AI to make big progress with better reasoning and better math. Artificial general intelligence (AGI) with advanced mathematical reasoning has the potential to unlock new ...

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...

Can artificial intelligence allow computers to ensure safe autonomous systems and advance optimization? Two Princeton professors believe it can, and they received a research grant earlier this year to ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

MIT’s Computer Science and Artificial Intelligence Lab has released a massive, public collection of proof-based math problems ...

You would be amazed to know that the countries competing in the International Mathematical Olympiad arrive with a booklet of ...