Chinese and English archive texts include AI-assisted translations, not independently human-reviewed. Consult the original-language sources alongside them.
Source metadata and links checked; this does not mean the original was saved.
Material description
Current page includes a 10 September 2026 update, not the original 8 September version. Company says its investigation excluded influence from Buckmaster's preceding two months of Codex prompts, including training. This is a party's internal investigation statement, not an independent audit. Papers and Lean proofs not verified.
This page provides metadata and source links. It does not imply possession of a full copy or permission to reproduce the work.
Sources & original material
Related events
OpenAI updates its data-use response
OpenAI’s update says its investigation ruled out influence from Buckmaster’s Codex prompts over the preceding two months, including through training.
Related cases
Cite this record
ANTI-AI ARCHIVE. “On the Navier–Stokes Millennium Prize Problem.” doc-0361. Include this page’s URL and your access date when citing.