Braid
A New Preprint Credits Claude With Beating the 3SUM and APSP Barriers; OpenAI Apologizes to Australia
36:39
Hosts: Lenar Kess, Damra Vol. A preprint says an AI model found the first polynomial speedups for 3SUM and all-pairs shortest paths, and that a Lean proof checked them, while the same day brought OpenAI's apology to Australia, a protocol flaw in agents from Google and others, and a fight over who pays when an agent causes damage. The exponents move by a hair; the question the authors leave open…