Um terapeuta autodidata e uma sessão de IA de 16 horas resolveram um dos problemas em aberto da matemática aplicada.
Em Breve
Um neurocirurgião de Pequim usou GPT-5.6 para provar uma conjectura matemática de 20 anos, sinalizando uma mudança em quem pode produzir — e verificar — pesquisas.
Shanmu Jin, pesquisador de pós-doutorado e residente em neurocirurgia no Hospital do Peking Union Medical College, em Pequim, comprovou a Conjectura de Crouzeix — um problema de análise matricial que permanecia em aberto há mais de duas décadas. O argumento decisivo não surgiu de um departamento de matemática: emergiu durante uma execução autônoma de 16 horas de... GPT-56 Sol dentro ChatGPT Modo de trabalho, guiado por um comando cuidadosamente elaborado que o próprio Jin criou.
Jin chegou ao problema por um caminho não linear. Sua formação de graduação foi em geologia; posteriormente, ele obteve um diploma em medicina e construiu seu conhecimento matemático por meio de estudo autodirigido, inicialmente motivado por pesquisas sobre ultrassom transcraniano. A Conjectura de Crouzeix, formulada em 2004, trata da relação entre a norma espectral de uma matriz e o máximo de um polinômio em seu intervalo numérico — uma região convexa compacta do plano complexo que captura mais do comportamento de uma matriz do que seus autovalores isoladamente. Sua resolução tem aplicações diretas na análise de funções matriciais, em solucionadores iterativos como o GMRES e em métodos racionais de Krylov.
Em vez de interagir com o modelo, Jin executou uma sessão autônoma prolongada usando uma arquitetura de instruções adaptada de outra. OpenAI O modelo havia sido desenvolvido para um resultado matemático anterior, a conjectura da Cobertura Dupla de Ciclos. A configuração negava acesso à internet ao modelo. Utilizava subagentes concorrentes, encarregados de desenvolver e testar independentemente diferentes estratégias de prova, com instruções explícitas contra convergência prematura e a exigência de falsificar argumentos candidatos apenas por meio de contraexemplos concretos. O modelo foi instruído a continuar até que uma prova completa sobrevivesse à revisão interna adversarial. O preprint resultante, publicado em 27 de julho de 2026, inclui o enunciado completo, manuscritos de versões preliminares sucessivas, uma formalização Lean e uma auditoria de axiomas.
Confirmação por pares e a questão de quem faz matemática agora.
A demonstração foi revisada e confirmada pelo matemático Alex Townsend, da Universidade Cornell, pela analista numérica Anne Greenbaum e pelo próprio Michel Crouzeix — o autor original da conjectura. A revisão formal por pares está em andamento. Oito dias após a publicação da pré-publicação inicial, os matemáticos Emiel Lorist e Felix Schwenninger publicaram uma demonstração independente de cinco páginas usando um método diferente, combinando a teoria clássica do potencial de dupla camada com um lema de perturbação para 2-dilatações. Jin acolheu o resultado paralelo como um complemento ao seu próprio trabalho.
O episódio torna visível uma mudança estrutural na pesquisa matemática que é difícil de ignorar. Quando um problema em aberto desde 2004 é resolvido por um clínico autodidata usando uma ferramenta de IA para o consumidor, as barreiras para a obtenção de novos resultados diminuem substancialmente — enquanto a expertise necessária para verificar esses resultados torna-se correspondentemente mais concentrada e mais valiosa.
Para o campo da IA, o caso oferece uma demonstração concreta do que os modelos de linguagem de ponta podem realizar quando recebem tarefas autônomas bem estruturadas e tempo computacional suficiente. Resta saber se a comunidade matemática possui a infraestrutura necessária para absorver o volume de resultados que poderão surgir.
Aviso Legal
Em linha com a Diretrizes do Projeto Trust, observe que as informações fornecidas nesta página não se destinam e não devem ser interpretadas como aconselhamento jurídico, tributário, de investimento, financeiro ou qualquer outra forma. É importante investir apenas o que você pode perder e procurar aconselhamento financeiro independente se tiver alguma dúvida. Para mais informações, sugerimos consultar os termos e condições, bem como as páginas de ajuda e suporte fornecidas pelo emissor ou anunciante. MetaversePost está comprometida com relatórios precisos e imparciais, mas as condições de mercado estão sujeitas a alterações sem aviso prévio.
Sobre o autor
Alisa, jornalista dedicada do MPost, é especializada em criptomoedas, IA, investimentos e no vasto campo de Web3. Com um olhar atento às tendências e tecnologias emergentes, ela oferece uma cobertura abrangente para informar e envolver os leitores no cenário em constante evolução das finanças digitais.
Mais artigos
Alisa, jornalista dedicada do MPost, é especializada em criptomoedas, IA, investimentos e no vasto campo de Web3. Com um olhar atento às tendências e tecnologias emergentes, ela oferece uma cobertura abrangente para informar e envolver os leitores no cenário em constante evolução das finanças digitais.
