A nova aliada na matemática
O matemático Terence Tao incorporou a inteligência artificial na rotina para tentar solucionar enigmas históricos como a conjectura de Collatz e as equações de Navier-Stokes. Ele utiliza o Lean, um assistente de provas e linguagem de programação que garante a correção do raciocínio lógico, para expandir os limites da pesquisa na área.
A comunidade científica considera Tao o verdadeiro Mozart da matemática por causa de sua versatilidade em conectar ramos de estudo que pareciam isolados. O pesquisador ganhou a Medalha Fields em 2006 aos 31 anos por contribuições em teoria dos números, equações diferenciais parciais e análise harmônica.
O uso da ferramenta ganhou destaque recente durante uma conversa com Dwarkesh Patel, um criador de conteúdo que costuma entrevistar nomes fortes da tecnologia. Tao enxerga as máquinas como parceiras de trabalho em vez de substitutas para os pesquisadores.
“Espero que, até 2026, a IA, quando usada corretamente, seja uma coautora confiável na pesquisa matemática. E em muitos outros campos também”
Avanços reais das máquinas
A capacidade das máquinas de lidar com problemas complexos apresenta resultados práticos, como o feito da Meta AI que conseguiu generalizar a função de Lyapunov em outubro de 2024. O conceito criado pelo russo Aleksander Lyapunov em 1892 serve para estudar sistemas dinâmicos, mas os cientistas encontravam muita dificuldade em achar um método geral para identificar essas funções.
As equações de Navier-Stokes formam um dos Problemas do Milênio e ajudam a entender o comportamento dos fluidos em aplicações práticas como previsão do tempo e projeto de aeronaves. A parceria entre o matemático e o assistente virtual tenta solucionar esse enigma de forma definitiva, já que a humanidade ainda não entende por completo como essas fórmulas funcionam.
