AI HOT 精选· aihot-apiZH07:20 · 09·08
数学家巴克马斯特用LLM辅助证明PDE爆破结果,并曝光OpenAI内部模型声称证明Navier-Stokes但人力投入很大
NYU数学家Tristan Buckmaster与合作者Levent Alpöge宣布,在LLM(Claude、Codex、GPT-5.6 Sol、Astra)大量辅助下,证明了可压缩多孔介质、Boussinesq和3D不可压缩Euler方程在光滑外力下的有限时间爆破。他们用Lean验证了证明,但Euler论文被作者自己称为“AI垃圾”。更关键的是,B...
#Code#Tristan Buckmaster#Levent Alpöge#OpenAI
一句话点评
数学家巴克马斯特用Claude、Codex等LLM辅助证明了三个偏微分方程的有限时间爆破,Euler论文自称“AI垃圾”。关键看点是:LLM真的帮上忙了,一个月搞定之前需要多年的工作。但别太激动——Euler结果还没用Lean验证完,OpenAI声称的Navier-Stokes爆破也未公开细节。正文没披露OpenAI证明的验证状态。
HKR 分解
hook —knowledge —resonance —