数学模型或许早就足以找出 Jacobian 式反例
dyamins · x · 2026-07-21
作者在问：数学模型能找到 Jacobian conjecture 相关反例这件事，是不是其实早就“很显然”了。
他的核心观点是，自动化工具特别擅长穷举检查简单条件、用约束剪掉无限搜索空间，而这些工作恰恰是人类最不愿意做的。真正值得注意的，可能不是模型能不能帮忙找到反例，而是人类一边构建复杂理论，一边又没有足够借助自动化搜索去验证。
所属事件:AI接连推翻多个数学猜想引发热议(13 条相关)→
「漫话AGI」频道最新
- 超级智能时代:做出好产品仍比证明猜想更难 — yunta_tsai · 2026-10-27
- 裁掉 6 万人省下的是钱，流失的是数十年机构知识 — DavidLinthicum · 2026-10-27
- 微软裁员 6 万人：AI 补不回走掉的数十年组织知识 — snikolov · 2026-10-27
- AI 治理专家呼吁政府立即规划：UBI、AI 部署税与人类专属岗位 — LuizaJarovsky · 2026-10-27
- Anthropic 能否单方面停下？三位 AI 安全人士重估囚徒困境叙事 — ShakeelHashim · 2026-10-27
- Dario Amodei 首度详谈离开 OpenAI 创办 Anthropic：因为信任破裂而非分歧 — Hesamation · 2026-10-27