Overview
- OpenAI has said an internal multi-agent system produced a proposed proof of the Navier–Stokes existence and smoothness problem and that the same model produced solutions to more than 100 other open mathematical problems.
- The company’s announcements prompted quick pushback from the field, including an open letter signed by hundreds of mathematicians, a separate statement from Fields Medal winners, and the withdrawal of a $1 million Caltech sponsorship.
- Several researchers have alleged the AI’s work resembles recent human research, raising questions about attribution and data provenance; OpenAI denied using specific user data but said it cannot rule out effects from de‑identified derivative data.
- The new Advisory Group on Mathematics and Artificial Intelligence (hosted at IAS) named nine prominent unpaid members who will publicly advise firms and are immediately prioritizing how OpenAI should coordinate release of its reported results.
- Peer review, machine-check verification, Clay Institute vetting, and the formation of bodies like MAISI remain unresolved processes that will shape authorship norms, data‑transparency rules, and career impacts for working mathematicians.