Em 24 de julho, Deng Yu, vencedor da Medalha Fields de 2026 e professor da Universidade de Chicago, revelou recentemente em uma entrevista:Ele usa ferramentas auxiliares de IA em pesquisas matemáticas,Certa vez, o GPT ajudou a resolver um caso matemático especial que não conseguiu ser resolvido por vários dias.
Deng Yu disse que sua sensação ao usar IA é que "tornou muitos links de pesquisa muito mais convenientes". Para algumas conclusões simples que são basicamente certas como verdadeiras, ele permitirá que a IA forneça provas e depois as verifique; Às vezes, a IA pode complementar conhecimentos que não conhece, como estruturas existentes ou conclusões padrão correspondentes a um determinado problema de contagem combinatória.
Deng Yu revelou que em um trabalho recente, houve um caso especial de uma proposição principal que ele não conseguiu resolver por vários dias seguidos. A GPT deu uma prova muito simples e resolveu rapidamente o caso especial. Embora esta prova não possa ser generalizada para situações gerais e não tenha sido incluída no artigo final, ela fornece ideias valiosas.
Deng Yu disse:Mesmo que a IA não consiga completar diretamente a prova final, ela pode ajudar os pesquisadores a explorar rapidamente as rotas locais. Ele espera um método de colaboração mais maduro no futuro: os pesquisadores humanos são responsáveis pela estrutura geral e pelas ideias centrais, e a IA ajuda a completar algumas derivações técnicas. Mas ele também enfatizou que os alunos que acabaram de ingressar na pesquisa científica ainda devem exercer julgamento ao utilizá-la, “Só porque a IA fornece um argumento aparentemente completo, não podemos ignorar os passos necessários de julgamento independente e verificação rigorosa.”.