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.
At the inaugural MIT Generative AI Impact Consortium Symposium, researchers and business leaders discussed potential advancements centered on this powerful technology.
Read MoreMIT-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.
Read MoreMIT CSAIL researchers developed a tool that can model the shape and movements of fetuses in 3D, potentially assisting doctors in finding abnormalities and making diagnoses.
Read MoreThe 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.
Read MoreMIT CSAIL researchers developed SustainaPrint, a system that reinforces only the weakest zones of eco-friendly 3D prints, achieving strong results with less plastic.
Read MoreSystem developed at MIT could provide realistic predictions for a wide variety of reactions, while maintaining real-world physical constraints.
Read MoreArtificially created data offer benefits from cost savings to privacy preservation, but their limitations require careful planning and evaluation, Kalyan Veeramachaneni says.
Read MoreVaxSeer uses machine learning to predict virus evolution and antigenicity, aiming to make vaccine selection more accurate and less reliant on guesswork.
Read MoreSolubility predictions could make it easier to design and synthesize new drugs, while minimizing the use of more hazardous solvents.
Read More
You must be logged in to post a comment.