36氪Auto 数字时氪 未来消费 智能涌现 未来城市 启动Power on 36氪出海 36氪研究院 潮生TIDE 36氪企服点评 36氪财经 职场bonus 36碳 后浪研究所 暗涌Waves 硬氪 氪睿研究院 媒体品牌
企业号 企服点评 36Kr研究院 36Kr创新咨询 企业服务
创投发布 LP源计划 VClub VClub投资机构库 投资机构职位推介 投资人认证 投资人服务
AI写88小时，人类读7周，数学家开始读懂OpenAI千禧难题证明
Armstrong是法国国家科学研究中心研究主任，也是纽约大学库朗研究所数学教授。
AI 88小时交卷，人类看不懂
又过了17小时，GPT-6 Astra把证明翻译成Lean语言，交给机器逐行检查。
10月14日，Nature旗下期刊《通讯-物理》（Communications Physics）刊发社论。
「这有什么好意外的？」
让水自己搅动自己
第三条路，来自西班牙数学家Córdoba和Martínez-Zoroa。他们靠不断拉扯，让漩涡的旋转一级级放大。
上下两层气流一快一慢，把云层卷成了一排浪花，这就是「速度差产生波动」。（图源：UCAR）
看懂思路，还要查什么
10月6日，Bastounis、Circelli和Hansen三位研究者发表预印本，指出原稿与Lean版本中的部分陈述和推导存在差异。
下半场，留给人类什么作业
参考资料：
https://twitter.com/scottnarmstrong/status/2114412308185100522
https://openai.com/index/navier-stokes-solution/
https://www.nature.com/articles/s42005-026-02930-y
本文来自微信公众号 “新智元”（ID：AI_era） ，作者：元宇，36氪经授权发布。