Neurocirurgião usa ChatGPT 5.6 para resolver problema de matemática de 22 anos do sofá de casa

Em julho de 2026, um residente de neurocirurgia de Pequim chamado Jin Shanmu fez algo que surpreendeu o mundo da matemática: resolveu um problema em aberto de 22 anos em álgebra linear numérica. Seu principal assistente de pesquisa? O GPT-5.6-Sol da OpenAI, executado autonomamente por cerca de 16 horas na plataforma ChatGPT Work — sem qualquer intervenção humana após a configuração inicial .

Jin é pesquisador de pós-doutorado e residente de neurocirurgia no Peking Union Medical College Hospital. Ele não tem formação formal em matemática avançada — sua graduação é em geologia, e ele possui um doutorado em medicina . Ele encontrou o problema originalmente enquanto estudava por conta própria a teoria matemática necessária para pesquisas em ultrassom transcraniano cerebral, onde normas de operadores e intervalos numéricos surgem naturalmente .

O problema que ele resolveu é a Conjectura de Crouzeix, proposta pelo matemático francês Michel Crouzeix em 2004. A conjectura afirma que, para qualquer matriz complexa quadrada A e polinômio p, a norma do operador ||p(A)|| é no máximo o dobro do valor máximo de |p| sobre o intervalo numérico W(A) . A constante exata de 2 permaneceu em aberto por 22 anos; limites anteriores haviam alcançado apenas cerca de 2,414 .

Como Jin Shanmu configurou a execução autônoma

A abordagem de Jin não foi uma simples consulta ao ChatGPT. Ele projetou um sistema de raciocínio autônomo, inspirando-se no sucesso anterior da OpenAI na conjectura Cycle Double Cover . Sua estratégia de prompt incluiu quatro instruções principais:

1. Ambiente isolado (air-gapped): O modelo foi instruído a operar em um ambiente fisicamente desconectado para forçar o raciocínio puramente original, impedindo-o de se basear em soluções existentes ou provas conhecidas .
2. Exploração paralela multiagente: Ele lançou várias instâncias de agente para explorar diferentes caminhos de solução em paralelo, evitando que o sistema convergisse prematuramente para uma única abordagem falha .
3. Auditoria adversarial: Ele aplicou auditoria adversarial às estratégias candidatas — a IA foi instruída a criticar seu próprio raciocínio e testar suas provas contra contraexemplos .
4. Sem parada precoce: Ele ordenou que o modelo não parasse até que uma prova completa fosse obtida .

Após iniciar a execução, Jin deixou o sistema trabalhar. "Ele travou o modelo sem acesso à web, iniciou e saiu. Dezesseis horas depois, tinha a prova", de acordo com relatos . Durante essas 16 horas, o GPT-5.6-Sol executou milhares de ciclos de geração, teste e refinamento de hipóteses .

A prova e sua verificação

O resultado foi uma prova de que a Conjectura de Crouzeix é verdadeira: a constante 2 está correta. A prova foi publicada como preprint em 27 de julho de 2026, com o título The Numerical Range Is a 2-Spectral Set .

O processo de verificação foi rigoroso. O próprio Michel Crouzeix — o matemático que originalmente propôs a conjectura em 2004 — revisou o argumento e confirmou que está correto . Analistas numéricos também examinaram a prova . Jin adicionalmente publicou todos os materiais de pesquisa no GitHub, incluindo o artigo final, prompts, rascunhos de iteração, código de prova formal em Lean 4 e relatórios de auditoria .

O que isso significa para a pesquisa impulsionada por IA

A conquista de Jin é notável não apenas pela dificuldade do problema, mas por sua formação e metodologia. Um residente de neurocirurgia sem diploma formal em matemática avançada, usando um modelo de IA autonomamente por 16 horas, resolveu um problema que frustrava matemáticos há duas décadas.

A história destaca um novo modo de pesquisa: humanos projetam as condições experimentais e a estrutura de raciocínio, enquanto modelos de IA executam exploração autônoma em grande escala do espaço matemático. É uma demonstração concreta de que a IA pode servir como uma parceira de pesquisa genuína em matemática — não apenas uma ferramenta para computação ou busca, mas um sistema capaz de gerar provas inovadoras.

Se essa abordagem se tornará um método padrão na pesquisa matemática, ainda está para ser visto. Mas, por enquanto, o resultado de Jin Shanmu se destaca como um dos exemplos mais impressionantes de descoberta auxiliada por IA em 2026.