AI Labs May Run Thousands of Agents on Math Conjectures · Digg