在推理模型o1发布后，不少人想尝试用它证明黎曼猜想，如AI大神卡帕西（AndrejKarpathy），抱怨o1mini总是拒绝求解黎曼猜想，是典型的大模型“躺平”。最想摘取这一圣杯的，肯定还有马斯克。它刚当上了美国“深改委”主任（但...