AI is increasingly being used as collaborators in mathematical research rather than simply as computational tools.

Claude Fabel 5 disproved the Jacobian conjecture over the weekend, landing days after the capabilities of China's Kimi AI became the biggest force moving bitcoin markets.

A perfect score at the world's most prestigious math contest used to be the preserve of a handful of bright young minds each ...

The Jacobian conjecture is a long-standing open problem in algebraic geometry that's bedeviled highly accomplished ...

Claude Fable 5 reportedly disproved the Jacobian Conjecture with a one-line counterexample, signaling AI’s growing math role.

A PHD in math disproved an 87 year old math problem with about two hours of working with Anthropic Fable. The Jacobian ...

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

24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...

Mathematical models help find real solutions After writing a mathematical problem to represent a situation, the second step in the modeling process is to solve the problem. For Sudoku, we need to ...

Google DeepMind, Google LLC’s artificial intelligence research unit, today unveiled two new AI models that are capable of advanced mathematical reasoning for solving complex math problems, which ...

Artificial intelligence can accelerate scientific discovery, but it isn't as simple as submitting a single query to an AI model. Research led by a collaboration between Carnegie Mellon University's ...

You can probably think of a time when you’ve used math to solve an everyday problem, such as calculating a tip at a restaurant or determining the square footage of a room. But what role does math play ...