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

Little progress had been made in solving Ramsey problems since the 1930s. Now, researchers have found the answer to r(4,t), a longstanding Ramsey problem that has perplexed the math world for decades.

These are math’s most famous open questions. Solve one, and you’ll win a $1-million prize—but it’s only happened once since ...

Researchers cracked a 50-year-old math problem scribbled by Richard Feynman over lunch. The equations show that humans are ...