E

Equation Theories Project

OrganizationMentioned in 1 video

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.

Videos Mentioning Equation Theories Project

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Terence Tao: Hardest Problems in Mathematics, Physics & the Future of AI | Lex Fridman Podcast #472

Lex Fridman

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.