Fields Medalist confirma: GPT-5.5 fez pesquisa de PhD em 1 hora
Um Fields Medalist testou o GPT-5.5 em problemas abertos de teoria dos numeros. O modelo produziu prova original digna de tese de doutorado. Sem ajuda humana.
●Termos destacados em verde podem ser clicados para ver uma explicação
Timothy Gowers, um dos matematicos mais respeitados do mundo (, cadeira de no College de France), deu ao GPT-5.5 Pro problemas abertos de teoria dos numeros. O modelo produziu uma prova original que Gowers classificou como um capitulo perfeitamente razoavel de um PhD em combinatoria, e a contribuicao matematica de Gowers foi zero para essa prova.
O experimento comecou com um artigo do matematico Mel Nathanson. Nathanson havia provado um para um dos problemas e deixou em aberto se dava para melhorar. Gowers passou o problema para o GPT-5.5 Pro, sem nenhum prompt especial: apenas o problema e o paper de referencia.
O modelo pensou por 17 minutos e 5 segundos. Entregou a construcao ideal com um limite quadratico. A sacada: substituiu um componente da prova de Nathanson por uma variante mais eficiente, um conceito bem conhecido em combinatoria, mas cuja aplicacao aquele problema especifico nao era obvia. Quando Gowers pediu para transformar o argumento em , o modelo fez em 2 minutos e 23 segundos.
Gowers foi alem. Deu ao modelo um segundo problema, mais dificil, que um estudante do MIT chamado Isaac Rajagopal havia trabalhado antes. Rajagopal tinha provado um limite exponencial. Depois de 16 minutos e 41 segundos, o modelo entregou uma primeira melhoria. Rajagopal considerou correta, mas chamou de modificacao de rotina. Gowers entao pediu algo mais ambicioso. Depois de mais 13 minutos e 33 segundos de raciocinio, o modelo sinalizou otimismo, mas disse que duas afirmacoes tecnicas precisavam de verificacao. Mais 9 minutos e 12 segundos depois, a verificacao estava completa. O final ficou pronto em 31 minutos e 40 segundos. O modelo havia melhorado o limite de exponencial para polinomial.
A reacao de Rajagopal e o que torna essa historia real. Ele chamou a ideia central do modelo de completamente original e disse: E o tipo de ideia que eu teria muito orgulho de ter depois de uma ou duas semanas de reflexao. O ChatGPT levou menos de uma hora para encontrar e provar.
A pergunta que Gowers deixa no ar e: se uma IA ja produz pesquisa de doutorado sem ajuda humana, o que exatamente sobra como dominio exclusivamente humano?
Para quem usa IA no dia a dia, nao e sobre matematica. E sobre o teto da tecnologia ter subido. Se o GPT-5.5 Pro consegue ter insights originais em combinatoria, o mesmo motor esta rodando quando voce pede analise de dados, planejamento estrategico ou revisao de codigo.
Gowers terminou o post com uma frase que merece atencao: Minha contribuicao matematica para este artigo foi zero. Quem diria isso ha dois anos seria chamado de exagerado. Hoje, a frase veio de um medalha Fields.