Na última semana, manchetes anunciaram que
"a IA (inteligência artificial)" teria resolvido o problema de Navier-Stokes, um dos mais famosos da matemática. Trinta anos atrás, o computador
Deep Blue derrotou pela primeira vez o campeão do mundo de xadrez,
Garry Kasparov, e desde então nunca mais competimos com as máquinas de igual para igual nesse domínio. As manchetes fazem parecer que estaríamos em um momento desse tipo, desta vez na pesquisa matemática. Mas os fatos contam história diferente, muito mais sobre "humano usa máquina para ampliar seus poderes" do que sobre "máquina vence humano".
Leia mais (09/17/2026 - 14h24)
