Daily Journal

Home / Ciência

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.

Daily Journal
||
13/08 às 09:00

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.

Fonte primária

Shanmu Jin (Preprints.org)

The Numerical Range Is a 2-Spectral Set

Jin prova que, para toda matriz complexa A n×n e todo polinômio p, vale ||p(A)|| ≤ 2·max_{z∈W(A)} |p(z)|, ou seja, o numerical range W(A) é um 2-spectral set para A — resolvendo a conjectura de Crouzeix (2004) com a constante ótima 2 (exemplo extremo: matriz nilpotente N=[[0,2],[0,0]], onde W(N) é o disco unitário e ||N||=2). O ingrediente central é um teorema de completação positiva-real: uma restrição de álgebra-adjunta sobre o defeito resolvente de uma função de Carathéodory matricial normalizada força a matriz subjacente a ter norma no máximo 2. O cálculo clássico de potencial de dupla camada fornece essas completações para matrizes com espectro simples; amostrar o núcleo de Herglotz associado em metade dos autovalores conjugados e na origem cancela o termo de completação e reduz o problema a comparar dois Gramianos ponderados, resolvido por uma identidade de Stein. O resultado central (Teorema 3.1 do preprint) emergiu de uma execução autônoma de ~16h do GPT-5.6 Sol em modo ChatGPT Work; Jin, residente de neurocirurgia sem formação formal avançada em matemática, refinou e escreveu a prova formal a partir daí. O preprint foi submetido em 24/07/2026 e publicado em 27/07/2026.

Comentários

Carregando comentários...