Department of Mathematics researchers David Roe and Andrew Sutherland seek to advance automated theorem proving; four additional MIT alumni also awarded.
At the inaugural MIT Generative AI Impact Consortium Symposium, researchers and business leaders discussed potential advancements centered on this powerful technology.
MIT-IBM Watson AI Lab researchers have developed a universal guide for estimating how large language models will perform based on smaller models in the same family.
Inventions that protect US service members, advance computing, and enhance communications are recognized among the year's most significant new products.
Balancing automation and agency, Associate Professor Arvind Satyanarayan develops interactive data visualizations that amplify human creativity and cognition.
MIT CSAIL researchers developed SustainaPrint, a system that reinforces only the weakest zones of eco-friendly 3D prints, achieving strong results with less plastic.