热点事件持续更新
论文称Claude发现算法推翻3SUM等猜想
1 篇报道1 个报道来源3 小时前更新
先了解这件事
AI 综述
2026年10月，一篇附带Lean形式化验证的新论文发布，声称推翻随机整数Word-RAM下的3SUM猜想，该问题在作者自排的数学最重要未解问题榜单中列第159位。论文称Claude发现了反驳3SUM、APSP和Exact Triangle猜想的算法，并以真正亚立方时间解决第243号问题全源最短路径。Anthropic还用内部研究模型对主要结果进行了认证。目前该结果仍待学界验证。
AI 根据报道生成 · 2 小时前更新
最新进展10月6日 16:59
新论文称Claude发现算法推翻3SUM等猜想，经Lean形式化并由Anthropic内部模型认证，仍待学界验证。报道时间线
沿着报道，了解事件的不同侧面。
10月6日
- AGI Hunt精选Claude 助力论文宣称推翻 3SUM 猜想，附 Lean 形式化验证
一篇新论文伴随 Lean 形式化发布，声称推翻随机整数 Word-RAM 3SUM 猜想，该问题在作者自排的数学最重要未解问题榜单中列第 159 位。论文称 Claude 发现了反驳 3SUM、APSP 和 Exact Triangle 猜想的算法，并以真正亚立方时间解决第 243 号问题全源最短路径。Anthropic 还用内部研究模型对主要结果进行了认证，目前仍待学界验证。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。