Jared Lichtman

数论专家，在原始集领域取得过重要进展。2023年，他将Erdős Problem #1196的上界压到约1.399 + o(1)，被认为是里程碑式进步。在ChatGPT 5.4 Pro破解该问题的事件中，Lichtman的成果被超越，他本人也对AI的证明方法进行了深入分析。

对AI证明的评价

Lichtman指出，AI的推理链条看似"混乱"，但它opportunistic地抓住von Mangoldt这个关键工具，然后通过局部验证和修复，一步步把证明修得天衣无缝。这不是人类常见的"全局叙事"，而是AI独有的"搜索+修复"模式，却意外高效。

后续贡献

与陶哲轩等专家一起完善了证明的常数项，将上界细化到1 + γ/log x + O(1/log² x)，并参与推广到排列的"原始集"类似问题。

相关链接

• [[erdos-problem-1196]]
• [[primitive-set]]
• [[ai-solves-math-problems]]
• [[terence-tao]]