Pesquisadores acadêmicos e cientistas da Anthropic e OpenAI utilizaram modelos de raciocínio de IA para avançar na análise teórica das equações de Navier-Stokes, um dos Problemas do Milênio da matemática, demonstrando a aplicação prática de IA em descobertas científicas complexas.