数学家与Anthropic研究员发布流体方程爆破解证明

RecodeX 重构消息，纽约大学数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge公开了三篇预印本，分别证明了不可压缩多孔介质方程、二维Boussinesq系统及三维不可压缩欧拉方程在光滑强迫下的有限时间爆破解，并附有Lean形式化证明。Buckmaster在声明中提及与OpenAI的接触，称该公司曾告知其内部……