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 PHD in math disproved an 87 year old math problem with about two hours of working with Anthropic Fable. The Jacobian ...

Artificial intelligence has reached a new milestone, unveiling the capability to score a perfect 100 at the International ...

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

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

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

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

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

Large Language Models (LLMs) have ushered in a new era of artificial intelligence (AI) demonstrating remarkable capabilities in language generation, translation, and reasoning. Yet, LLMs often stumble ...