Neurocirurgião de Pequim surpreende a comunidade científica ao provar com sucesso a famosa conjectura de Crouzeix utilizando o ChatGPT.
Resumo
Um neurocirurgião de Pequim surpreendeu a comunidade científica global ao provar com sucesso a conjectura de Crouzeix, um problema desafiador de álgebra linear e análise funcional que permaneceu sem solução por mais de duas décadas. A conquista foi alcançada com auxílio direto de um modelo avançado de inteligência artificial, o GPT‑5.6, operando de forma autônoma por 16 horas.
O Dr. Jin Shanmu, pesquisador de pós-doutorado e residente no Hospital da Universidade Médica da União de Pequim, encontrou o problema enquanto estudava métodos matemáticos aplicados ao ultrassom transcraniano. Sua formação não incluía matemática avançada — tudo além do básico foi autodidata.
A solução, provisoriamente validada por matemáticos de renome, demonstra que modelos de IA podem auxiliar na formulação de provas rigorosas, inaugurando uma nova era de colaboração entre humanos e sistemas de raciocínio algorítmico.
O desenvolvimento da pesquisa
A conjectura de Crouzeix, formulada em 2004 pelo matemático francês Michel Crouzeix, afirma que para qualquer matriz quadrada complexa \(A\) e qualquer função analítica \(f\) definida no domínio numérico \(W(A)\), vale a desigualdade:
\(\|f(A)\| \leq 2 \max_{z \in W(A)} |f(z)|\).
Em termos simples, isso significa que o comportamento de uma função aplicada a uma matriz nunca ultrapassa o dobro do valor máximo dessa função no conjunto geométrico formado por todos os produtos internos \(x^*Ax\).
O domínio numérico é uma região convexa no plano complexo que captura propriedades profundas de matrizes não normais — muito além do que os autovalores revelam. A conjectura é central em áreas como métodos iterativos, análise espectral, física computacional e teoria de operadores.
Ao longo dos anos, avanços parciais foram obtidos: em 2007, Crouzeix provou que a constante 11,08 era suficiente; em 2017, Crouzeix e Palencia reduziram o limite para \(1 + \sqrt{2} \approx 2,414\). Mas alcançar o valor exato 2 permaneceu fora do alcance até 2026.
Jin Shanmu adaptou um “prompt” avançado usado pela OpenAI em outros desafios matemáticos, criando um ambiente fechado sem acesso à internet, com múltiplos subagentes e auditorias adversariais. O GPT‑5.6 passou 16 horas gerando, testando e descartando hipóteses até produzir uma demonstração completa.
A prova surpreendeu especialistas como Alex Townsend (Cornell), Anne Greenbaum (Washington) e o próprio Michel Crouzeix, que revisaram o manuscrito e confirmaram sua correção preliminar. O resultado ainda aguarda revisão formal por pares, mas já é considerado um marco histórico.
Linha do tempo da descoberta
- 2004 — Michel Crouzeix formula a conjectura.
- 2007 — Crouzeix prova que a constante 11,08 é suficiente.
- 2017 — Crouzeix & Palencia reduzem o limite para \(1 + \sqrt{2}\).
- 2025–2026 — Townsend tenta resolver a conjectura com IA por mais de um ano.
- 27 de julho de 2026 — Jin publica o preprint “The Numerical Range Is a 2‑Spectral Set”.
- 30 de julho de 2026 — ChatGPT alerta Townsend sobre o preprint de Jin.
- 8 de agosto de 2026 — Lorist & Schwenninger publicam uma segunda prova independente.
- Agosto de 2026 — Comunidade matemática valida preliminarmente a demonstração.
