Lech Mazur(@LechMazur):A new paper, accompanied by a Lean formalization, claims to disprove the Randomized Integer Word-RAM 3SUM Conjecture, ranked #159 in my LLM-based ranking of the most important open problems in mathematics: https://t.co/Uhks7eFiSK. "Claude, an AI model developed by Anthropic, discovered the algorithm that refutes the3SUM, APSP, and Exact Triangle hypotheses." The paper also claims to resolve #243, "All-Pairs Shortest Paths in Truly Subcubic Time." Lean formalization: https://t.co/rLVBFSC8KH

2026.10.06 05:59

A new paper, accompanied by a Lean formalization, claims to disprove the Randomized Integer Word-RAM 3SUM Conjecture, ranked #159# in my LLM-based ranking of the most important open problems in mathematics: "Claude, an AI model developed by Anthropic, discovered the algorithm that refutes the3SUM, APSP, and Exact Triangle hypotheses." The paper also claims to resolve #243#, "All-Pairs Shortest Paths in Truly Subcubic Time." Lean formalization:

ZhaoSong@nojobafterphoto

2026.10.06 03:17

Truly Subquadratic 3SUM and Truly Subcubic APSP via Triangles in Sparse Lopsided Graphs (Josh Alman)@firebat03 , Virginia Vassilevska Williams This is really a huge breakthrough result in fine-grained complexity.