Resumo: Sim, você leu certo: (outro?) seminário sobre IA na Matemática! Mas, numa sexta-feira 13 legítima, não esperem soluções construtivas e animadoras. Vamos tentar entender o tamanho do buraco em que estamos entrando — e se há luz no fim do túnel ou só um trem chegando. Importante: o travessão foi colocado por um ser humano(ou será que não?).