Saltar para o conteúdo

Blog

OpenAI

Notícias, lançamentos de modelos e guias práticos sobre a OpenAI: GPT, Sora e a API da OpenAI.

Abstract fluid vortex with geometric proof structures and a glowing verification grid.
openai12 min de leitura

A alegação da OpenAI sobre a prova de Navier–Stokes, explicada

A OpenAI diz que agentes de IA encontraram uma singularidade de Navier–Stokes e formalizaram a demonstração em Lean. A história mais difícil é o que acontece a seguir: revisão, crédito e o poder dos enxames privados de agentes na matemática.

Receba novos artigos na sua caixa de entrada

Notícias de IA, guias e novidades do produto — um email curto quando publicarmos algo que valha o seu tempo.