descriptive claim
Terence Tao launched Equational Theories in September 2024 as an open collaboration to map implications among algebraic laws, with results checked in Lean.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“But that's outside the scope of this particular video. Back in September 2024, Terence Tao launched Equational Theories, an open collaboration mapping which algebraic laws imply others, with Lean checking the results.”59:21Report a misattribution
0.90how strongly it was put, not whether it is true
0.85importance to the conversation
0.98confidence the claim was read correctly