Tristan Buckmaster, da Universidade da Nova York, e Levent Alpöge, da Universidade de Harvard, juntamente com a empresa de IA Anthropic, anunciaram avanços significativos em um dos problemas matemáticos mais antigos, conhecidos como equações Navier-Stokes.

Avanços em equações relacionadas

Através de um documento publicado online, eles apresentaram três resultados importantes: dois já publicados com formalização Lean e um ainda em desenvolvimento. Os resultados se referem a equações próximas das Navier-Stokes, como Boussinesq aproximação e as equações de Euler, mas ainda não foram generalizados para o problema completo.

Inteligência Artificial como auxiliar

O trabalho foi realizado com 'grande ajuda' de modelos de linguagem de grande porte da Anthropic e OpenAI, permitindo chegar a conclusões que seriam mais difíceis de alcançar sem essa assistência.