Claude 助力论文宣称推翻 3SUM 猜想，附 Lean 形式化验证
basedjensen · x · 2026-10-06
一篇新论文伴随 Lean 形式化发布，声称推翻了随机整数 Word-RAM 3SUM 猜想（作者自排的数学最重要未解问题榜单第 159 位），并称 Claude（Anthropic 的 AI 模型）发现了反驳 3SUM、APSP 和 Exact Triangle 猜想的算法；论文还声称以真正亚立方时间解决第 243 号问题「全源最短路径」。论文完成后，Anthropic 还用内部研究模型对主要结果进行了认证。若成立将是 AI 辅助数学研究的标志性进展，目前仍待学界验证。
「模型」频道最新
- 博主断言:合成数据是下一个大机会,编码行业正在结构性改变 — creatoroff · 2026-10-06
- 用户实测:Codex 空转刷 token,Claude Opus 理解力显著更强 — iruletheworldmo · 2026-10-06
- Cohere 发布 Tiny Aya 多语言小模型家族，支持 70 余种语言 — Cohere_Labs · 2026-10-06
- 0.8B 模型闭式权重手术跑赢 2B 模型，ARC-Challenge 达 42.15% 零反向传播 — AdventurousTwo6445 · 2026-10-06
- Mistral 新模型今日发布在即，Mensch 称部分领域超越中国模型 — uusrikas · 2026-10-06
- Mustafa Suleyman 曾称幻觉 2025 年基本消除，如今被群嘲 — PMinervini · 2026-10-06