A million-dollar math mystery may someday be resolved in a physics lab. A new study brings this vision one step closer.

A solution to part of the Cohen-Lenstra conjecture helps resolve a long-standing mystery about quadratic forms ...

A mathematician working at Anthropic says he used the AI model Claude Fable 5 to uncover a remarkably simple counterexample ...

Alpöge’s discovery is the latest in a string of high-profile mathematical breakthroughs made by large language models. Recent examples include OpenAI’s disproof of the unit distance conjecture, and ...

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