Whenever I get coffee with a mathematician, I always ask which of the seven Millennium Problems they think will be next to ...

Physicist Richard Feynman turned a lunch dilemma into a math problem. Researchers finally cracked his notes and found people approximate his solution on their own.

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

Google LLC today detailed Minerva, an internally developed neural network that can answer mathematical questions and tackle other complex topics such as physics. Minerva is a natural language ...

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

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics.

OpenAI's AI helped overturn a longstanding math conjecture by finding a counterexample, highlighting a powerful new way to ...