AI Mathematicians

NYT: "A.I. Is Coming for Mathematics, Too"