Equation Theories Project
Organization
A large-scale crowdsourcing mathematics project led by Tao to classify relationships between 4,000 algebraic laws, generating 22 million problems, with crucial help from Lean for verification.
Mentioned in 1 video
