Matt Green：模型生成数学结果后，真正难的是验证对不对
matthew_d_green · x · 2026-07-29
Matt Green 认为，很多“看起来很厉害”的数学结果，真正的瓶颈已经不是找不到反例或机器可检验证明，而是验证结果本身是否正确。
他指出，现有模型很擅长生成外表像样、但实际上是错的“结果垃圾”；对专家来说，把这些错误一条条拆开可能要花上数小时。对于很多不以实用为导向的密码分析，这种验证难题才是真正的卡点。
所属事件:AI数学验证成瓶颈，人类理解不可或缺(5 条相关)→
「漫话AGI」频道最新
- 研究者预判:Deep Research 对专家真正有用将是 RSI 到来的先行指标 — ZeeshanZiaML · 2026-10-16
- 物理学者视角质疑：ML 社区不该默认模型「不可理解」 — tszzl · 2026-10-16
- Ben Affleck 称 AI 只是矩阵运算,Grady Booch 亦附和否认机器思考 — Grady_Booch · 2026-10-16
- AGI 定义为何总在逼近时被改写？一条推文戳破行业现象 — VraserX · 2026-10-16
- 「如果 AI 把时间还给人类,最大的成就是揭示我们误当成本的生活」 — r0ck3t23 · 2026-10-16
- 「AI自动化产出垃圾，AI增强成就超智能」观点引共鸣 — jacob_posel · 2026-10-16