Thomas Bloom and collaborators disprove the sum-product conjecture, sparking debate over AI's role in the breakthrough · Digg