从'问题即 proxy'看 AI 攻数学:概念基建成熟处 AI 才能碾过去
_onionesque · x · 2026-10-07
作者提出一个判断框架:如果某个问题已被多次尝试、其邻域已被充分形式化,那么 AI 就有机会"磨穿"它。历史上很多问题本身只是 proxy,作用是吸引人力去发展一个领域的概念基础设施。这类已开发的 eps 邻域既是矿藏,也提供了通往可验证性的路径;但对于上游的概念构建本身,AI 单独能做到什么尚不清楚,他很好奇 AI 会如何攻击那些重要但相对孤立的问题。
「漫话AGI」频道最新
- 学者暗讽 AI 安全圈红人 Jacob Coxon：像气候圈的通贝里 — mjdramstead · 2026-10-07
- Delip Rao 讽刺:法律行业对智能如此敌视,耐人寻味 — UltraRareAF · 2026-10-07
- e/acc 运动官方 Discord 明日开放,主打公开建设与语音讨论 — whurley · 2026-10-07
- 谷歌高管现身金融科技大会：圈外 AI 话题讨论画风截然不同 — neal_lathia · 2026-10-07
- 14 年老程序员：真正的红线是把整个代码库交给 agent — erwinalp5 · 2026-10-07
- Bloomberg：AI Agent 已占 FRED 流量约一半 — rohanpaul_ai · 2026-10-07