「整个职业的 Lee Sedol 时刻」：AI 证明能力冲击数学界引激烈争论
UltraRareAF · x · 2026-10-08
deredleritt3r 引用 OpenAI 数学证明相关事件发表长评，称这是「整个职业的李世石时刻」，并逐条反驳「我的工作机器做不了」的普遍心理防御：
- 输出难验证？需要与物理世界交互？有机器够不到的上下文？——作者称这些都是遮羞布，「你最多还剩几年」
- 他预测一两年内，这类数学成果将能被任何 $20/月 订阅用户或开源模型在 15 分钟内复现
- 结语直言「Superintelligence is here」，认为对 OpenAI 的愤怒毫无意义
一篇情绪浓烈但观点鲜明的 AGI 冲击职业讨论，值得当作争论素材。
所属事件:Scott Aaronson 发文「数学末日」：OpenAI 一日放出 372 项数学成果(8 条相关)→
「漫话AGI」频道最新
- 陶哲轩观点引争论：证明只是数学的一小部分，Lean 百万行验证比代码更难 — burny_tech · 2026-10-08
- 机器学习先驱 Michael Jordan：超级智能是科幻，AGI 话语在制造 hysteria — BachFrancis · 2026-10-08
- 数学家热议:AI 只是「凸包内插值」还是能生成新知识? — burny_tech · 2026-10-08
- NYU 数学教授称 LLM「窃取」研究想法,创始人发文反驳 — bindureddy · 2026-10-08
- Meta 开源 AIRS-Bench 入选 State of AI 报告,测 AI 全流程做研究能力 — j_foerst · 2026-10-08
- mark_k 抛出蒸馏之争:合法获得竞品模型输出就该随便用来训练? — mark_k · 2026-10-08