Terence Tao acabou de confirmar que a IA ultrapassou o limiar em matemática, e quando um dos maiores matemáticos vivos diz que ela é real, o debate termina. Tao: "Houve um aumento muito visível na capacidade. Não é puro hype de forma alguma." Confirmação direta de alguém que reconheceria instantaneamente se isso fosse exagerado. A IA em matemática passou da promessa para a capacidade operacional. Tao: "Para mim, esses avanços mostram que existe uma forma complementar de fazer matemática." Não substituição. Modo paralelo operando em escala que humanos não conseguem alcançar fisicamente. Os humanos enfrentam problemas difíceis em pequenos grupos por meses. Isso fica. Mas agora existe algo mais junto com ele. Tao: "Podemos ajustar a IA para escalar: varrer mil problemas e pegar todos os frutos mais acessíveis. Descubra todas as formas de relacionar problemas com métodos." A IA não pensa mais fundo. Ele busca mais amplo. Aplica sistematicamente todas as técnicas a cada problema. Exploração exaustiva impossível para humanos. Tao: "Se existem 20 técnicas diferentes, aplique-as todas a 1.000 problemas e veja quais podem ser resolvidas. Essa é a capacidade que está presente hoje." Vinte técnicas. Mil problemas. Todas as combinações testadas. São 20.000 tentativas que os humanos precisariam de carreiras para explorar. A IA faz isso de forma sistemática. Não capacidade futura. Hoje. Uma nova divisão se materializa. Humanos: foco contínuo em problemas que resistem a métodos conhecidos. IA: correspondência exaustiva de problemas com técnicas em escala industrial. A IA identifica tudo que pode ser solucionado por meio de aplicação sistemática. Os humanos se concentram exclusivamente no que exige insight real. Não substituindo a criatividade matemática. Automatizar a busca consumindo séculos de esforço coletivo, apenas para encontrar quais problemas cedem a quais métodos existentes. O progresso acelera não por causa da IA provando teoremas difíceis. Desde eliminar o tempo humano desperdiçado em problemas, a IA resolve por meio de aplicações sistemáticas e brutas. ...