Q&A with mathematicians behind the "First Proof" experiment, which tests AI's mathematical competence on questions drawn from the authors' unpublished research (Siobhan Roberts/New York Times) - Tech Sentiments