AI圈报
观点 / 方法普通

数学家 Buckmaster 借助 Claude 与 Codex 公布流体方程结果,并公开与 OpenAI 的沟通争议

信息来源:X:小北 (@frxiaobei)·
原始标题:这是一件挺炸裂的事,值得任何一个。 数学家 Tristan Buckmaster 和 Levent Alpöge 借助 Claude、Codex 等模型,公开了三个流体方程相关的结果。 其中最受关注…

内容摘要

数学家 Tristan Buckmaster 和 Levent Alpöge 借助 Claude、Codex 等模型公布三项流体方程结果,包括三维不可压 Euler 方程光滑外力下的有限时间爆破,并用 Lean 做了形式化验证。
内容分类AI 观点与方法
内容层级普通情报
发布时间(北京时间)
本站收录时间(北京时间)
信息来源X:小北 (@frxiaobei)
站内情报编号intel-653c97b610a1ae177f3a4fbc