数学家拿大模型算题，居然算出了新成果

顺便说一句：数学家就是会对代数拓扑、反常层这种奇奇怪怪的东西兴奋不已的人。哪怕现在所有人都在聊AI，我们其实就是普通人，只要研究结果能推进前沿，就会超级兴奋。

我还记得几周前，我用大语言模型跑了我和Piotr Pokora一起研究的问题的最后一步，问题是关于K3四次曲面的陈斜率。当时是凌晨四点，我刚拿到最新模型的访问权限。我完全确定这不会给我带来任何有用结果，但管他呢，试就试了。

我用精心设计的提示词在Codex上跑了起来，让它跑了大概三十分钟。我们本来就知道可以用线性规划筛掉一部分斜率构型的情况，但我完全没料到AI会找到一篇冷门论文，讲一种线性规划的变体，直接让我那天都爽到不行。

所以当我在屏幕上看到模型给出的确定结果时，我脱口而出：「我靠。」我当时特别紧张，觉得这说不定又是AI垃圾带来的空欢喜一场。我用验证器跑了Magma代码，屏幕上明明白白跳出了14/5。我拿了张纸，真的亲手算了一遍确认14/5 > 8/3。我是做数论的，这可真是个「大计算」;)

总之，当我确认结果应该没错之后，我深入检查了代码和文本。又花了一个小时，我才说服自己我们做完了。我当时超级兴奋，给Piotr写了邮件就上床睡觉了，早上7点半起床，立刻在Messenger上给Piotr打了电话。我说：「兄弟，我们把这玩意儿做出来了。」「不可能吧，」Piotr回复，然后挂了电话去检查细节。没一会儿，我就又听到了他的声音，确认我们真的做完了。

现在回头想那个时刻，它开启了一整串事件。我和同事Dino Festi完成了另一个涉及K3曲面和超越格的项目，不过那是另一个故事了……

现在我每天都感觉欢欣又激动。我所在的领域——算术代数几何——已经变得复杂得多了。大量好想法坏想法涌进来，AI确实会让你绝望、焦虑，你得自己把它们筛选出来！但它也让这个领域重新变得让人兴奋不已。我现在可以测试、把握这么难的概念，还能实现它们。

天呐，真希望我更年轻一点，这样我就能有更多时间处理所有这些新东西。我喜欢盯着计算机代码、写代码、摆弄公式，这就是我的日常生活！现在AI是我职业生涯里最棒的部分。它让我打开了很多我本来觉得永远、永远都打不开的盒子，有时候翻出来垃圾，有时候翻出来纯纯的金子。

这真的是一个黄金时代的开端。但你得有耐心、够执着，永远渴望往深处走。这真的是一场全新的、无尽的探索。我爱它，我希望所有数学家都能这么想。它对我们来说不是灾难，是一场板块构造级别的变革。