陶哲轩 (Terence Tao)

著名数学家，菲尔兹奖得主。在ChatGPT 5.4 Pro破解Erdős Problem #1196的事件中，陶哲轩作为权威验证者和评论者，亲自下场讨论并完善了证明。

贡献

• 评价AI的证明思路"把整数的解剖结构和流网络理论紧密连接起来"。
• 与Jared Lichtman等专家一起完善了常数项，将上界细化到1 + γ/log x + O(1/log² x)。
• 参与将证明推广到排列的"原始集"类似问题。

相关链接

• [[erdos-problem-1196]]
• [[ai-solves-math-problems]]
• [[jared-lichtman]]