Tammet received international renown for his automated theorem proving program Gandalf, which won different categories of the CADE CASC competition six times between 1997 and 2003.
Таммет получил международное признание благодаря своей программе Gandalf для автоматического доказательства теорем, которая побеждала в различных категориях конкурса CADE CASC шесть раз в период между 1997 и 2003 годом.