---
title: "Matemáticos validam prova de conjectura gerada em rodada do GPT-5.6"
url: https://dailyjournal.news/news/2026-08-13/matematicos-validam-prova-de-conjectura-gerada-em-rodada-do-gpt-56
published: 2026-08-13T12:00:00+00:00
categories: ["science", "technology"]
source_count: 5
outlet_count: 0
language: pt-BR
publisher: "Daily Journal"
---

# Matemáticos validam prova de conjectura gerada em rodada do GPT-5.6

O teorema decisivo surgiu em uma rodada autônoma de cerca de 16 horas; o autor é um residente de neurocirurgia com formação matemática autodidata.

## Pontos principais

- Michel Crouzeix, junto com os matemáticos Alex Townsend e Anne Greenbaum, verificou a prova a fundo e acredita que o manuscrito está correto, em ensaio para a SIAM News que circulou entre 12 e 13 de agosto.
- O autor do preprint é Shanmu Jin, pesquisador de pós-doutorado e residente de neurocirurgia no Hospital do Peking Union Medical College, que estudou geologia na graduação e depois obteve o título de médico.
- Jin contou que o Teorema 3.1 surgiu durante uma rodada autônoma de aproximadamente dezesseis horas do GPT-5.6 Sol no modo ChatGPT Work, iniciada por ele sem qualquer intervenção posterior.
- O prompt, adaptado de um usado pela OpenAI na conjectura do Cycle Double Cover, negava acesso à web, mandava criar vários subagentes e exigia auditorias adversariais até uma prova sobreviver à verificação.
- Crouzeix formulou a conjectura em 2004 e provou em 2007 que a constante 11,08 sempre basta; em 2017, com Palencia, reduziu a constante universal para 1 + √2 ≈ 2,414.
- O preprint 'The Numerical Range Is a 2-Spectral Set' saiu em 27 de julho; oito dias depois, Emiel Lorist e Felix Schwenninger publicaram uma prova independente de cinco páginas, também com uso do ChatGPT 5.6.
- O repositório público de Jin inclui o prompt, os manuscritos sucessivos, uma formalização em Lean e uma auditoria de axiomas.

A conjectura de Crouzeix é um problema em aberto de teoria de operadores e análise matricial, formulado em 2004. A formação matemática formal de Jin se limitou às disciplinas normalmente cursadas por estudantes de ciências — 'tudo além disso foi autodidata', segundo ele.

O caso se espalhou no X entre 12 e 13 de agosto, com usuários apontando os dois pontos que o tornam incomum: o teorema decisivo veio de uma rodada autônoma de cerca de 16 horas, e o próprio autor da conjectura verificou a prova. A publicação quase simultânea de um segundo argumento, independente e igualmente assistido por modelo, reforçou a atenção sobre o episódio.

## Fontes

- [Post no X sobre residente de neurocirurgia que resolveu a conjectura de Crouzeix](https://x.com/Dr_Singularity/status/2087841351396151501) (2026-08-13)
- [Conjectura de Crouzeix](https://en.wikipedia.org/wiki/Crouzeix%27s_conjecture) (2026-08-13)
- [Problema de 22 anos da comunidade matemática resolvido por médico residente do Peking Union](https://eu.36kr.com/en/p/3937408047053960) (2026-08-13)
- [O residente de neurocirurgia que provou a conjectura de Crouzeix](https://alextownsend.net/essays/SIAMNews_CrouzeixConjecture.pdf) (2026-08-13)
- [Uma solução para a conjectura de Crouzeix](https://papers.cool/arxiv/2608.03841) (2026-08-13)

---

Publicado por Daily Journal. Versão HTML: https://dailyjournal.news/news/2026-08-13/matematicos-validam-prova-de-conjectura-gerada-em-rodada-do-gpt-56