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