推理模型问世仅两年，AI 已贡献相当于 20 枚菲尔兹奖的数学成果

有发帖者称，首个大型推理模型问世仅两年零 24 天，AI 已带来相当于 20 枚菲尔兹奖章的新数学成果，并反问「还有谁说它不会推理」。围绕这一话题，eigenrobot 认为数学论文自动化很直接，理论物理甚至经济学也可大规模自动化；Grady Booch 则转述专家热议：AI 数学求解是突破还是对数学家的 DDoS。