Three AI labs announced better bounds on gaps between primes within two days. A single Oxford mathematician had improved the same 12-year-old record by hand three days earlier. Terence Tao says the pile-up buries the ideas and asks labs to compete on insight.