Department of Mathematics researchers David Roe and Andrew Sutherland seek to advance automated theorem proving; four additional MIT alumni also awarded. Read More
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.
Related Posts
“This is science!” – MIT president talks about the importance of America’s research enterprise on GBH’s Boston Public Radio
MIT faculty join The Curiosity Desk to discuss football, math, Olympic figure skating, AI and…
Online harassment is entering its AI era
Scott Shambaugh didn’t think twice when he denied an AI agent’s request to contribute to…
CES showed me why Chinese tech companies feel so optimistic
This story originally appeared in The Algorithm, our weekly newsletter on AI. To get stories…