Neurocirurgião prova conjectura que desafiou matemáticos por 22 anos com execução de 16 horas do GPT-5.6
OpenAI
Um neurocirurgião, Dr. Shanmu Jin, provou a conjectura de Crouzeix, um problema de longa data em análise de matrizes, e foi auxiliado por uma execução autônoma de 16 horas do GPT-5.6 Sol da OpenAI. Sua prova foi verificada por vários matemáticos, incluindo o autor da conjectura, e uma segunda prova independente surgiu dias depois. Isso marca um marco: uma contribuição matemática significativa de um amador em parceria com um modelo de IA.
O matemático Alex Townsend vinha pedindo ao ChatGPT para provar a conjectura de Crouzeix há quase um ano, mas o modelo sempre fornecia provas falsas ou incompletas. Em 30 de julho de 2026, o ChatGPT retornou um link para um preprint postado três dias antes, afirmando uma solução. Townsend e sua colega Anna Greenbaum o leram com ceticismo e logo perceberam que era genuíno. O autor, Dr. Shanmu Jin, é residente de neurocirurgia e pós-doutorando, não um matemático profissional. Ele se interessou pela conjectura de Crouzeix enquanto trabalhava em ultrassom transcraniano e formulou uma estratégia de prova em uma sessão autônoma de 16 horas com o GPT-5.6 Sol no ChatGPT Work, sem acesso à internet. O modelo usou um portfólio de estratégias diversas, auditorias adversariais e eliminação baseada em contraexemplos, conforme instruído por Jin. A prova foi verificada de forma independente por Townsend, Greenbaum e Michel Crouzeix, e posteriormente reforçada por uma segunda prova, diferente, dos matemáticos Emil Lorist e Felix Schwenninger, que também usaram o ChatGPT 5.6 Pro. O caso destaca uma mudança de paradigma na descoberta matemática e levanta questões sobre a sustentabilidade da revisão por pares.
Fonte: Habr — хаб ИИ —
original