# 数学家巴克马斯特用LLM辅助证明PDE爆破结果，并曝光OpenAI内部模型声称证明Navier-Stokes但人力投入很大

> 原标题：数学家巴克马斯特宣布多项方程 blowup 结果并公开与 OpenAI 沟通经过

- 来源：AI HOT 精选
- 发布时间：2026-09-08T07:20:02.739Z
- AX AI 日报：https://ai-daily.ax0x.ai/items/55779
- 原文：https://cims.nyu.edu/~tristanb/statement.pdf

## 摘要

NYU数学家Tristan Buckmaster与合作者Levent Alpöge宣布，在LLM（Claude、Codex、GPT-5.6 Sol、Astra）大量辅助下，证明了可压缩多孔介质、Boussinesq和3D不可压缩Euler方程在光滑外力下的有限时间爆破。他们用Lean验证了证明，但Euler论文被作者自己称为“AI垃圾”。更关键的是，B...