Erdős

普林斯顿大学的NogaAlon——一个在几十年职业生涯中亲手解决过几十个Erdős问题的数学家——说，这些模型「正在极大地改变数学研究的方式。

他从小就喜欢Erdős的风格，但一直有个烦恼：Erdős的问题散落在各处，哪些被解决了、哪些还悬着，根本搞不清楚。

Price和Barrett最终成为了陶哲轩、斯坦福的JaredDukerLichtman等人2026年5月发表的一篇论文的共同作者——那篇论文解决了一个更重要的Erdős问题。

12月，他们确信最新的AI模型能搞定一些Erdős问题，于是开始成批地把问题喂给模型。

圣诞节早上，Barreto在网站上发了一个证明，宣称这是「LLM完全自主解决Erdős问题的首个案例」。

2025年10月，vanDoorn在Erdős问题1102的页面下留了第一条评论。

8月1日，OpenAI又宣布：他们一个叫Astra的模型，一口气拿下了10项数学进展，其中包括Erdős提出的另外三个问题的解答。