Claude Fable 5 据称用可验证反例推翻 87 年猜想
thione · x · 2026-07-27
Anthropic 的 Claude Fable 5 据称通过给出一个可验证的反例，帮助推翻了已有 87 年历史的 Jacobian conjecture。
如果这一说法属实，这就是一个非常典型的“AI 参与数学发现”的案例，关键点不在于模型灵感，而在于反例本身可被验证。
「研究」频道最新
- Inferact 的 Kimi-K3-DSpark 复用 MLA 缓存加速 vLLM — vllm_project · 2026-07-27
- Kimi K3 用固定 KDA 状态替代增长式 KV 缓存 — vllm_project · 2026-07-27
- Astribot 的 Lumo-2 用世界动态潜空间提升长时序机器人任务 — jiqizhixin · 2026-07-27
- 结构化输出或让 44 个语言模型的回答更趋同 — vista8 · 2026-07-27
- Kimi K3 报告用递归知识图谱改进后训练任务 — Justin_Halford_ · 2026-07-27
- 新研究称，智能体技能要看回归而不只看平均收益 — omarsar0 · 2026-07-27