Atenção, entusiastas da matemática e curiosos de plantão! Uma verdadeira revolução nos cálculos acabou de acontecer. Nesta terça-feira (8), matemáticos da OpenAI deram um passo gigante rumo à solução de um dos seis desafiadores Problemas do Milênio: as enigmáticas equações de Navier-Stokes. E adivinha? Parece que elas podem, sob certas condições, dar origem a uma singularidade em três dimensões! Após uma colaboração épica envolvendo nada menos que 10 mil agentes autônomos de inteligência artificial, essa demonstração foi formalmente confirmada na linguagem Lean. Comprovando sua veracidade, essa descoberta pode encerrar uma questão que persegue os matemáticos há mais de um século e pode ser, sem sombra de dúvidas, a mais impactante prova matemática obtida com o auxílio da IA.
Quando um fluido idealizado “explode”
Agora, vamos entender o que está acontecendo! As equações de Navier-Stokes, que surgiram lá no século 19, aplicam a segunda lei de Newton ao movimento de fluidos, cobrindo tudo, desde correntes oceânicas até o deslocamento do ar. Mas aqui está o mistério: será que suas soluções são sempre “gentis” ou podem, em um momento de loucura, evoluir para uma região infinitamente pequena que alcança velocidade ilimitada? É exatamente isso que os matemáticos chamam de blowup, ou, se preferir, a explosão da solução!
Calma! Isso não quer dizer que água, ar ou qualquer fluido possa, de fato, atingir velocidade infinita. As equações consideram a matéria como um meio contínuo, que poderia ser dividido para sempre, enquanto os fluidos que temos por aí são formados por moléculas e átomos. Essa descoberta é fascinante porque mostra que até mesmo nesse modelo idealizado, as leis físicas familiares podem levar a comportamentos surpreendentes. Ou seja, a matemática da turbulência pode ser muito mais estranha do que você imagina.
E não para por aí! O problema proposto pelo Clay Mathematics Institute exige que a gente pense em um espaço tridimensional sem limites e forças externas suaves. Essas condições tornam inadequadas as antigas demonstrações envolvendo recipientes com bordas ou forças artificiais que causam resultados excepcionais. A viscosidade, por sua vez, é como a cereja do bolo, pois, ao contrário das equações de Euler (que estudam fluidos sem atrito), as de Navier-Stokes incorporam a resistência que encontramos em substâncias como água e mel.
Por anos, a ideia de uma singularidade nesse sistema parecia coisa de filme de ficção científica. “Dez anos atrás, ninguém acreditava que houvesse uma singularidade para Navier-Stokes”, contou Diego Córdoba, pesquisador do Instituto de Ciências Matemáticas de Madri. No entanto, a percepção dos matemáticos começou a mudar após uma série de estudos sobre as equações de Euler, incluindo um trabalho publicado em 2019 sobre singularidades. Esse avanço fortaleceu a hipótese de que resultados semelhantes poderiam ocorrer na versão com viscosidade.
Uma estratégia humana ampliada por milhares de agentes
A solução revelada pela OpenAI se apoia fortemente em uma estratégia que surgiu na mente brilhante de Córdoba e Luis Martínez-Zoroa, da Universidade CUNEF. Ao invés de se apoiar apenas em simulações numéricas, os pesquisadores optaram por desenvolver técnicas analíticas que exploram uma sequência infinita de camadas. Cada camada traz uma solução regular; ao serem combinadas em uma “cascata infinita”, elas criam uma nova solução que se torna singular!
Em 2023, essa dupla já tinha provado que uma versão das equações de Euler sob uma força externa mais instável poderia se transformar em uma singularidade, em um estudo que ajudou a fundamentar essa nova conquista. Os agentes de IA desempenharam um papel vital, ampliando essa estratégia para atender às exigências do problema de Navier-Stokes, que inclui a ausência de fronteiras e a aplicação de uma força suave.
E aqui vai o “complemento” da história! O anúncio feito pela OpenAI chegou apenas 12 horas após Tristan Buckmaster, da Universidade de Nova York, e Levent Alpöge, da Anthropic, divulgarem resultados semelhantes com diferentes modelos de IA. Essa temporização gerou um burburinho bastante interessante, gerando debates sobre prioridade e quem deve receber os créditos. Charles Fefferman, um matemático de Princeton que é a voz oficial do problema, destacou que os verdadeiros protagonistas dessa trama são Córdoba e Martínez-Zoroa. A verificação em Lean oferece um suporte robusto para a correção, mas só o tempo e a aprovação da comunidade científica poderão validar essa descoberta impressionante.
Fonte original: socientifica.com.br