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

The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why it matters.

You can probably think of a time when you’ve used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...

The second batch of “First Proof” problems is meant to evaluate AI’s usefulness for research-level math. The best model got ...