ChatGPT在陶哲轩的数学研究中发现了一个错误。
https://www.erdosproblems.com/forum/thread/783
> 啊，GPT说得对，我在处理小素数的方式中存在一个致命的符号错误。没有明显的修复方法，所以我最终回到了Hildebrand的论文，看看他是如何处理小素数的。结果发现，他使用了一个巧妙的不等式 ρ(u1)ρ(u2)≥ρ(u1u2) 来处理Dickman函数（这是该函数对数凹性的一个结果）。利用这一点，并结合之前的简化，我现在有了一个修正后的论证。
特伦斯·陶
查看原文
https://www.erdosproblems.com/forum/thread/783<p>> Ah, GPT is right, there is a fatal sign error in the way I tried to handle small primes. There were no obvious fixes, so I ended up going back to Hildebrand's paper to see how he handled small primes, and it turned out that he could do it using a neat inequality ρ(u1)ρ(u2)≥ρ(u1u2) for the Dickman function (a consequence of the log-concavity of this function). Using this, and implementing the previous simplifications, I now have a repaired argument.
TerenceTao