OpenAI's millennium proof dispute raises the question of whether researchers can trust AI labs

OpenAI 纳维-斯托克斯方程证明争议：Buckmaster 指控不当行为，各方回应引出开放科学之问

Mathematician Tristan Buckmaster accuses OpenAI of training on drafts he uploaded to Codex and pressuring him to drop his Anthropic-employed co-author. OpenAI admits it mobilized resources after hearing rumors that Anthropic had solved a Millennium Problem, denies plagiarism, but says it 'cannot rule out' that de-identified data helped its models. Altman backs his team; Alpöge disputes Altman's account of his willingness to cooperate. Terence Tao warns this sets a precedent where labs can overtake original research based on rumors alone.

Why it matters: The dispute has strong topical pull — a Millennium Prize problem, a named accuser with a concrete timeline, and two top AI labs involved. The deduction is because the excerpt only gives Buckmaster's side; OpenAI's response and Codex's position aren't fleshed out, so the full p...