数学家 littmath：OpenAI 许多结果「算不上证明」，类比 de Branges
littmath · x · 2026-10-11
知名数学家 Terence Tao 合作 者、AlphaProof 团队成员 littmath 在 X 上回应关于 OpenAI 数学手稿的争论：他认为将 OpenAI 的结果类比为 de Branges 关于 Bieberbach 猜想的证明颇为贴切——「很多结果严格来说并不算证明，但我同意其中大部分经过大量努力应该可以转化为真正的证明」。
此前 MichaelDruggan 曾称「OpenAI 的绝大多数结果是正确的」并向异议者发出打赌邀请，这段对话折射出数学界对 AI 生成证明的严谨性分歧。
所属事件:OpenAI 批量发布722篇数学预印本引发学界激辩(32 条相关)→
「研究」频道最新
- 数学家争论 OpenAI 证明：写得糟糕但不能无视 — _onionesque · 2026-10-11
- AI 翻 400 年荷兰东印度公司档案,找到灭绝渡渡鸟新目击记录 — _jaydeepkarale · 2026-10-11
- VLA 泛化差或因指令太短,学者称大数据需强条件化配对 — YouJiacheng · 2026-10-11
- 网友称 CoLM 最有趣论文曝光,配图玩梗引发好奇 — YouJiacheng · 2026-10-11
- 20 关节 WUJI 机器人手仿真转真机转笔，代码开源 — rohanpaul_ai · 2026-10-11
- Wolfram:AI 时代纯数学研究仍需人类方向指引 — burny_tech · 2026-10-11