matemática

OpenAI anuncia possível singularidade nas equações de Navier-Stokes

Demonstração foi produzida com agentes de IA e verificada na linguagem Lean, mas ainda passará por análise da comunidade científica.