Fabrício Mainenti
RedatorAfirmar categoricamente quem é a melhor pessoa do mundo em alguma área é arriscado. Se nos concentrarmos em pesquisas de ponta em matemática, o alemão Peter Scholze, o britânico James Maynard e o sino-americano Yitang Zhang, entre outros pesquisadores, são geralmente considerados os matemáticos vivos mais capazes.
No entanto, dentro da comunidade científica, existe um consenso quase unânime de que Terence Tao, que possui dupla cidadania australiana e americana, é o verdadeiro "Mozart da matemática".
Ele conquistou seu prestígio por meio de muito trabalho. Ganhou a Medalha Fields, frequentemente considerada o Prêmio Nobel da matemática, em 2006, aos 31 anos. Recebeu-a por suas contribuições em três áreas fundamentais: teoria dos números, equações diferenciais parciais e análise harmônica.
Contudo, o comitê da Medalha Fields destacou particularmente sua capacidade de conectar áreas que a maioria dos matemáticos considerava isoladas.
De qualquer forma, isso não é tudo. Tao é frequentemente admirado por sua versatilidade. Muitos matemáticos de elite se especializam em uma área específica, mas este cientista produziu trabalhos de ponta em combinatória e detecção comprimida, além das três áreas pelas quais recebeu a Medalha Fields.
Além disso, ele conquistou a reputação de pesquisador generoso, que trabalha excepcionalmente bem em equipe e está sempre disposto a adotar novas tecnologias para enfrentar os maiores desafios da matemática.
A IA é uma ferramenta essencial na matemática para Terence Tao
Dwarkesh Patel, um criador de conteúdo indiano-americano especializado em tecnologia e inteligência artificial (IA), que se consolidou como uma das vozes mais influentes do Vale do Silício graças às suas entrevistas com Elon Musk, Mark Zuckerberg, Satya Nadella, Ilya Sutskever e Demis Hassabis, publicou recentemente uma conversa fascinante com Terence Tao.
E a IA foi a protagonista absoluta de um diálogo no qual este matemático defendeu com entusiasmo o papel que essa tecnologia já desempenha como uma "coautora de confiança" na pesquisa matemática.
Em outubro de 2024, a Meta AI, a IA da Meta, conseguiu generalizar a função de Lyapunov. O matemático russo Aleksander Lyapunov propôs o conceito da função que leva seu nome em 1892. Seu trabalho é uma ferramenta crucial no estudo de sistemas dinâmicos, mas os matemáticos têm lutado desde então para encontrar um método geral que lhes permita identificar funções de Lyapunov.
E não tiveram sucesso. No entanto, a Meta AI conseguiu. Este é apenas um exemplo que ilustra claramente a capacidade que a IA já possui para lidar com certos desafios matemáticos.
Terence Tao não acredita que a IA eventualmente substituirá os pesquisadores; ele afirma que, na verdade, é uma ferramenta muito valiosa que permite aos matemáticos ir além da pesquisa individual e colaborar em projetos muito maiores e mais ambiciosos. E ele pratica o que prega. De fato, ele incorporou o Lean em seu fluxo de trabalho diário.
Essa ferramenta é um assistente de provas e uma linguagem de programação projetada para verificar o raciocínio matemático e garantir sua completa correção. Tao é atualmente um dos principais defensores do Lean na comunidade científica.
"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", argumenta Terence Tao. Ele está usando essa tecnologia para enfrentar alguns dos maiores desafios matemáticos, como a conjectura de Collatz e as equações de Navier-Stokes.
Estas últimas constituem um dos Problemas do Milênio e, em linhas gerais, visam compreender o comportamento dos fluidos. Curiosamente, essas equações são constantemente usadas para prever o tempo e projetar aeronaves, entre muitas outras aplicações, mas ainda não entendemos completamente como funcionam. Terence Tao e a IA são um dos nossos maiores trunfos para solucionar definitivamente esse enigma.
Imagem de capa | gerada pelo Xataka com Gemini
Ver 0 Comentários