The company’s announcement is the most dramatic sign yet that artificial intelligence is fundamentally transforming the field of higher mathematics.

A mathematician compared the feat to the history-making chess competition in which IBM’s Deep Blue computer beat Garry Kasparov in 1997

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.

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

A professor and OpenAI are trading jabs over the progress made on a math problem so difficult to solve that there's a $1 million prize for doing it. The entire saga raises questions about credit for AI-powered work and the data used to train models,