这是一个真正的AGI/ASI级别的问题：解决黎曼假设。 今天的推理模型存在两个问题： - 对于困难的问题太快放弃 - 对于简单的问题过于思考 这两者都是有趣的研究问题。