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.
Department of Mathematics researchers David Roe and Andrew Sutherland seek to advance automated theorem proving; four additional MIT alumni also awarded.
The research center, sponsored by the DoE’s National Nuclear Security Administration, will advance the simulation of extreme environments, such as those in hypersonic flight and atmospheric reentry.
A new approach can reveal the features AI models use to predict proteins that might make good drug or vaccine targets.
By visualizing Escher-like optical illusions in 2.5 dimensions, the “Meschers” tool could help scientists understand physics-defying shapes and spark new designs.
The CodeSteer system could boost large language models’ accuracy when solving complex problems, such as scheduling shipments in a supply chain.
Composed of “computing bilinguals,” the Undergraduate Advisory Group provides vital input to help advance the mission of the MIT Schwarzman College of Computing.
MIT researchers developed a new approach for assessing predictions with a spatial dimension, like forecasting weather or mapping air pollution.
Starting with a single frame in a simulation, a new system uses generative AI to emulate the dynamics of molecules, connecting static molecular structures and developing blurry pictures into videos.
Using this model, researchers may be able to identify antibody drugs that can target a variety of infectious diseases.
Yiming Chen ’24, Wilhem Hector, Anushka Nair, and David Oluigbo will start postgraduate studies at Oxford next fall.