Eu publico regularmente sobre o uso de LLMs na minha pesquisa. Não me importa se os LLMs ou outras tecnologias nos levarão à AGI — mas o seu uso diário já é um fato. Desta vez, usei um para refatorar pesadamente a minha própria prova de um artigo. Queria melhor conceitualizar os cálculos muito técnicos que fiz para uma superfície K3 que tem o número extremal de cônicas irreduzíveis. Finalmente quero terminar este projeto, mas não estava satisfeito com o nível de esforço computacional na parte final. Então, fiz uma análise com o GPT Pro e obtive uma lista muito boa de truques — coisas que certamente seguem do que eu havia escrito, mas que de alguma forma eu mesmo perdi! Esta é a rotina diária com LLMs: sem AGI, sem hype, sem guerras tribais tolas — apenas a alegria de usar uma ferramenta bem. Sou definitivamente deficiente como humano, e esta ferramenta desumana ajuda-me a trabalhar melhor.