A IA pode ter acabado de desafiar uma das suposições mais fundamentais da ciência da computação. Mas a história maior não é a ETH. Em 26 de outubro, a OpenAI anunciou que um modelo interno de IA produziu uma suposta refutação da Hipótese do Tempo Exponencial (ETH) — uma conjectura fundamental que sustenta centenas de resultados de dificuldade computacional. A afirmação: um algoritmo determinístico de tempo subexponencial para contagem exata de atribuições satisfatórias em fórmulas booleanas de largura fixa. Se correta, a ETH cai. Assim como várias conjecturas mais fortes. Mas P ≠ NP permanece não resolvido. E teoricamente mais rápido não significa necessariamente praticamente útil. A prova foi formalizada em Lean. Um exame independente está sendo organizado por Russell Impagliazzo, Ramamohan Paturi e Ryan Williams do MIT. Sua participação não é uma endosso. A validação independente permanece essencial. Minha perspectiva: estamos potencialmente presenciando três avanços, não apenas um. Matemático: Uma barreira de complexidade computacional de longa data pode ter sido superada. Científico: A IA pode estar passando de auxiliar pesquisadores a gerar conhecimento genuinamente novo. Institucional: A comunidade científica precisa repensar como descobertas são verificadas, compreendidas, creditadas e reproduzidas. O terceiro pode se mostrar o mais consequential. Durante séculos, gerar descobertas de ponta exigia expertise humana escassa e anos de pesquisa. O que acontece quando a IA pode gerar descobertas matemáticas críveis mais rápido do que humanos conseguem validar e compreender independentemente? O gargalo passa da descoberta para a verificação, interpretação e julgamento científico. E, eventualmente, a IA pode acelerar também esses processos. O verdadeiro ponto de inflexão não é a IA resolver um problema famoso. É a IA expandir repetidamente a fronteira do conhecimento humano. Ainda não chegamos lá de forma conclusiva. Mas esse desenvolvimento merece atenção séria. A pergunta já não é mais simplesmente quão inteligente a IA pode se tornar. É se nossas instituições científicas conseguem evoluir rápido o suficiente para avaliar o que a IA descobre. Anúncio da OpenAI: https://t.co/G0p0VEMjlC Artigos de pesquisa e formalizações em Lean: https://t.co/jVif4w5JKB #ArtificialIntelligence #ScientificDiscovery #OpenAI #ComplexityTheory #AIResearch #ComputerScience #FutureOfAI #AgenticAI