Título: O problema de Navier–Stokes, a solução da OpenAI e os impactos da IA na Matemática profissional