Há quase um século, as equações de Navier-Stokes resistem a todas as tentativas humanas de prova formal — um silêncio matemático que a OpenAI afirma ter finalmente rompido. A empresa anunciou ter resolvido um dos sete Problemas do Milênio, desafio que carrega não apenas um prêmio de um milhão de dólares, mas o peso de gerações de matemáticos frustrados. Se confirmada, a solução marcaria um momento singular na história do pensamento humano: o instante em que máquinas responderam ao que mentes humanas não conseguiram. A comunidade científica, porém, reserva seu veredicto para depois da revisão f