The verdict, it seems, is in: artificial intelligence is not about to replace mathematicians. That is the immediate takeaway from the “First Proof” challenge—perhaps the most robust test yet of the ...

Here’s a simple-sounding problem: Imagine a circular fence that encloses one acre of grass. If you tie a goat to the inside of the fence, how long a rope do you need to allow the animal access to ...

Over the course of my 25-year career in the mathematical optimization software industry, I’ve lost count of how many times I’ve been asked this question: “Can you tell me what mathematical ...

A Polish mathematician spent two decades crafting a problem meant to test the limits of artificial intelligence. A new AI ...

Conway’s knot, a famous mathematical problem, was a tricky one to untangle. Mathematicians have been arguing about how to solve it for more than 50 years—until 2018, when graduate student Lisa ...

For all of the recent strides we’ve made in the math world—like a supercomputer finally solving the Sum of Three Cubes problem that puzzled mathematicians for 65 years—we’re forever crunching ...

An institution has offered a $1 million prize to anyone who can solve a famous math problem that has puzzled mathematicians for more than a century. The Riemann hypothesis, first proposed by German ...

When one thinks of mathematics, the thought that comes to most peoples’ heads is solving an equation and getting a correct answer. That is the case with many mathematical theorems, including one of ...