ALERTA: A OpenAI $WLD usou $15 MILHÕES em tokens para resolver este mistério matemático de 90 anos.
As equações de Navier–Stokes descrevem como os fluidos se movem, do movimento da água num copo até o ar escoando sobre uma asa.
O mistério é saber se um escoamento 3D suave pode permanecer estável para sempre, ou se encolhe para uma singularidade em que a velocidade se torna infinita em tempo finito.
A OpenAI implantou 10.000 agentes de IA coordenadores, o que custaria a um usuário comum $15M em tokens, em conjunto com um modelo de próxima geração. O sistema primeiro resolveu uma versão mais simples antes de produzir um resultado completo em apenas 88 horas.
A solução proposta identifica um vórtice que se espirala para dentro e se alonga até o escoamento falhar, enquanto a energia total permanece finita.
A prova então foi verificada formalmente em Lean, permitindo que um computador conferisse cada etapa lógica.
O problema traz um prêmio de 1 MILHÃO do Clay Mathematics Institute, que a OpenAI diz que não vai aceitar.
#WLD #AI
As equações de Navier–Stokes descrevem como os fluidos se movem, do movimento da água num copo até o ar escoando sobre uma asa.
O mistério é saber se um escoamento 3D suave pode permanecer estável para sempre, ou se encolhe para uma singularidade em que a velocidade se torna infinita em tempo finito.
A OpenAI implantou 10.000 agentes de IA coordenadores, o que custaria a um usuário comum $15M em tokens, em conjunto com um modelo de próxima geração. O sistema primeiro resolveu uma versão mais simples antes de produzir um resultado completo em apenas 88 horas.
A solução proposta identifica um vórtice que se espirala para dentro e se alonga até o escoamento falhar, enquanto a energia total permanece finita.
A prova então foi verificada formalmente em Lean, permitindo que um computador conferisse cada etapa lógica.
O problema traz um prêmio de 1 MILHÃO do Clay Mathematics Institute, que a OpenAI diz que não vai aceitar.
#WLD #AI
