https://www.neican.ai/tags/%E4%BA%9A%E9%87%8C%E5%A3%AB%E5%A4%9A%E5%BE%B7ai/ Recent content in 亚里士多德AI 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公司也因此一战成名并获得巨额融资。