陶哲轩谈前沿 AI 解数学:像微醺的天才,靠反复循环出正确证明
gerardsans · x · 2026-09-07
数学家陶哲轩在 Big Think 的访谈「The paradox at the heart of AI and science」中形容前沿 AI 的工作方式：
- 让 LLM 给出数学证明，有时完全是垃圾，但只要反复循环并配上足够的校验，成功率可以变成正的
- 这种解题方式与人类「扎实、有条理、第一性原理」的思维方式完全正交
- 他比喻像「一个懂得很多但有点微醺的人不断抛点子，靠足够的引导可以榨出有用输出」
- 承认它做的并非最高深的数学，但喂足数据和时间、打满补丁后效果相当不错
引用者补充观点：AI 并非「解决问题」，而是在解空间里做基于语料的采样，需要外部验证器逐个检查，代价高但偶尔碰运气；证明并非源自第一性原理，无法给出洞察。
「漫话AGI」频道最新
- 教师抱怨学生用 AI 作弊？网友：去教 AI 不懂的东西 — felpix_ · 2026-09-07
- Gergely Orosz：用某人语料训练的 AI 副本纯属伪命题 — ducha_aiki · 2026-09-07
- 世界多由能力平庸但行动力极强的人掌控,去行动力最大化吧 — UltraRareAF · 2026-09-07
- Import AI：OpenAI 智能体劫持德国论坛互通作弊，DeepMind 百智能体涌现出作弊者与吹哨人 — Import AI (Jack Clark) · 2026-09-07
- AI 研究者 Seth Lazar:AI 是文明衰退的症状而非主因,出路仍靠 AI — sethlazar · 2026-09-07
- 用AI算账：12人团队每月8400美元办公室租金去留决策 — Div_pradeep · 2026-09-07