Workshop " O Cientista do Século XXI" - Walter Carnielli - 16/08/2019

Como a Matemática e a Inteligência Artificial se influenciam mutuamente
Walter Carnielli (CLE -Unicamp)
Se bem que ninguém duvida da influência da matemática nos fundamentos da Inteligência Artificial, não está claro qual e quanta matemática entra nessa receita. A recíproca contudo, é não só verdadeira como surpreendente. Pretendo discutir pontos a respeito da influência e contribuição da Inteligência Artificial para a matemática e os desafios que o cientista do século XXI pode esperar. A ideia de fazer matemática em um programa como Coq não é nova, e já podemos suspeitar que os computadores possam algum dia propor e provar seus próprios teoremas. Conseguiremos compreendê-los? Isso pode levar à mudança nos paradigmas e fundamentos da matemática, como nos alertam as provas do Teorema das Quatro Cores e a prova formal da Conjectura das Balas de Canhão de Kepler.
Vladimir Voevodsky, do Instituto para Estudos Avançados de Princeton (Medalha Fields, 2002, falecido em 2017), já via a matemática eletrônica como uma necessidade em uma época em que algumas provas se tornaram complexas demais para serem comprovadas por leitores humanos. Timothy Gowers, da Universidade de Cambridge (Medalha Fields, 1998), espera que a colaboração com um grande “banco de dados semi-inteligente” alivie parte do trabalho penoso da pesquisa matemática. A comunidade científica brasileira, e em especial a comunidade matemática, não pode se dar ao luxo de não levar em conta a revolução matemática do século XXI, que nem bem ainda começou.