A.I. 日报
哈佛数学家对OpenAI数学突破意见分歧
OpenAI宣称用AI解决悬置约90年的Navier-Stokes问题后，哈佛数学界看法不一。有人担忧AI证明缺乏引用和解释、难以评估，也有人认为结果准确性比来源更重要。9月成立的数学与AI咨询小组将制定AI研究成果发布指南。
Clay Mathematics Institute
3 篇报道Clay Mathematics Institute 是设在美国的数学研究机构，以提出七个千禧年大奖难题而闻名。近期报道围绕 Navier-Stokes 方程问题展开：该机构称这一问题“显然已被解决”并启动正式审查，而 OpenAI 声称其内部大模型给出了证明，随后有数学家指出该证明只处理了一个不现实的变体，哈佛的数学家在准确性、引用与可评估性上意见不一。
相关话题
OpenAI的Navier-Stokes证明被指解错问题
OpenAI称其内部LLM解决了Navier-Stokes问题，但专家认为该证明只解决了一个脱离现实的变体问题，利用问题框架漏洞，核心问题仍未解决。三位数学家上周四证明该方法无法推广到完整问题。
Clay数学研究所称纳维—斯托克斯问题“似乎已解决”
Clay数学研究所表示，七大千禧年难题之一的纳维—斯托克斯问题“似乎已被解决”，目前正进行正式审查。研究所的声明意味着该问题已进入验证阶段，但尚无最终结论。
已经到底了