Alpöge 与 Buckmaster 用 Anthropic 内部模型解决 forced Euler 问题

Levent Alpöge（Anthropic 员工）与 Tristan Buckmaster（NYU）用 Anthropic 内部模型独立得到 forced Euler 正则性问题的解，与 OpenAI 的 Navier–Stokes 帖同日公布。按 Buckmaster 声明：两人用 Claude 和 Codex（以 GPT-5.6 Sol 为主）在此类问题上工作近一年，8 月 15 日取得突破；他指称 OpenAI 在得知其工作之后才首次向模型发出该问题的 prompt，且 OpenAI 拒答该模型是否用过他们的 Codex 草稿训练；Alpöge 还被告知因 OpenAI 与 Anthropic 的竞争关系无法联署 OpenAI 论文。OpenAI 承认对方在 forced Euler 上的优先权、称曾提议联合官宣；官方口径是不访问用户数据，但「不能排除」去标识化的产品使用数据帮助了模型改进；两份证明覆盖不同 Euler 变体（forced 与 unforced）。声明帖的 HN 热度（2,035 分）超过官宣帖本身。

两个层面值得记。技术上：第二家实验室用内部模型推动千禧年级数学，而「人与 agent 协作近一年后突破」的工作流本身可复现。制度上：这场争议暴露了每个 agent 平台厂商迟早要回答的问题——用户会话是否会进入竞争方向的内部工作、竞争对手实验室的贡献者如何署名。Willison 的表述最锋利：你在别人产品里做出的半成品，会不会让后来的模型先帮你「完成」？

结论	forced Euler 正则性问题的解；与 OpenAI 的无外力 Euler 及 Navier–Stokes 结果为不同变体
工具链	先用 Claude 与 Codex（以 GPT-5.6 Sol 为主）工作一年，8/15 突破；最终由 Anthropic 内部模型完成
争议	Buckmaster 指称 OpenAI 首次 prompt 发出晚于其工作被 OpenAI 知晓；OpenAI 拒答内部模型是否用其 Codex 草稿训练，称未访问用户数据但无法排除去标识化使用数据帮助模型改进；Alpöge 被告知因两司竞争关系无法联署
反应	Buckmaster 声明帖 HN 2,035 分 / 826 评论（9/8），热度超过官宣帖