观点 / 方法普通
数学家 Buckmaster 借助 Claude 与 Codex 公布流体方程结果,并公开与 OpenAI 的沟通争议
原始标题:这是一件挺炸裂的事,值得任何一个。 数学家 Tristan Buckmaster 和 Levent Alpöge 借助 Claude、Codex 等模型,公开了三个流体方程相关的结果。 其中最受关注…
内容摘要
数学家 Tristan Buckmaster 和 Levent Alpöge 借助 Claude、Codex 等模型公布三项流体方程结果,包括三维不可压 Euler 方程光滑外力下的有限时间爆破,并用 Lean 做了形式化验证。