陶哲轩:数学成 AI 实验室最后的训练与评测高地
haider1 · x · 2026-10-24
数学家陶哲轩表示,AI 实验室需要测试来衡量模型是否在进步,而数学问题几乎是所剩无几的可训练领域——「我们领域最大的奖项和目标,如今成了它们的 benchmark」。他还指出一个副作用:AI 正在产出糟糕的证明——结果很伟大,却不顾优雅性、不顾谁读得懂、也不顾对后续数学的影响。
所属事件:陶哲轩批评 AI 竞赛将优美数学变成「有毒废料」(4 条相关)→
「漫话AGI」频道最新
- 安全研究者:AI 让漏洞挖掘时间放大万倍,先挖出的都是已知类型 — yacineMTB · 2026-10-25
- 科技兄弟与占星女孩在同一篇文章里达成了共识 — moonsandhues · 2026-10-25
- 编程语言学者坦言 Opus 5.5 已是比自己更好的程序员 — tweetsatpreet · 2026-10-25
- 投资人 yarn：Agent 工具让职业不再是终身绑定 — yunta_tsai · 2026-10-25
- Polymarket 盘口:Anthropic 年底前全面暂停 AI 训练概率仅 6% — Polymarket · 2026-10-25
- 新预印本用心理语言学解析 AI 模型怪异「方言」，人机协作带宽成研究题 — josh_wills · 2026-10-25