A user says a claimed math breakthrough has swayed AGI-skeptic friends · Digg