Tuesday, October 20, 2026
Saga
Anthropic-assisted 3SUM and APSP proof validation
Overview
Description Anthropic-assisted work claims to validate a new algorithm that resolves APSP in truly subcubic time and refutes 3SUM-related complexity hypotheses. Overview A new paper and Lean formalization claim an AI-discovered algorithm refutes the APSP and Exact Triangle hypotheses. The work says the result resolves the…
Keeping an eye on this saga?
Tilt can alert you when its scenarios shift, or send you a recommendation when one crosses a threshold.
Stories in this saga
1 story, 2 sources
Oct 12, 2026
Google's AlphaProof Nexus Solves 9 Erdős Problems Including 2 Open for 56 Years
- Anthropic AI Disproves 3SUM Conjecture With New Algorithm15 days ago