Falamos frequentemente sobre grandes avanços em IA para a matemática, mas acho que os pequenos passos são igualmente impressionantes. O futuro da matemática é agora. Estava a trabalhar numa tarefa específica: encontrar uma prova sem casos da representabilidade da correção da função local de Néron usando uma combinação de termos de correção relacionados com o caso multiplicativo. É um tipo de prova extremamente tediosa, dependente de casos e bastante repulsiva. Assim, forneci a entrada do meu artigo e perguntei ao GPT Pro se poderia sugerir uma prova sem casos. Após cerca de 15 minutos, recebi uma bela explicação conceptual que invocava todo o poder do gráfico dual da fibra degenerada, juntamente com a sugestão surpreendente de que uma versão ligeiramente normalizada da correção de erro local é, na verdade, uma funcional de energia. Fiquei chocado. Nunca esperei uma visão tão profunda. Em retrospectiva, agora posso ver o que perdi. Mas eu realmente perdi - e o modelo guiou-me até à prova. Esta nova prova é muito mais elegante do que a anterior. Tinha apenas uma visão vaga, um palpite de que tal abordagem poderia funcionar, mas a combinação da profunda consciência literária do modelo e o poder combinatório das suas estratégias de busca em árvore levaram-me diretamente ao núcleo conceptual da prova. Estou ansioso para ver o que outros modelos também podem oferecer.