Terence Tao: "I am revisiting a project I floated back in https…" - Mathstodon

submited by

Style Pass

2024-09-26 09:00:03

I am revisiting a project I floated back in https://mathstodon.xyz/@tao/110736805384878353 to launch a collaborative project to explore the space of small equational laws on magmas, as a pilot project to test out ways of incorporating citizen mathematics, proof assistants, automation tools, and AI to perform large scale mathematical exploration. I have just made a blog post at https://terrytao.wordpress.com/2024/09/25/a-pilot-project-in-universal-algebra-to-explore-new-ways-to-collaborate-and-use-machine-assistance/ to encourage further discussion on the viability of such a pilot project.