Dan Roy proposes AI authorship for solving mathematical conjectures · Digg