Matemática

OpenAI afirma ter produzido prova para problema de Navier-Stokes

Empresa diz que sistema interno demonstrou a formação de uma singularidade em tempo finito e formalizou a prova em Lean.