Tristan Buckmaster
纽约大学数学教授，专注于流体动力学与偏微分方程研究，在纳维-斯托克斯方程解的爆破问题上有重要学术贡献。
核心事实
时间轴 (近 90 天)
纽约大学的 Tristan Buckmaster 收到了来自 OpenAI 的通信，内容显得带有胁迫性、审查性甚至威胁性。
OpenAI给出三个方案，其中之一是Buckmaster发布论文时需承认一个OpenAI内部模型解决了该问题
Buckmaster询问模型是否在其会话数据上训练过，得到的回答是模型不会查看用户数据，再次追问训练问题时未得到回答
Buckmaster团队采用的研究路径是'强迫爆破'（forced blow-up），试图证明在外力干预下解会在有限时间内崩溃
Buckmaster团队得到的证明在8月下旬通过了Lean的形式化验证
学者Tristan Buckmaster与在Anthropic工作的Levent Alpöge过去一年一直在攻关纳维-斯托克斯问题，并使用了Anthropic的Claude和OpenAI的Codex辅助研究
Tristan Buckmaster与Vlad Vicol近年发表研究探讨了欧拉方程与纳维-斯托克斯方程中解的不唯一性与不稳定性
研究者Tristan Buckmaster与Levent（Anthropic员工）就强制奇点思路研究近一年，8月15日在欧拉方程上找到奇点并写成245页尚未发表的论文
Buckmaster与Vicol成功构造出不满足能量等式的欧拉方程弱解，回应了Onsager猜想的临界情形
Buckmaster参与的研究借助计算机辅助证明和机器学习等手段探索在欧拉方程等流体模型中构造奇点的可能性
还有 15 条时间轴事件
全部知识事实 (17)
Tristan Buckmaster是纽约大学(NYU)的终身教授,专长于流体力学与偏微分方程领域
65%待验证Buckmaster与Vlad Vicol基于Convex Integration技术证明了纳维-斯托克斯方程弱解的非唯一性
60%待验证Buckmaster团队采用的研究路径是'强迫爆破'（forced blow-up），试图证明在外力干预下解会在有限时间内崩溃
50%待验证Tristan Buckmaster与Vlad Vicol近年发表研究探讨了欧拉方程与纳维-斯托克斯方程中解的不唯一性与不稳定性
50%待验证Buckmaster参与的研究借助计算机辅助证明和机器学习等手段探索在欧拉方程等流体模型中构造奇点的可能性
50%待验证Buckmaster与Vicol成功构造出不满足能量等式的欧拉方程弱解，回应了Onsager猜想的临界情形
50%待验证Buckmaster将该事件类比为深蓝对卡斯帕罗夫时刻，并承认数学家与LLM现在可以在一个月内完成此类工作
50%待验证OpenAI承认得知传闻后于9月1日启动尝试，并提议向两位学者联合发布、承认其优先权，但强调其证明结果与对方差异很大且未看到对方任何工作
50%待验证Tristan Buckmaster等数学家在欧拉方程解的非唯一性方面取得突破性进展，运用凸积分（convex integration）等技术构造出弱解
50%待验证Buckmaster与Levent Alpöge合作研究纳维-斯托克斯问题，Alpöge目前就职于Anthropic
50%待验证纽约大学的 Tristan Buckmaster 收到了来自 OpenAI 的通信，内容显得带有胁迫性、审查性甚至威胁性。
50%待验证Buckmaster团队得到的证明在8月下旬通过了Lean的形式化验证
50%待验证学者Tristan Buckmaster与在Anthropic工作的Levent Alpöge过去一年一直在攻关纳维-斯托克斯问题，并使用了Anthropic的Claude和OpenAI的Codex辅助研究
50%待验证Buckmaster询问模型是否在其会话数据上训练过，得到的回答是模型不会查看用户数据，再次追问训练问题时未得到回答
50%待验证OpenAI给出三个方案，其中之一是Buckmaster发布论文时需承认一个OpenAI内部模型解决了该问题
50%待验证研究者Tristan Buckmaster与Levent（Anthropic员工）就强制奇点思路研究近一年，8月15日在欧拉方程上找到奇点并写成245页尚未发表的论文
50%待验证纽约大学数学教授Tristan Buckmaster与Anthropic员工Levent Alpoge在OpenAI发布声明前公开了三个结果，包括三维不可压缩欧拉方程的有限时间爆破（带平滑外力）
50%