“Terry Tao discussed a research project that aims to exhaustively search the space of possible algebras by systematically trying different combinations of axioms to find rich and interesting mathematical systems.”