我定期发布关于在我的研究中使用LLM的内容。我不在乎LLM或其他技术是否会将我们带入AGI——但它们的日常使用已经是一个事实。这一次，我使用了一个工具来大幅重构我在一篇论文中的证明。我想更好地概念化我为具有极端不可约圆锥数的K3曲面所做的非常技术性的计算。 我最终想完成这个项目，但我对最后部分的计算工作量感到不满。因此，我使用GPT Pro进行了分析，并得到了一个非常不错的技巧列表——这些东西肯定是从我所写的内容中得出的，但我自己却不知不觉地错过了！这就是与LLM的日常 routine：没有AGI，没有炒作，没有愚蠢的部落战争——只有好好使用工具的乐趣。我绝对在作为一个人类方面有缺陷，而这个非人类的工具帮助我更好地工作。