Um novo pré-print de Wang & Wu da Universidade de Hunan prova a Conjectura esférica de Hadwiger, aberta desde 1974, com assistência do Open AI Codex. Os autores revelam que a IA ajudou a desenvolver detalhes da prova, identificar lacunas, organizar o manuscrito e editar o inglês, assumindo total responsabilidade. Isso segue a formalização do Último Teorema de Fermat por Claude no Lean na mesma semana.

O autor, que tentou esta prova na pós-graduação, observa que o relatório GPT-4 da OpenAI estimou que 100% do trabalho dos matemáticos está exposto a LLMs — mais do que escritores ou artistas. O atraso no impacto da IA pode dever-se ao menor valor econômico da matemática e aos dados de treinamento.

Isso levanta a questão de saber se a matemática pura seguirá a música clássica para um modelo de "conservatório" — institucionalizado na academia com poucos papéis profissionais fora das universidades. Um conservatório matemático poderia preservar o campo mesmo quando a criação de resultados se tornar fácil, mas entender sua importância permanecer difícil. A matemática pura já existe nesse conservatório (a academia), com resultados compreendidos por poucos.

Entidades-chave: Empresas: Open AI, Universidade de Hunan | Pessoas: Wang, Wu, Claude Fable | Locais: Universidade de Hunan