36氪· 苗正·· 3 天前精选AI 评分83
OpenAI 发布 722 篇数学手稿,称内部模型 3 小时解决四维挂谷问题
王虹靠三维挂谷拿菲尔兹奖,OpenAI用3小时就解决了更难的四维版
AI 导读
OpenAI 将 722 篇数学手稿归为 372 个成果族发布到 GitHub,称由未公开的内部模型平均每个问题约 3 小时完成,覆盖挂谷问题、准黎曼假设、希尔伯特第十问题等,上线不到 24 小时获 1 万颗星星。
推荐理由
OpenAI 一次性放出 722 篇数学手稿却未公开模型与提示词,读者可借此理解 AI 数学成果在验证环节面临的现实争议。
来源:36氪 · mp.weixin.qq.com