An AI-powered proof has rigorously shown that using quantum computers wouldn’t have huge advantages for a whole class of mathematical problems, confirming a vastly influential conjecture