LLM 挖出冷门线规论文，推进 K3 quartics 难题

burny_tech · x · 2026-07-28

一位数学研究者回顾了自己在凌晨拿到最新模型后，如何用精心设计的 Codex 提示词，推进一项关于 K3 quartics 的 Chern slopes 的问题。

他原本并不指望模型能提供帮助，但 LLM 竟然找到了一个关于线性规划变体的冷门论文，最终帮他处理掉研究中的最后一段难题。这个案例说明，LLM 在高度细分的数学研究里，价值不只是算术，而是能挖出人类不一定会立刻想到的文献线索。