OpenAI 一次性发布近 400 项数学成果，数学家称需数年消化
OpenAI 一次放出近 400 项 AI 生成的数学成果，大到数学家短期无法验证，也让人担心学界被甩在后面。
OpenAI 一次性发布近 400 项 AI 生成的数学结果，分散在 700 多份手稿中，横跨数论、代数、拓扑等多个分支。数学家称光是通读摘要就吃不消，且不到一半结果做了 Lean 形式化（用证明助理让机器检查逻辑是否成立），要判断真伪可能得花数年。
正文摘录
- title: '纯属疯狂'：数学家们需要数年时间才能理解 OpenAI 的最新发布 - sourcecompany: The Verge - bodymarkdown: - AI AI 来自该主题的文章将被添加到你的每日邮件摘要和首页信息流中。关注 [查看全部 AI](https://www.theverge.com/ai-artificial-intelligence) - Tech Tech 来自该主题的文章将被添加到你的每日邮件摘要和首页信息流中。关注 [查看全部 Tech](https://www.theverge.com/tech) - OpenAI OpenAI 来自该主题的文章将被添加到你的每日邮件摘要和首页信息流中。关注 [查看全部 OpenAI](https://www.theverge.com/openai) '纯属疯狂'：数学家们需要数年时间才能理解 OpenAI 的最新发布 职业生涯一夜颠覆，学者们必须从垃圾中筛选出真正的解，而 OpenAI 已经在转向下一件事。 作者 Robert Hart Robert Hart AI 记者 来自该作者的文章将被添加到你的每日邮件摘要和首页信息流中。