热点事件持续更新
Claude 提出 3SUM 新算法并附 Lean 证明
1 篇报道1 个报道来源5 小时前更新
先了解这件事
AI 综述
2026 年 10 月 6 日，AGI Hunt 报道，理论计算机科学家 Ilya Razenshteyn 透露，Claude 为经典 3SUM 问题给出了 O(n^1.9992) 时间复杂度的算法，并附带一份 Lean 形式化证明。该报道以“突破 3SUM 复杂度下界”来形容这一结果。目前关于此事的公开信息仅有这一条披露，报道中未给出算法的具体构造、证明细节，也没有同行评议或独立验证情况的说明。
AI 根据报道生成 · 1 小时前更新
报道时间线
沿着报道，了解事件的不同侧面。
10月6日
- AGI Hunt精选Claude 突破 3SUM 复杂度下界，给出 O(n^1.9992) 算法附 Lean 证明
理论计算机科学家 Ilya Razenshteyn 透露，Claude 为经典 3SUM 问题给出了 O(n^1.9992) 时间算法，并附带 Lean 形式化证明。
本事件热度走势
还没有足够的连续观测数据，暂不绘制趋势。