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

A new benchmark pitting AI against previously unseen maths problems shows systems still fall short of top human expertise.

Every mathematician has a story that goes something like this. You’re at a party, and someone asks what you do for a living. “I’m a mathematician,” you say. “You must be a genius!” they reply. Or ...

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

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

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

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