GPT-5又帮陶哲轩解决了一个难题（

1.陶哲轩2020

GPT-5又帮陶哲轩解决了一个难题！消息来自陶本人最新动态，他衷心提醒大家：AI能够大显身手的场景再 1——半自动化文献检索。

2.imo陶哲轩

简单来说，陶正在做的事情，其实就是用AI 数据库比对来帮忙解决数学里的难题结果AI不仅省时省力，成果也十分卓越，正如陶激动所言：这是Erdos问题/OEIS关联项目的首次概念验证成果具体咋回事儿，下面详细来看——。

3.陶哲轩最新成果

AI在数学难题解决过程中起到“定位器”作用事情的起因还要追溯到一个关键人物——20世纪著名匈牙利数学家Paul Erdős此人一辈子合作了超过500位数学家，毕生发表了约1525篇数学论文，数量之多，至今无人能及。

4.陶哲轩是谁?

相应地，他也给后人留下了一大堆至今未解的难题，它们被称为“Erdős问题”其中就有一大类问题很“刁钻”——它们不是问“算出结果是多少”，而是问“这个结果是不是有理数（能写成分数的那种）”一般而言，准确回答这类问题往往面临两个主要困难：。

5.陶哲轩访谈

第一重困难：公式写得简单，但算起来超级复杂，手工几乎算不动第二重困难：就算你能算很多位小数，也不等于你能直接证明它是有理数还是无理数所以，这类问题往往悬而未决几十年而现在，陶哲轩在OpenAI最新模型GPT-5的帮助下，完成了这样一件事：。

6.陶哲轩到底有多厉害

它不是直接“证明”某个数是不是无理数，而是把这个数列算到很高精度的小数，相当于给出了一个“数字指纹”然后把这个小数串放进OEIS（一个收录全球数列的数据库）