OpenAI 发布 722 篇数学手稿 含多项重要问题进展 学界评价审慎
北京时间 10 月 7 日,OpenAI 公布内部前沿 AI 模型取得的多项数学研究成果,在 Github 发布 722 篇数学手稿并划分为 372 个结果族,覆盖 17 个数学相关领域,在多个重要数学问题上取得进展,部分成果有 Lean 形式化证明。绝大多数成果由其未发布的内部模型生成,单个结果平均计算量相当于 ChatGPT Pro 三小时的计算量,评估阶段该内部模型被提出 4000 个数学问题。相关学界人士对此态度不一,有人惊叹于 AI 的能力,认为需适应 AI 介入数学研究的现实,也有学者指出相关成果中经核验的高质量成果占比不高,仍需审慎看待,同时也有学者分析 AI 企业持续在数学领域取得突破的原因,并感慨这一现状给纯数学研究者带来的冲击。
媒体报道
翻完 OpenAI 的 722 篇数学手稿,我们挑出了最重的 30 道名题 maomu.com/36Kr
OpenAI 一口气发布 722 项数学论文 准黎曼猜想、4D 挂谷在列 学术界引发争议 快科技
事件追踪
2026-10-08 OpenAI 发布 722 篇数学手稿 含多项重要问题进展 学界评价审慎
2026-09-22 OpenAI 新模型 24 天攻克百余数学难题,设顶尖顾问组
2026-09-22 OpenAI 成立独立的数学顾问团队
2026-09-18 消息称 OpenAI 接近攻克霍奇猜想
2026-09-11 OpenAI 退出数学活动赞助,此前被批抢功制造「垃圾数学」
2026-09-11 OpenAI 称在另一千禧年难题获进展,霍奇猜想等传突破
2026-09-10 纽约大学教授质疑 OpenAI 截胡其 AI 辅助数学研究成果
2026-09-09 OpenAI 宣布下一代内部模型攻克纳维-斯托克斯相关难题
2026-09-08 OpenAI 最新内部数据公开,2028 年实现全自动 AI 研究
2026-08-03 OpenAI 发布报告:Astra 模型攻克十项数学难题
#热门话题
Post #356221
29