产业观察🔥8.0
AI平均3小时完成一个数学证明，科研进入大通胀时代？
📋总体概括
10月6日，OpenAI发布由一款未公开内部模型撰写的722篇数学研究手稿，覆盖17个领域、372个成果类别，其中162篇附Lean形式化证明，宣称成果包括四维Kakeya猜想、广义黎曼猜想相关问题等重大难题。官方称每项成功结果的算力消耗相当于ChatGPT Pro思考3小时。但OpenAI在数学界素以大胆宣称、缺乏透明度著称，此番发布在数学界引发广泛质疑，正式论文与同行评审尚未跟进。
⚡关键信息
- ▸OpenAI一次性发布722篇AI撰写的数学研究手稿，覆盖17个领域、372个成果类别
- ▸其中162篇附有主结果的Lean形式化证明，每项成功结果算力消耗约相当于ChatGPT Pro思考3小时
- ▸宣称成果包括四维Kakeya猜想、广义黎曼猜想相关问题、唯一游戏猜想等重量级难题
- ▸撰写成果的模型尚未公开发布，OpenAI因大胆宣称和缺乏透明度在数学界口碑存疑
- ▸发布引发数学界相当大质疑，成果真实性有待同行评审检验
🔥犀利点评
3小时一个数学证明，听着像科研平权，本质是算力霸权——一次发布的代价是普通人一辈子烧不起的电费。162篇Lean证明确实是硬通货，形式化验证糊弄不了人，但剩余560篇呢？OpenAI一贯先放卫星、后补细节的营销打法，在数学这个最讲严谨的领域玩得越嗨，透支的信任越多。猜想宣布解决到论文经受检验，中间隔着一整个数学共同体的审判，媒体别急着写「科研大通胀」，等评审结果再欢呼不迟。
📰 相关资讯（与本文相关的其他资讯）
本文由本站自动聚合，以下为原始来源：前往 虎嗅24小时 阅读全文 →