大概是今年以来，AI 冲击各种数学猜想，越来越像永不结局的连续剧。这个模型又拿到了更高分，那个模型又解开了一道多年无人攻克的难题，人类的数学智慧岌岌可危。 连数学家们都坐不住了，上周末25 位菲尔兹奖得主联名上书。他们没有说 AI 不会做数学。恰恰相反，数学家承认，大语言模型的能力已经增长到能够解决重要未解问题的程度。他们担心的是，当科技公司把著名难题变成模型的跑分场，数学得到的可能只剩一串更耀眼的战绩。 几天前，Google DeepMind 的一项实验，已经提前演出了这场竞赛可能变成的样子。 100…