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.

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

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

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

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

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

A perfect result at a top mathematics contest used to be the preserve of a handful of bright young minds each year, but for the first time, artificial intelligence (AI) has also scored full marks.Two ...

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

A perfect result at the world's most prestigious mathematics contest used to be the preserve of a handful of bright young ...

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