= Equational theories project
{c}
{title2=2024}
This project initiated by <Terence Tao> aims to find the relations between various statements in <abstract algebra> by using a combination of <automated theorem proving> and human effort. As mentioned by Terence himself, this is a bit similar to the idea of the <Busy Beaver Challenge>:
* https://teorth.github.io/equational_theories/
* https://github.com/teorth/equational_theories
* https://terrytao.wordpress.com/2024/09/25/a-pilot-project-in-universal-algebra-to-explore-new-ways-to-collaborate-and-use-machine-assistance/
Back to article page