MIT affiliates win AI for Math grants to accelerate mathematical discovery

Department of Mathematics researchers David Roe and Andrew Sutherland seek to advance automated theorem proving; four additional MIT alumni also awarded.