MADRID 9 set. (EUROPA PRESS) -
O artigo de pesquisa publicado em 2023 pelo professor da CUNEF Universidad, Luis Martínez Zoroa, em coautoria com Diego Córdoba (ICMAT-CSIC), foi reconhecido como uma das bases intelectuais que permitiram avançar na resolução do problema de Navier-Stokes, um dos grandes desafios matemáticos do século XXI, conforme informou a instituição de ensino.
Trata-se de um dos seis Problemas do Milênio ainda pendentes de resolução, propostos pelo Clay Mathematics Institute no ano 2000. Conforme relata a revista científica Quanta Magazine, os resultados recentes obtidos por equipes que utilizam inteligência artificial — entre elas a OpenAI e outros pesquisadores internacionais — basearam-se significativamente no trabalho prévio desenvolvido por Luis Martínez Zoroa e Diego Córdoba.
Ambos os pesquisadores haviam proposto uma estratégia para abordar o problema que se afastava dos métodos predominantes empregados até então por grande parte da comunidade matemática. O problema de Navier-Stokes refere-se a equações diferenciais fundamentais para descrever o comportamento dos fluidos, desde as correntes oceânicas até os fluxos de ar.
Embora essas equações tenham sido formuladas no século XIX e constituam uma ferramenta central na mecânica dos fluidos, uma questão essencial permanecia em aberto: se suas soluções permanecem sempre regulares ou se, sob determinadas condições, podem desenvolver uma singularidade, ou seja, um comportamento extremo no qual uma parte infinitesimal do fluido evolui de forma descontrolada.
O artigo explica que a contribuição de Martínez Zoroa e Córdoba foi especialmente relevante porque abriu um caminho analítico distinto, baseado na construção de uma sequência infinita de “camadas” ou soluções não singulares que, ao se combinarem no que Martínez Zoroa denomina uma “cascata infinita”, permitiam gerar uma nova solução com singularidade.
Embora aquele trabalho, por si só, não resolvesse todos os requisitos estabelecidos para o Problema do Milênio — em particular, a necessidade de garantir determinadas condições de suavidade —, ele apresentou uma estratégia que foi posteriormente aproveitada pelas equipes que anunciaram os avanços atuais.
“Esse reconhecimento destaca o valor da pesquisa matemática e a importância de gerar conhecimento original capaz de abrir novos caminhos em problemas considerados, durante décadas, praticamente insolúveis”, destaca Luis Martínez Zoroa.
A relevância do trabalho de Martínez Zoroa foi reconhecida por membros de destaque da comunidade matemática. A revista científica Quanta Magazine cita Charles Fefferman, da Universidade de Princeton e autor da descrição oficial do problema de Navier-Stokes para o Clay Mathematics Institute, que afirma que “os heróis da história” são Córdoba e Martínez Zoroa.
Na mesma linha, Tristan Buckmaster, pesquisador da Universidade de Nova York, afirma em uma declaração publicada pela revista que, à luz desse conjunto de trabalhos, Luis Martínez-Zoroa “merece uma Medalha Fields”.
O avanço anunciado pela OpenAI consiste em uma prova formalizada por meio do Lean, uma linguagem utilizada para verificar demonstrações matemáticas, que apontaria para a existência de singularidades nas equações de Navier-Stokes tridimensionais.
Se confirmado após a necessária análise da comunidade científica, este seria um dos marcos matemáticos mais importantes alcançados com o apoio de modelos de inteligência artificial até o momento.
Esta notícia foi traduzida por um tradutor automático