"Mathematics is not a game of chess," one Fields Medal winner told CNET. Mathematicians worry AI companies are just trying to ...

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

Artificial intelligence systems may be good at generating text, recognizing images, and even solving basic math problems—but when it comes to advanced mathematical reasoning, they are hitting a wall.

Today may go down as the biggest day in math in at least two decades, if not far longer. In a development that crystallizes an existential shift in humankind’s oldest intellectual discipline, ...

OpenAI says an experimental system involving about 10,000 AI agents produced a proposed solution to the Navier-Stokes existence and smoothness problem in 88 hours. The proof argues that a fluid vortex ...

The field of mathematics was already riled up about AI. Last month, OpenAI said it solved the Navier-Stokes Equation, one of ...

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

Google DeepMind's Gemini agents found proofs for open math problems, including Erdős problems unsolved for 56 years, at low ...