Tristan Buckmaster, da Universidade da Nova York, e Levent Alpöge, da Universidade de Harvard, juntamente com a empresa de inteligência artificial Anthropic, anunciaram avanços significativos em um dos problemas matemáticos mais antigos e complexos do mundo, conhecido 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. Estes resultados se referem a equações relacionadas às Navier-Stokes, como a Boussinesq aproximação e as equações de Euler, mas ainda não foram generalizados para o problema completo das Navier-Stokes.

Inteligência Artificial e progresso matemático

Buckmaster enfatizou que a colaboração com a inteligência artificial foi crucial para alcançar esses avanços. Ele comparou o papel da IA neste projeto a um momento histórico, citando a vitória de um computador IBM sobre o campeão de xadrez Garry Kasparov.