OpenAI afirma ter alcançado um avanço no problema do Prêmio Millennium de Navier–Stokes: como a IA encontrou em 88 horas uma prova de uma singularidade em tempo finito