ChatGPT 5.5 produziu investigação matemática de nível PhD, diz Timothy Gowers

Resumo

Timothy Gowers, matemático britânico e medalha Fields, publicou uma experiência em que ChatGPT 5.5 Pro produziu aquilo que descreve como investigação matemática de nível PhD em cerca de uma hora. O trabalho surgiu no contexto de problemas em teoria aditiva dos números, relacionados com tamanhos possíveis de conjuntos de somas.

Segundo Gowers, o modelo não se limitou a recuperar resultados existentes. Depois de alguns pedidos, apresentou uma construção que melhorava limites conhecidos e escreveu a ideia em formato semelhante ao de uma nota matemática. Isaac Rajagopal, estudante do MIT cujo trabalho estava ligado ao problema, avaliou a ideia como original, inteligente e muito provavelmente correta.

Na prática

O caso é relevante porque desloca a conversa sobre modelos de linguagem. A pergunta deixa de ser apenas se a IA consegue resolver exercícios difíceis ou explicar conceitos complexos. Aqui, o ponto é se consegue contribuir para investigação nova, propor uma construção útil e produzir argumentos que especialistas consideram plausíveis.

Gowers sublinha que a sua contribuição matemática foi mínima. O modelo explorou caminhos, escreveu demonstrações e reformulou resultados com pouca orientação técnica. Isto não significa que a investigação matemática passe a ser automática, nem que resultados gerados por IA possam dispensar revisão humana rigorosa. Mas mostra que a colaboração entre investigadores e modelos avançados pode tornar-se muito mais profunda.

Contexto

A matemática tem sido uma das áreas mais difíceis para modelos de linguagem, porque exige precisão formal, raciocínio longo e verificação cuidadosa. Ainda assim, os modelos recentes têm mostrado progressos em problemas de olimpíadas, demonstrações assistidas e exploração de conjecturas.

O episódio relatado por Gowers é importante precisamente por vir de uma fonte altamente credível e por envolver avaliação externa de alguém próximo do problema. Não é uma demonstração de que a IA substitui matemáticos. É um sinal de que ferramentas de IA podem começar a funcionar como parceiras de investigação em áreas onde a criatividade formal e a verificação especializada andam juntas.

Porque importa

• A IA começa a mostrar capacidade para sugerir ideias originais em investigação científica avançada.
• O valor pode estar menos em respostas finais e mais em acelerar exploração, escrita e reformulação de hipóteses.
• A revisão humana continua essencial, especialmente em matemática e ciência formal.
• Universidades e empresas terão de repensar formação, autoria e colaboração entre humanos e modelos.

A leitura mais prudente é esta: o episódio não encerra a discussão sobre IA e investigação. Abre-a. Se modelos avançados conseguirem produzir ideias matemáticas verificáveis, a próxima etapa será perceber como integrar essas contribuições de forma responsável no trabalho científico.