https://www.neican.ai/tags/erd%C5%91s%E9%97%AE%E9%A2%98/ Recent content in Erdős问题 on AI内参 Hugo zh-cn Tue, 02 Dec 2025 09:40:05 +0800 https://www.neican.ai/insights/630ai-20251202094005238-2/ Tue, 02 Dec 2025 09:40:05 +0800 https://www.neican.ai/insights/630ai-20251202094005238-2/ 一个叫“亚里士多德”的AI模型，竟然在6小时内就搞定了困扰数学界30年的Erdős问题#124的“简易版”，震惊了包括陶哲轩在内的全球数学大佬，成功开启了“Vibe证明”的新时代，背后的Harmonic公司也因此一战成名并获得巨额融资。 https://www.neican.ai/insights/gpt-5-20250903181004717-1/ Wed, 03 Sep 2025 18:10:04 +0800 https://www.neican.ai/insights/gpt-5-20250903181004717-1/ 数学界“顶流”陶哲轩联手OpenAI“准发布”的GPT-5，成功用AI的“半自动化文献检索”功能，解决了一个困扰几十年的Erdős数学难题，证明AI能当高效率的“知识桥梁”，帮助人类在海量数据中精准“捞”出答案。这波操作，加上之前GPT-5在IMO竞赛中达到金牌水平的消息，直接把AI在科学发现领域的应用前景拉满，预示着一个“人机协作，众包解题”的新时代正悄然到来！