研究者使用LLM重构数学证明，提升工作效率

我经常发表关于在我的研究中使用LLM的文章。我不在乎LLM或其他技术是否会带我们走向AGI——但它们的日常使用已经是事实。这次，我用一个LLM对自己论文中的证明进行了大幅重构。我想更好地概念化我为具有极值不可约圆锥曲线数的K3曲面所做的那些非常技术性的计算。

https://arxiv.org/abs/2108.13402

我终于想完成这个项目，但我对最后部分中的计算量感到不满。于是，我用GPT Pro进行了分析，得到了一个很好的技巧列表——这些技巧显然源自我的写作，但自己却忽略了！这就是使用LLM的日常：没有AGI，没有炒作，没有愚蠢的部落战争——只是享受使用工具的乐趣。作为人类我肯定有缺陷，而这个非人类的工具帮助我更好地工作。