Description
Terence Tao szeptember 25-én kiírt egy univerzális algebra projektet, aminek célja annak felmérése, hogy hogyan lehetne több embert bevonni komolyabb matematikai kutatásba, és hogy milyen modern eszközökkel (automatikus tételbizonyítók, számítógépes formalizálás, AI/LLM) lehetne ezt segíteni.
A projekt a grupoidok (angolul inkább magmák) feletti, legfeljebb négy műveleti jelet használó azonosságok közötti implikációkkal foglalkozik. A cél annak kiderítése, hogy ha adott két azonosság, akkor van-e köztük implikáció. Ha valamelyik irányban nincs, akkor ezt is igazolni szeretnénk; olyan példát kell találnunk, amiben az egyik teljesül, a másik pedig nem. Ezt a relációt két külön esetben is vizsgálják: általános esetben, illetve amikor az implikáció cáfolására csak véges grupoidokat használhatnak.
Fogok beszélni témában elért eredményekről is (például, hogy mennyi kérdéses azonosság pár van még hátra), de az előadás fő célja annak összefoglalása, hogy az absztrakt elején leírt szempontokban mennyire volt sikeres a projekt.