timothy gowers, professor da universidade de cambridge e vencedor da medalha fields, revelou recentemente em seu blog uma experiência surpreendente: utilizando o ainda não lançado chatgpt 5.5 pro, ele resolveu em apenas uma hora um antigo problema aberto da matemática combinatória que há décadas intrigava a comunidade matemática. durante anos, a academia costumava acreditar que a capacidade dos grandes modelos de lidar com matemática avançada se limitava à “recitação” — isto é, à recuperação de literatura ou à imitação de derivações já conhecidas. no entanto, este teste derrubou completamente esse preconceito. gowers constatou que esse modelo beta interno não apenas identificou argumentos concisos ignorados por especialistas humanos, como também conseguiu construir, de forma independente, estruturas de prova altamente originais, sem depender de suporte teórico pré‑existente.
o alvo dessa descoberta foi um desafiador problema de teoria aditiva dos números, relacionado à estimativa do limite superior do diâmetro de conjuntos soma. anteriormente, isaac rajagopal, estudante do mit, havia demonstrado que esse limite crescia exponencialmente. sob a orientação de gowers, o modelo inicialmente melhorou a estimativa do limite superior em apenas 16 minutos e, em seguida, identificou de forma autônoma proposições-chave para verificação. após cerca de uma hora de autocorreção, apresentou finalmente uma prova completa. ao analisá-la, isaac rajagopal observou que a estrutura lógica era impecavelmente sólida, com ideias centrais tanto originais quanto engenhosas — conquistas que deixariam qualquer matemático humano orgulhoso, mesmo após semanas de esforço.
À medida que a ia demonstra capacidades de pesquisa original de nível doutoral, a ética acadêmica e os sistemas educacionais enfrentam desafios profundos. gowers ressalta que esses resultados atendem plenamente aos padrões exigidos para publicação em revistas de alto nível; no entanto, a plataforma de pré‑impressão arxiv recusa explicitamente o conteúdo gerado por ia, o que pode deixar importantes avanços presos em um “gargalo de comunicação”. ao mesmo tempo, problemas abertos de dificuldade média, antes utilizados para treinar estudantes de doutorado, agora podem ser resolvidos pela ia em menos de uma hora, obrigando os pesquisadores humanos a buscar questões cada vez mais profundas e complexas. com a pesquisa introdutória sendo cada vez mais terceirizada para a ia, onde reside exatamente a vantagem competitiva central dos matemáticos humanos? essa revolução tecnológica está redefinindo os limites da inteligência humana.
