OpenAI says 10,000 of its agents solved the 90-year-old Navier-Stokes problem in 88 hours, but one mathematician has challenged the claim.

OpenAI claims solution to “Millennium Prize Math Problem” in just 88 hours with new model

Anthropic says AI model Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself.

As companies entrust AI systems with increasingly valuable intellectual property, the policies governing model training, retention and access become part of the technical architecture, not simply language in a privacy statement.

Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance along curved surfaces. While working on one theorem, they ...

UCLA professor and mathematician Terence Tao has sounded the alarm over the accelerating AI race in math happening right now.