OpenAI proofdump 将 3SUM 上界推到 O(n^1.921)，Lean 验证通过

OpenAI 的 proofdump 把 3SUM 问题的上界推进到 O(n^1.921)，并通过 Lean 形式化验证。iskander 引用这条记录指出，这类证明会带来远超人们此前预期的更好渐近界，横跨许多基础问题，但可能产不出任何新的可用算法。