一个叫“亚里士多德”的AI模型，竟然在6小时内就搞定了困扰数学界30年的Erdős问题#124的“简易版”，震惊了包括陶哲轩在内的全球数学大佬，成功开启了“Vibe证明”的新时代，背后的Harmonic公司也因此一战成名并获得巨额融资。

数学界“顶流”陶哲轩联手OpenAI“准发布”的GPT-5，成功用AI的“半自动化文献检索”功能，解决了一个困扰几十年的Erdős数学难题，证明AI能当高效率的“知识桥梁”，帮助人类在海量数据中精准“捞”出答案。这波操作，加上之前GPT-5在IMO竞赛中达到金牌水平的消息，直接把AI在科学发现领域的应用前景拉满，预示着一个“人机协作，众包解题”的新时代正悄然到来！