A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses ...

Mathematician Kevin Buzzard of Imperial College London is training computers how to prove one of the most famous problems in math history: Fermat’s last theorem. Resolving the problem isn’t the point.

A long-standing mathematical puzzle linked to the work of Paul Erdős has reportedly been solved with the help of ChatGPT, ...

The Peking University team's AI-driven framework not only solved Dan Anderson’s conjecture in commutative algebra but also produced a fully formalised proof on its own.

Clarification: This story has been updated to clarify how University of Colorado researchers handle their data collection. A student digs into a math problem that references his favorite superhero, ...