“IA resolveu um Problema do Milênio!” 🤖📐 Foi assim que muita gente leu as manchetes sobre Navier-Stokes. Só que, quando você olha de perto, a história não é de máquina substituindo matemático — e sim de humanos usando IA para ir mais longe. 🧵

Imagem indisponível

Navier-Stokes são equações que descrevem o movimento de fluidos: água, ar, fumaça, sangue, turbulência… Elas ajudam da previsão do tempo ao projeto de aviões. A equação existe há quase 200 anos; o difícil é provar como suas soluções se comportam em todos os casos.

O “Problema do Milênio” pergunta, em resumo, se essas equações sempre têm soluções suaves em 3D ou se podem surgir singularidades — pontos em que o modelo “explode” matematicamente. Quem provar isso de forma rigorosa leva prestígio e US$ 1 milhão.

Imagem indisponível

A IA entrou como uma ferramenta poderosa para explorar padrões, testar hipóteses e buscar caminhos que seriam impraticáveis na mão. Mas encontrar uma pista promissora não é o mesmo que apresentar uma demonstração matemática aceita pela comunidade.

É diferente do choque Deep Blue x Kasparov, lá nos anos 1990. No xadrez, a máquina passou a jogar melhor que humanos. Em pesquisa matemática, o valor ainda está muito em formular boas perguntas, checar provas e entender por que algo é verdadeiro.

Imagem indisponível

E isso importa porque “a IA resolveu tudo” pode virar uma narrativa enganosa. Ela apaga o trabalho coletivo de pesquisadores, dados, software e revisão por pares — e ainda alimenta a ideia de que basta comprar mais computação para concentrar conhecimento em poucas empresas.

Talvez a virada real seja outra: matemáticos com IA podem atacar problemas antes inacessíveis, desde que resultados sejam verificáveis e as ferramentas não fiquem restritas a gigantes da tecnologia. A máquina não acabou com o matemático; ela está mudando a bancada de trabalho.

Imagem indisponível