行业动态The Verge AI
来源时间 本站刊期
围绕 AI 接管数学界的所有风波
All the drama around AI’s takeover of mathematics
OpenAI等实验室宣称解决千禧年难题，数学家却要证据，突破与争议并存。
判断
数学家在决定是否把 OpenAI 的千禧年难题声明当作可引用成果前，应先要求公开证明与训练数据来源；期刊和会议评审也需把未发布模型的推导标为不可复现，不能只凭实验室新闻稿授信。
依据
《The Verge》的 Robert Hart 报道，OpenAI 在过去一年宣布了多项长期数学问题的突破，并称其中一个涉及千禧年难题（Millennium Prize problems，著名的长期数学难题）；但数学家对 OpenAI 的数据来源与证明提出质疑。OpenAI 随后成立独立数学家小组，想借外部咨询修复关系，一名小组成员也向 The Verge 形容过程混乱、令人困惑。机制在于：实验室用未发布模型产出结果，先发新闻再补证明，数学界无法复现或确认数据是否来自被质疑者的作品；同时小组被交办的首项任务，是帮助协调发布 OpenAI 所称未发布模型产出的更多结果。
- OpenAI宣布咨询
- 独立数学家小组首项任务
- 协调结果发布
没写清 OpenAI 未发布模型具体解决了哪一个千禧年难题、证明是否经同行评议、训练数据是否含质疑者作品，材料都没给。
下一步 看 OpenAI 是否公开该独立数学家小组的成员名单、职权范围，以及那批未发布模型结果的证明与数据来源。