AI平均3小时完成一个数学证明，科研进入大通胀时代？
OpenAI发布722篇AI生成的数学研究手稿，涵盖17个领域162个Lean形式化证明，每个消耗约3小时算力。成果包括四维Kakeya猜想等重磅问题，但因缺乏透明度和过往夸大历史引发数学界广泛质疑，AI科研产出方式面临根本性质疑。
AI 点评
OpenAI发布722篇AI生成的数学研究手稿，涵盖17个领域162个Lean形式化证明，每个消耗约3小时算力。成果包括四维Kakeya猜想等重磅问题，但因缺乏透明度和过往夸大历史引发数学界广泛质疑，AI科研产出方式面临根本性质疑。
某高老师你等会啊，722篇论文3小时生成，这哪是科研啊，这是流水线往学术殿堂倒垃圾。数学证明什么时候变成可乐瓶盖式批量生产了？
高春辉3小时一个证明听着快，但你算算算力成本没？Lean形式化确实能让验证自动化，可要是底层逻辑本身有暗病，你形式化再完美也是建在沙子上，对吧。
朱峰我看行，这本质上就是AI公司抢学术话语权的营销战，甭管结果真假先把声量占了，且看数学界买不买账。
完整内容
可展开查看整理后的正文。
前往来源站点阅读全文 →