OpenAI said on Sept. 8 that autonomous AI agents had produced a proof resolving the Navier-Stokes problem, one of the seven ...

OpenAI said today that it has found an AI-generated solution to one of the biggest problems in mathematics —a 200-year-old ...

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

The company announced that an internal model had produced a proof addressing the Navier-Stokes existence and smoothness ...

An internal model more powerful than GPT-6 Astra produced a proposed solution to one of mathematics’ seven Millennium Prize ...

Prior to the announcement, rumors were circulating online among mathematicians over the proof's origins—OpenAI has denied all ...

Claude produced a 13-million-line, computer-checked proof of the famed conjecture — a major milestone in mathematics.

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

AI companies are making impressive mathematical strides. Human mathematicians are losing out.