一条来自计算机科学家 Omri Weinstein 的推文，正在学界掀起波澜。他表示，即便是此前 OpenAI 在埃尔德什难题（Erdős problem）上的突破，也未能说服他相信大语言模型能够从事真正的数学研究，但这一次，他的想法改变了。

这一表态直指一个尚未公开的事件：据称，AI 已完成首次批量解决实质性开放数学问题。如果属实，这将是人工智能在数学推理领域的里程碑——不同于此前在符号积分、定理证明等受限场景的表现，开放数学问题意味着问题本身未经过简化，且解法路径未知。

回顾近年进展，OpenAI 在 2024 年发布的“Erdős 突破”中，利用强化学习驱动的计算模型成功解决了一个图论中的埃尔德什问题，但该工作仍被部分学者视为“特化求解”，不具备泛化能力。而此次爆料提及的“批量解决”，暗示模型可能涌现出结构化推理能力，能够自主探索、提出猜想并给出证明框架。

关键疑点在于信息源：目前所有细节均来自 Weinstein 的个人推文，既无预印本论文，也无代码仓库或实验日志。考虑到 AI 领域此前多次出现“宣传性突破”而后被证伪的案例（如 GPT-4 在数学竞赛题上的过度解读），学术界在兴奋之余仍需等待可复现的证据。

若消息得以验证，其影响将远超数学本身。一方面，AI 将从一个“解题工具”跃升为“研究伙伴”，可能加速数论、组合数学等领域的猜想验证周期；另一方面，它也将迫使数学界重新定义“原创性”——当机器能以人类难以理解的路径推出新定理，数学家的角色需要从“发现者”向“翻译者”与“验证者”转型。

对于关注 AI 前沿的从业者，建议采取 “先相信，再质疑” 的姿态：跟踪消息发布者的后续更新，关注同行评审流程，同时思考自身领域能否受益于类似的推理范式。数学研究的封闭性正在被打破，但帷幕完全拉开之前，保持清醒比欢呼更重要。