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

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

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