Axiom says its AI found solutions to several long-standing math problems, a sign of the technology’s steadily advancing reasoning capabilities.

There are lots of unsolved mysteries in the world of math, and many of them start off with a deceptively simple premise, like ...

The seven Millennium Prize Problems represent some of the hardest unsolved questions in mathematics, including one famously solved by Grigory Perelman, who refused the million-dollar reward.

A Mathematician with early access to XAI Grok 4.20, found a new Bellman function for one of the problems he had been working on with my student N. Alpay. Not an Erdős problem, but original research.