AI Solves Three Decades-Old Math Conjectures In One Week · Digg