Electrical engineering and computer science (EECS)

In an interview with Bloomberg, Prof. Justin Solomon discusses how mathematicians are responding to advances in AI in the wake of an AI platform solving the Navier-Stokes problem. “The really interesting part [of proof writing] is the modeling and figuring out which questions to ask and what insights they bring us to the universe, and the AI tools are not doing that,” says Solomon. “Writing the prompts is very much what we’ve been teaching our students to do for centuries now, and that skill, I think, persists.” 

MassLive’s Liesel Nygard spotlights the late Margaret Hamilton, “a pioneering computer scientist who helped establish the field of software engineering and led the MIT team that developed the onboard flight software for NASA’s Apollo moon missions.” Nygard writes, “Thanks to priority-driven ‘defensive’ software [in the lunar module’s computers] engineered by Hamilton and her team, the system automatically shut down unnecessary background tasks to focus on the landing, avoiding an emergency abort [of the Apollo 11 mission].”  

The Washington Post’s Juno Carmel details how the late Margaret Hamilton “developed early computer software that helped pave the way for the digital world as we know it today” and led the team at MIT’s Instrumentation Lab that programmed the alarm code that played a crucial role in the Apollo 11 mission. Hamilton “was the lead developer for the software that powered the Apollo guidance computer, which weighed 70 pounds but had only 72 kilobytes of memory, a fraction of today’s smartphones,” notes Carmel. 

Margaret Hamilton, “best known for her major contributions to the Apollo missions” at MIT’s Instrumentation Lab, “died on Sept. 30 at age 90, leaving behind a trailblazing legacy of problem-solving and entrepreneurship that paved the way for a new branch of computer science and engineering,” writes reporter Margherita Bassi for Smithsonian Magazine. Hamilton’s “coding foresight and prowess really made that mission a success,” says Smithsonian National Air and Space Museum’s Andrew Meade McGee. “She created the logical software basis for many of the critical systems we use to maintain our infrastructure today, and that silently power today’s modern aerospace world.” 

Margaret Hamilton, who developed the software that helped the Apollo 11 mission land safely on the moon and “whose historic accomplishments focused attention on the work of software engineers,” died on Sept. 30, reports Bryan Marquard for The Boston Globe. “She gave me, from the get-go, this notion that I could do anything, that there were absolutely no gender barriers,” says Hamilton’s daughter, Lauren. Hamilton’s life and work conveyed to her great-granddaughters “that very clear idea that they could have whatever future they wanted to create for themselves.” 

Prof. Virginia Vassilevska Williams speaks to the Scientific American’s Peter Hall and Joseph Howlett about AI assisting in faster matrix multiplications. “Matrix multiplication is needed all over the place,” says Williams. “But also, its complexity is one of the great mysteries in computer science. In a maybe diabolical sense, the advance on matrix multiplication can be seen as an attempt by the LLMs to speed themselves up.”  

For The New York Times, reporters Carolyn Y. Johnson and Kenneth Chang spotlight the late computer scientist Margaret Hamilton and her role in the development of the field of software engineering, highlighting her work as a “trailblazing woman who played a crucial, largely unseen role.” MIT Presidential Advisor Maria Zuber shared: “When you see someone like her who went for it and lived her dream it makes it a little easier for the rest of us to dare to reach for the moon as well.” 

“Groundbreaking researcher,” Margaret Hamilton, “whose code helped land NASA’s Apollo astronauts on the moon to win the 20th-century space race has died,” reports CNN’s Jackie Wattles. “Through her work, Hamilton is also credited as one of the founders of the field of software engineering — a term she coined — by helping to establish it as a professional practice,” writes Wattles.  

The Guardian’s Uwa Ede-Osifo spotlights the life and legacy of the late Margaret Hamilton, “the computer pioneer whose software powered the first moon landing,” at MIT’s Instrumentation Lab. Prior to the Instrumentation Lab, Hamilton worked “on the software that could detect enemy aircraft,” at MIT’s Lincoln Laboratory,” writes Ede-Osifo. “When the institute received a Nasa contract to develop the Apollo onboard flight software, she jumped at the opportunity.”  

Margaret Hamilton, “who led the 100-person team [at MIT’s Instrumentation Lab] that wrote the onboard software for the Apollo missions, guiding Neil Armstrong and Buzz Aldrin to a safe landing on the moon,” died on Sept. 30, reports Trip Gabriel for The New York Times. “Her skills led to her promotion to director of software engineering on the project, which developed the two 70-pound onboard computers for the Apollo flights: one in the command module, which carried the astronauts from Earth, and the second in the lunar module, which set down on the moon’s surface,” writes Gabriel. 

With help from an artificial intelligence algorithm, MIT researchers have formulated heat-resistant mRNA COVID vaccines that “remain stable even when stored at room temperature for up to a year, or at nearly 100 degrees Fahrenheit for two months,” writes Nancy Lapid for Reuters. The heat resistance shots “would lower costs and make them [COVID vaccines] available in regions where ultra-cold storage is not possible,” Lapid notes.  

Forbes’ Rashi Shrivastava highlights MIT spinout Liquid AI, which is building “liquid neural networks that process data more efficiently and don’t need expensive chips stored in data centers.” Shrivastava writes, “Liquid AI’s models are small enough that they can run directly on laptops and phones. There’s no cost to host them.”  

In a piece republished by Scientific American, reporter Manon Bischoff highlights MIT researchers proving in 2024, that “many newer games in the Super Mario series are mathematically maximally complex and therefore contain unsolvable problems.” “We don’t know how to prove that a game is fun,” says Prof. Erik Demaine, a co-author of the research. “But we can prove that it’s hard and that maybe gives some insight into why it’s fun.”  

MIT researchers have developed Ataraxos, an AI system capable of winning the challenging game Stratego. The system could one day help decision makers with real-world problems that involve hidden information, reports Jacek Krywk for Ars Technica. “Board games have fixed rules and clear winners, while real-world problems like negotiations, financial markets, or military conflicts usually don’t,” writes Krywk. “But the Ataraxos team argues the gap is smaller than it looks, since tackling any real problem starts with building a simplified model of it.” 

Prof. Samuel Madden joins Tiziana Dearing, host of WBUR’s “Morning Edition,” to discuss the findings of MIT’s Ad Hoc Committee on AI Use in Teaching, Learning, and Research Training. “Cognitive surrender is the idea that people come to rely too heavily on these AI tools for their learning and they start outsourcing the critical thinking and the development of the foundational tools they think they need to succeed in life, to these AI tools,” says Madden. “It’s not just writing, but we see this [cognitive surrender] in our courses as well.”