Terence Tao, um dos matemáticos mais respeitados do mundo, disse estar em “estado de guerra” após anúncios da OpenAI sobre avanços em matemática. 🧠⚡ A notícia expõe uma virada fascinante — e cheia de perguntas — para a ciência. 🧵

Imagem indisponível

Segundo a reportagem, a OpenAI divulgou soluções e centenas de descobertas em diferentes áreas matemáticas, incluindo uma alegação sobre Navier-Stokes, um dos Problemas do Milênio. Se confirmados, resultados assim exigem escrutínio rigoroso e independente.

Navier-Stokes descreve o movimento de fluidos: do ar em volta de aviões ao sangue nos vasos e às correntes oceânicas. O problema não é apenas fazer contas; é provar, de modo formal, se certas soluções sempre se comportam bem.

Imagem indisponível

É por isso que a reação de Tao importa. Em matemática, uma resposta poderosa só vira conhecimento quando especialistas conseguem verificar cada passo, reproduzir a prova e localizar possíveis falhas. Velocidade sem validação não encerra o debate.

Tao já usa IA para cálculos, código, buscas bibliográficas e exploração de ideias. O cenário mais promissor não é “máquinas contra matemáticos”, mas ferramentas que ampliem a criatividade humana e liberem tempo para perguntas ainda mais profundas.

Imagem indisponível

Ao mesmo tempo, a transformação pode pesar mais sobre estudantes e pesquisadores em início de carreira. Universidades, financiadores e laboratórios terão de atualizar formação, crédito acadêmico e avaliação — para que a IA abra portas, não concentre oportunidades.

A grande notícia não é o fim da matemática. É o começo de uma nova fase: IAs podem acelerar conjecturas e provas, enquanto pessoas preservam o rigor, o contexto e a imaginação. Se a ciência mantiver transparência, essa parceria pode multiplicar descobertas. ✨

Imagem indisponível