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

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians ...

The algorithms that drive artificial intelligence are rooted in sophisticated mathematical concepts. So, then, it might make sense that the marriage between AI and math instruction in K-12 schools ...

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

Imagine you are a mountaineer. Nothing excites you more than testing your skill, strength and resilience against some of the most extreme environments on the planet, and now you've decided to take on ...