Je publie régulièrement sur l'utilisation des LLM dans ma recherche. Je me fiche de savoir si les LLM ou d'autres technologies nous mèneront à l'AGI — mais leur utilisation quotidienne est déjà un fait. Cette fois, j'en ai utilisé un pour refondre considérablement ma propre preuve d'un article. Je voulais mieux conceptualiser les calculs très techniques que j'avais réalisés pour une surface K3 qui a le nombre extrémal de coniques irréductibles. Je veux enfin terminer ce projet, mais j'étais mécontent du niveau d'effort computationnel dans la dernière partie. J'ai donc réalisé une analyse avec GPT Pro et obtenu une très belle liste d'astuces — des choses qui découlent sûrement de ce que j'avais écrit mais que j'avais d'une manière ou d'une autre manquées moi-même ! C'est la routine quotidienne avec les LLM : pas d'AGI, pas de battage médiatique, pas de guerres tribales ridicules — juste la joie d'utiliser un outil correctement. Je suis définitivement déficient en tant qu'humain, et cet outil inhumain m'aide à mieux travailler.