O neurocirurgião Jin Shanmu, pesquisador do Hospital da União de Pequim, provou a conjectura de Crouzeix, um problema de álgebra linear numérica em aberto há décadas, após uma sessão autônoma de 16 horas com o modelo GPT-5.6-Sol na plataforma ChatGPT Work.
Jin é pós-doutorando e residente no hospital. Ele buscava resolver uma questão ligada a ultrassons cerebrais quando chegou ao desafio matemático, que integra a área de análise de matrizes.
A conjectura
A conjectura foi proposta pelo matemático francês Michel Crouzeix. Ela afirma que a norma da aplicação de qualquer função a uma matriz não é maior que duas vezes o valor máximo dessa função no campo numérico da matriz.
Embora seja um problema abstrato, a conjectura é considerada relevante na análise de matrizes, campo no qual Jin entrou durante pesquisas com ultrassom transcraniano.
