Claude 助力论文宣称推翻 3SUM 猜想，附 Lean 形式化验证

一篇新论文伴随 Lean 形式化发布，声称推翻随机整数 Word-RAM 3SUM 猜想，该问题在作者自排的数学最重要未解问题榜单中列第 159 位。论文称 Claude 发现了反驳 3SUM、APSP 和 Exact Triangle 猜想的算法，并以真正亚立方时间解决第 243 号问题全源最短路径。Anthropic 还用内部研究模型对主要结果进行了认证，目前仍待学界验证。