钛媒体· 数智奔流·· 3 小时前精选AI 评分66
OpenAI 发布 722 篇 AI 撰写数学手稿，数学界质疑“证明过剩”
AI平均3小时完成一个数学证明，科研进入大通胀时代？
AI 导读
OpenAI 于美东时间 10 月 6 日发布 722 篇由未公开内部模型撰写的数学研究手稿，官方称平均每项成功结果消耗约相当于 ChatGPT Pro 思考 3 小时的算力。
推荐理由
报道梳理 OpenAI 一次性发布 722 篇数学手稿引发的优先权争议与验证难题，读者可以了解自动化证明当前的能力边界与数学界的核心质疑。
来源：钛媒体 · tmtpost.com