MIT affiliates win AI for Math grants to accelerate mathematical discovery

MIT News | Sept. 22, 2025, 3:15 p.m. | Original
Department of Mathematics researchers David Roe and Andrew Sutherland seek to advance automated theorem proving; four additional MIT alumni also awarded.
New tool makes generative AI models more likely to create breakthrough materials MIT named No. 2 university by U.S. News for 2025-26