O anúncio recente de uma solução feita por inteligência artificial para um problema aberto há mais de 90 anos causou surpresa e polêmica entre especialistas. Isso nos leva a uma questão difícil: quando a máquina descobre, o que significa, afinal, fazer matemática?
O garçom chega com seu café. Você abre as páginas de sua leitura favorita. A manhã parece perfeita. Mas... sua mesa está irritantemente bamba. O que fazer? Colocar um guardanapo dobrado para calçá-la? Trocar de lugar? Sugestão do dia: deixe a matemática te dar uma mãozinha