Pular 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 prova em Lean. A história mais difícil é o que vem depois: revisão, crédito e o poder de enxames privados de agentes na matemática.

Receba novos posts na sua caixa de entrada

Notícias de IA, guias e atualizações do produto — um e-mail curto quando publicarmos algo que vale seu tempo.