automated theorem proving
Artificial Intelligence
MIT affiliates win AI for Math grants to speed up mathematical discovery
MIT Department of Mathematics researchers David Roe ’06 and Andrew Sutherland ’90,...
Recent posts
