AI 找到反例，不等于这个问题真的很难或很重要
AlexKontorovich · x · 2026-07-23
转发的核心观点是：AI 找到某些“开放 20 年/60 年”的反例，并不自动证明这些问题“很难”或“很重要”。
作者提醒，不少人看到 AI 解决旧问题就会夸大 headline，但更合理的解释可能只是：这个问题长期没人认真投入，并不代表它的难度或价值本身有多高。
「漫话AGI」频道最新
- Daniel Miessler 认为 AI 工作流会收敛成一个理想状态文档 — daniel_mac8 · 2026-07-23
- 人们开始把品味外包给 LLM，这可能让结果彻底跑偏 — annetgriffin · 2026-07-23
- 如果 ChatGPT 帮解三道难题，顶尖数学系会录用吗 — damekdavis · 2026-07-23
- 文章称 AI 并未抽干河流，真正大头是动物农业 — meatstheeye · 2026-07-23
- 一篇长文主张：LLM 和编码代理应免费、开源且无审查 — Robert__Sinclair · 2026-07-23
- AI 教育不能只教 prompt，要走向上下文与判断 — Astrokanu · 2026-07-23