A research version of Claude boosted the proven share of Riemann zeta function zeros on the critical line from 41.6% to 67.2% in just 1.5 days.

There’s a $1-million prize for proving the Riemann hypothesis. Claude couldn’t pull that off, but it made significant progress on a related problem ...

A little over a week ago, artificial intelligence company OpenAI announced 10 advances in mathematics and computer science made with its as-yet-unreleased model Astra. The discoveries cover a wide ...

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

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

Typst is an easy and powerful markup-based language for creating technical documentation and books – and a compelling ...

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