For the second time in a week, a long-standing conjecture has been disproved by artificial intelligence, highlighting the ...

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

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts for 80 years. This was considered among the most important unsolved ...

How can you have a proof without proving anything? Mathematicians found a way and, in the process, came to blows over it – but 100 years on, this trick is a common part of modern maths, says columnist ...

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.

Both won for solving problems that have baffled mathematicians for more than a century.

Anthropic’s Fable 5 found a 216-character counterexample to the Jacobian conjecture, an 87-year-old maths problem. Experts are split on what it means.

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

The new AI Step-by-Step Grader evaluates paper-based submissions, awards partial credit, and saves math faculty hours of ...

China celebrates its first winners of top global maths prize – here are the problems they solved - Awards make China only the ...

Zachary Champagne’s 3rd and 4th graders figure out early on that this math class will be different when their teacher tells them: “I don’t care about the answer.” The goal is to shift his elementary ...