百元成本破解80年数学悬案:AI正在重塑学术研究规则
近期,OpenAI 公布了一则令数学界为之震动的研究成果。其通用推理模型独立推翻了一个悬而未决近八十年的著名猜想——Erdős 平面单位距离问题。这不是辅助人类完成的,也不是检索了已有文献,而是完全自主推理得出的结论。菲尔兹奖得主 Tim Gollars 评价道:"若这篇论文以人类名义投向《数学年鉴》,我会毫不犹豫支持发表。"随后 Ethan Mollick 进行了一番测算。基于公开的大模型推理成本数据,解决这个八十年难题所耗费的资源为:电力 0.6–6.3 千瓦时(相当于电动汽车行驶数英里),水资源 3