OpenAI publica uma prova em Lean para sua alegação sobre Navier–Stokes

A OpenAI publicou um paper e um repositório Lean para um resultado de Navier–Stokes produzido por um sistema multiagente interno. O lançamento torna o artefato de prova inspecionável, enquanto a revisão matemática independente e questões de prioridade continuam separadas. Por que importa: Um artefato público de prova permite separar o anúncio de uma empresa de algo que pode ser verificado. A verificação formal reduz uma incerteza, mas não substitui revisão independente de definições, premissas e relevância.

Para testar: Quando um laboratório anunciar uma descoberta assistida por agentes, abra o paper e o repositório da prova, inspecione ou rode o artefato de verificação e registre separadamente o que foi checado formalmente, revisado de forma independente e ainda está em disputa.