MIT Affiliates Secure AI Grants to Spur Mathematical Innovations
September 28, 2025
MIT researchers and alumni have been awarded 'AI for Math' grants aimed at propelling advancements in automated theorem proving, promising significant strides in mathematical discovery.