A Clay Mathematics Institute Millennium Prize problem on whether smooth solutions to the Navier-Stokes fluid equations always exist.
Mathematicians in a group chaired by Terence Tao are urging a boycott of OpenAI after it released more than 700 AI-generated proof files at once. At issue is whether a problem counts as solved before a human has checked and understood its proof, and who does that work.
Reality
OpenAI plans to post hundreds of AI-generated math results on GitHub on Tuesday, people familiar with the plans told WIRED. The mathematicians it consulted in August asked for papers they could absorb and use, so a bulk upload leaves that work to every reader.
Reality
The company says an internal model cleared more than 100 open problems after a month of training, and the advisory group it is backing at the Institute for Advanced Study has been handed the release schedule to work on.
Reality
A LessWrong post argues organized swarms could turn parallel test-time compute superlinear. Its two exhibits are unreleased OpenAI runs, and the only estimate on record gives coordination less than a tenth of the credit.
Reality
OpenAI says no specific user data was accessed to solve the problems it announced, while declining to rule out that de-identified usage data improved its models. For anyone holding unpublished work, that gap is the entire policy question.
Reality