新智元· ASI启示录·· 5 小时前精选AI 评分62
数学家开始读懂OpenAI纳维-斯托克斯证明：AI写88小时，人类读7周
AI写88小时，人类读7周！数学家开始读懂OpenAI千禧难题证明
AI 导读
数学家Scott Armstrong在X上发文表示，几组偏微分方程专家已基本读懂OpenAI宣称攻克纳维-斯托克斯千禧难题的证明思路，认为其想法可能超出人类原本能想到的范围但未超出人类理解。
推荐理由
文章梳理了AI证明与人类理解之间的落差，以及数学家对方法新颖性的具体评价，有助于读者看清AI科研的实际边界。
来源：新智元 · mp.weixin.qq.com