Lean4 mathematics library
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
