事件脉络 21 篇 · 按时间
各方报道 21 篇
OpenAI发布高难度数学问题解决方案，引发数学界巨大争议。顶尖数学家担忧AI在高级抽象数学上的能力可能颠覆学科基础，质疑学术拨款和人才培养的意义。同时有人怀疑这是前沿AI实验室的营销手段，而非真正关心数学发展。
OpenAI宣布其智能体解决了千禧年大奖难题之一，本应是重大成就，却因学术诚信争议蒙上阴影。这一事件引发对AI在数学研究领域可靠性的讨论，也凸显了AI成果验证与伦理审查的紧迫性。
继此前争议后，又一位数学家 Andreas Thom 公开指责 OpenAI 行为不诚实、缺乏训练数据透明度。他怀疑自己与 ChatGPT 的交互被用于训练，从而助力 OpenAI 的数学突破，并要求公司披露相关数据集以自证清白。
围绕“AI攻克千禧难题”的宣称，OpenAI被指抄袭并威胁数学家，事件演变为OpenAI与Anthropic之间的大战。争议聚焦AI数学成果的真实性与学术伦理，引发广泛质疑与讨论。
又一名研究员指控OpenAI使用对话数据进行训练，却对外宣称取得突破。该争议延续了对OpenAI研究透明度与成果真实性的质疑，在Hacker News引发热议。
25位知名数学家联名发表公开信，指称AI实验室正在威胁他们的智力工作。这标志着OpenAI与数学界围绕AI生成数学成果的争议进一步激化。事件涉及AI对学术原创性与知识生产的冲击。
前 OpenAI 后训练副总裁回应陶哲轩关于 AI 可能损害数学研究的观点，认为低估了 AI 的潜力。其指出未来 AI 不仅能解题，还能提出有价值的洞见、建立新概念框架，供数学家在此基础上继续探索。这场争论折射出学界对 AI 与基础科学关系的分歧。
OpenAI推理方向核心人物在最新访谈中表示，千禧年数学难题的突破中，一万个Agent最多只贡献了10%的功劳。他认为数学证明只是多智能体协作能力的初步展示，未来Agent群体将在更广泛领域发挥作用。
有报道称 AI 解决了一个重要的未解数学问题，与千禧年大奖难题相关，但并非所有人都对此感到满意。围绕该成果的真实性、原创性与意义，学界出现了质疑与争论。
OpenAI 发布由未公开前沿模型生成的 722 篇数学手稿，覆盖 372 个成果族，声称解决了数百个长期未解问题，并公开 Lean 形式化证明与算力估算。此举延续了 AI 冲击数学界的势头，也引发研究伦理与学术规范的争议。独立顾问组织 AGMAI 呼吁实验室通过正规学术渠道发布成果，而非将其当作营销工具。
OpenAI 公布 722 篇手稿，称未发布的前沿模型解决了数百个数学开放问题，平均每个结果消耗约三小时 ChatGPT Pro 级算力。成果虽令人震撼，但数学界对发布方式、研究伦理与学术规范提出质疑。AGMAI 建议实验室及时通过正规渠道披露模型、提示词与算力成本，避免把成果当作营销手段。
OpenAI 公开其前沿大模型生成的大量数学研究成果，涉及黎曼猜想、霍奇猜想、BSD 猜想等重大方向，数量达 722 篇。三位菲尔兹奖得主表示，成果公开并不代表学界对其认可。该事件引发关于 AI 生成数学证明可信度与验证机制的广泛讨论。
OpenAI 通过 GitHub 代码库公开其内部前沿大模型生成的一系列全新数学研究成果，并附带论文修订与引用的规范协议。成果包含 Lean 语言形式化证明，可让数学证明直接通过计算机校验。单份成果平均消耗算力约等于 ChatGPT Pro 三小时深度推理时长。
OpenAI 大量生成的数学证明偏离了该前沿实验室所咨询的数学研究者小组制定的准则。这引发外界对其数学成果质量和可靠性的质疑。
数学家陶哲轩带头，一批人类数学家联合对 OpenAI 发起抵制，事件在 AI 与数学界引发关注。报道称双方矛盾公开化，涉及 AI 在数学研究中的角色与署名、贡献认定等争议。该事件反映 AI 介入学术研究后引发的伦理与利益冲突。
OpenAI 本周突然发布近 400 项 AI 生成的数学成果，分布在 700 多份手稿中，覆盖组合数学、几何、数论等多个领域。多位数学家表示「震惊」「难以置信」，认为仅理解这些成果就需数年，且验证程度参差不齐。
文章讨论数学研究社区与 OpenAI 之间关系的转变，分析此前合作或关注为何降温。内容涉及 AI 在数学证明与形式化推理中的可信度与学术规范争议。
OpenAI 宣布在数学、计算机科学和物理领域取得三项“重大”发现，包括证明指数时间假设（ETH）不成立、欧氏波动方程的局部光滑性，以及四维相互作用量子场论的严格存在性证明。与上次直接批量发布手稿不同，这次 OpenAI 邀请外部专家担任“牧羊人”指导结果发布，但其数学顾问小组同时建议 AI 公司不要采用指定特定人员优先获取输出的做法。
OpenAI 宣布在调和分析、复杂性理论和量子场论三个方向取得新发现，并采用与学术界合作的新方法。公司邀请外部专家组织团队理解研究结果，参与者无需签署保密协议、可自由讨论并发表结论，且为自愿无报酬。OpenAI 表示不会为内部模型产生的发现寻求学术署名。
BBC 报道称，数学家之间的激烈争执加剧了外界对 AI 可能削弱科学严谨性的担忧。争议焦点在于 AI 在数学证明与同行评审中的角色，以及其可能带来的错误与信任危机。
OpenAI CEO Sam Altman 在播客中表示同情数学家的处境，但强调公众有权获得基础科学知识，公司不会停止发布 AI 生成的数学成果。他承认沟通方式需改进，同时被批评对杨-米尔斯理论等重大结果存在信息封锁。