Em 8 de setembro de 2026, Open AI anunciou uma solução gerada por IA ao problema da existência e suavidade de Navier–Stokes, um dos sete problemas do Milênio. O anúncio gerou debate sobre a alocação de crédito entre humanos e máquinas, com Tristan Buckmaster chamando-o de "momento Deep Blue–Kasparov". Surgiram perguntas existenciais sobre se as matemáticas estão prestes a ser "resolvidas" como xadrez e Go.

A narrativa de que a IA "resolveu" as matemáticas baseia-se em duas suposições errôneas: de que a IA realmente resolveu um problema matemático, e de que as matemáticas são apenas sobre resolver problemas. Apenas fornecer uma resposta—mesmo que certificada formalmente—não é suficiente sem uma prova inteligível que matemáticos humanos possam entender e construir sobre ela.

As matemáticas são muito mais amplas do que resolver problemas. Os matemáticos desenvolvem novos conceitos, fazem perguntas inéditas, unem áreas, educam comunidades e criam obras valorizadas pela beleza e profundidade. Em vez de recuar para "continuar jogando", devemos rejeitar caracterizar as matemáticas como um jogo e, em vez disso, examinar o que as matemáticas realmente são e o que queremos que sejam.

Open AI produziu uma resposta—sim, Navier–Stokes pode desenvolver uma singularidade—juntamente com uma formalização Lean e um manuscrito informal. Embora mais do que o "42" do Deep Thought, continua insatisfatório porque a prova em si tem múltiplas noções, e o entendimento subjacente permanece incompleto.

Entidades-chave: Empresas: Open AI | Pessoas: Silvia De Toffoli, Eamon Duede, Tristan Buckmaster, C. Thi Nguyen | Locais: University School for Advanced Studies IUSS Pavia, Princeton University, Purdue University

Perguntas frequentes: Quais são as duas suposições errôneas na narrativa de que a IA resolveu as matemáticas?

A primeira é que a IA realmente resolveu um problema matemático—apenas fornecer uma resposta—mesmo que certificada formalmente—não é suficiente sem uma prova inteligível que matemáticos humanos possam entender e usar. A segunda é que as matemáticas são apenas sobre resolver problemas, quando na realidade engloba o desenvolvimento de conceitos, fazer perguntas inéditas, unificar áreas, educar comunidades e criar obras valorizadas pela beleza e profundidade.