flâneur

A pilot project in universal algebra to explore new ways to collaborate and use machine assistance? | What's new

terrytao.wordpress.com · 11,611 words · saved by 1 readers

Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao 25 September, 2024 in math.RA, polymath | Tags: Artificial Intelligence, machine assisted proof, universal algebra | by Terence Tao Traditionally, mathematics research projects are conducted by a small number (typically one to five) of expert mathematicians, each of which are familiar enough with all aspects of the project that they can verify each other’s contributions. It has been challenging to organize mathematical projects at larger scales, and particularly those that involve contributions from the general public, due to the need to verify all of the contributions; a single error in one component of a mathematical argument could invalidate the entire project. Furthermore, the sophistication of a typical math project is such that it would not be realistic to expect a member of the public, with say an undergraduate level of mathematics education, to contribute in

A pilot project in universal algebra to explore new ways to collaborate and use machine assistance? | What's new What's new Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao Home About Career advice On writing Books Mastodon+ Applets Subscribe to feed A pilot project in universal algebra to explore new ways to collaborate and use machine assistance? 25 September, 2024 in math.RA , polymath | Tags: Artificial Intelligence , Equational Theory Project , machine assisted proof , universal algebra | by Terence Tao Tra

saved by

related reading