Terence Tao acabou de confirmar que a IA ultrapassou o limiar na matemática, e quando um dos maiores matemáticos vivos diz que é real, o debate termina. Tao: “Houve um aumento realmente visível na capacidade. Não é pura hype de forma alguma.” Confirmação direta de alguém que reconheceria instantaneamente se isso estivesse sendo exagerado. A IA na matemática passou de promessa a capacidade operacional. Tao: “Para mim, esses avanços mostram que há uma maneira complementar de fazer matemática.” Não substituição. Modo paralelo operando em uma escala que os humanos não conseguem alcançar fisicamente. Os humanos enfrentam problemas difíceis em pequenos grupos durante meses. Isso permanece. Mas algo mais agora existe ao lado disso. Tao: “Podemos definir a IA para escalar: varrer mil problemas e pegar toda a fruta de fácil acesso. Descobrir todas as maneiras de combinar problemas com métodos.” A IA não pensa mais profundamente. Ela busca mais amplamente. Aplica sistematicamente cada técnica a cada problema. Exploração exaustiva impossível para os humanos. Tao: “Se há 20 técnicas diferentes, aplique todas a 1.000 problemas e veja quais podem ser resolvidos. Essa é a capacidade que está presente hoje.” Vinte técnicas. Mil problemas. Cada combinação testada. Isso são 20.000 tentativas que os humanos precisariam de carreiras para explorar. A IA faz isso sistematicamente. Não é uma capacidade futura. É hoje. Uma nova divisão se materializa. Humanos: foco sustentado em problemas que resistem a métodos conhecidos. IA: correspondência exaustiva de problemas a técnicas em escala industrial. A IA identifica tudo que é solucionável através da aplicação sistemática. Os humanos concentram-se exclusivamente no que requer verdadeira percepção. Não está substituindo a criatividade matemática. Está automatizando a busca que consome séculos de esforço coletivo apenas para descobrir quais problemas se rendem a quais métodos existentes. O progresso acelera não porque a IA prove teoremas difíceis. Mas pela eliminação do tempo humano desperdiçado em problemas que a IA resolve através de aplicação sistemática bruta. ...