Disproving the Jacobian conjecture marks the latest high-profile win in a historic year for frontier AI models in theoretical mathematics. (Image created with AI) An Anthropic researcher just gave ...

Katie has a PhD in maths, specializing in the intersection of dynamical systems and number theory. She reports on topics from maths and history to society and animals. Katie has a PhD in maths, ...

A PHD in math disproved an 87 year old math problem with about two hours of working with Anthropic Fable. The Jacobian conjecture (JC) has been disproved in dimension 3 (and thus all higher dimensions ...

While the rest of the world was watching the World Cup on Sunday evening, mathematician Levent Alpöge casually announced on X that he had used Anthropic's Fable 5 to disprove the Jacobian conjecture.

An Anthropic AI model, Claude Fable 5, helped disprove the 87-year-old Jacobian conjecture, a famous open problem in mathematics dating to 1939. The model produced a concrete counterexample that ...

A Harvard mathematician says AI helped disprove the 87-year-old Jacobian conjecture, a breakthrough experts say is the most difficult mathematical problem yet solved with AI. Levent Alpoge, a ...

A long-standing mathematical conundrum has been solved by ChatGPT in a few hours, with only a few simple prompts. The Dinitz-Garg-Goemans conjecture is a 30-year-old question in graph theory, but a ...

After 49 years in space, NASA’s Voyagers are running low on power—but an audacious move should extend the tenures of the two spacecraft ...

A mathematician has cracked an 87-year-old conundrum with the help of AI and announced the solution unceremoniously in a tweet. The finding is the most difficult mathematical problem yet solved by AI, ...

The curtain will fall on the 2026 World Cup this evening, but the occasion will not without fanfare. Before Spain and Argentina face off for the right to be called World Cup 2026 champions, a show to ...