Anthropic AI Disproves 3SUM Conjecture With New Algorithm

An algorithm discovered by an AI model refutes the APSP and Exact Triangle hypotheses and resolves the All-Pairs Shortest Paths problem in truly subcubic time, with a new paper and Lean formalization claiming these results disprove the Randomized Integer Word-RAM 3SUM Conjecture, and Anthropic employed an internal research model to certify the findings after the initial draft.