Andrej Karpathy表示：“o1-mini 总是拒绝替我尝试解决黎曼假设。模型的懒惰依然是个大问题，真是让人伤心 😐”