OpenAI 数学 Agent 能力引热议 学界被指严重低估
OpenAI 投入上万个 agent 攻克内部 100 道数学难题引发讨论。研究者 cloneofsimo 转引网友观点称,学界许多人认为这只是又一个 Erdős 问题,甚至怀疑是「偷学了真实数学家的 Codex 日志」才解出,严重低估了其已解决的问题量。另有作者反驳这类论调,认为应正视 AI 证明能力的进展,同时强调即便 AI 能证题,数学家的价值依然巨大。
2026-09-22 ~ 2026-09-22 · 2 条相关
- 第 1 集:OpenAI 宣称模型解百题并设数学顾问组(2026-09-22,50 条)
- 第 2 集:开发者质疑普通人能用 prompt 攻克科学难题(2026-09-22,3 条)
- 第 3 集:OpenAI 数学 Agent 能力引热议 学界被指严重低估(2026-09-22,2 条)
- cloneofsimo:学界严重低估 OpenAI 数学 Agent 已解决的问题量 — cloneofsimo · 2026-09-22
- 观点:即便 AI 能证题,数学家的价值依然巨大 — cloneofsimo · 2026-09-22