Machine Finds Counterexample to Jacobian Conjecture Amid Fields Medal Celebrations · Digg