Publico regularmente sobre el uso de LLMs en mi investigación. No me importa si los LLMs u otras tecnologías nos llevarán a la AGI, pero su uso diario ya es un hecho. Esta vez, utilicé uno para refactorizar en gran medida mi propia prueba de un artículo. Quería conceptualizar mejor los cálculos muy técnicos que había realizado para una superficie K3 que tiene el número extremal de cónicas irreducibles. Finalmente quiero terminar este proyecto, pero no estaba satisfecho con el nivel de esfuerzo computacional en la parte final. Así que realicé un análisis con GPT Pro y obtuve una lista muy buena de trucos: cosas que seguramente se derivan de lo que había escrito pero que de alguna manera me perdí. Esta es la rutina diaria con los LLMs: sin AGI, sin exageraciones, sin guerras tribales tontas, solo la alegría de usar bien una herramienta. Definitivamente soy deficiente como humano, y esta herramienta inhumana me ayuda a trabajar mejor.