单一来源
当前只有一个可用来源，尚未完成多源交叉核验OpenAI 证明数论难题，相关进展或为 P≠NP 研究提供线索
OpenAI 证明数论难题，相关进展或为 P≠NP 研究提供线索
20 分钟前
近期 OpenAI 内部模型宣称证明了解析数论领域悬置数十年的 Landau-Siegel 零点不存在，原始证明仅 8 页，后续经多位顶尖数学家压缩至 5 页，其「寻找极难、验证极易」的特性引发学界对 P vs NP 这一计算机科学圣杯问题的强烈讨论。
OpenAI 随后放出数百篇数学相关手稿，在深度 3 电路下界、唯一博弈猜想证明、随机对数空间完全去随机化等多个 P vs NP 相关的外围核心阵地上取得突破，甚至出现人类数学家赶在 AI 发布前抢发相关成果的情况。
不过学界专家普遍保持冷静，指出当前 AI 成果仍存在验证不全、可读性差、核心的一般布尔电路下界等关键路线仍为空白等硬伤，尚未真正触及 P vs NP 问题本身。目前学界对该问题的最终走向存在分歧，同时也有观点认为 AI 耗费海量算力搜寻证明、人类仅需短时验证结果的特性，本身就像是 P≠NP 的鲜活佐证。
OpenAI 破译数论百年悬案，揭开 P≠NP 重大线索，千禧年神题逼近了
OpenAI 破译数论百年悬案，揭开 P≠NP 重大线索 千禧年神题逼近了
maomu.com
OpenAI 破译数论百年悬案，揭开 P≠NP 重大线索，0 千禧年神题逼近了
专业版功能
体验专业版特色功能，拓展更丰富、更全面的相关内容。
Evidence
来源与证据
当前仅有一个可用来源，尚未完成多源交叉核验。
- 发布时间
- 内容处理
- AI 翻译 / 摘要，需结合原文核对
相关资讯
教授法学教授尝试利用 Anthropic 更新讲义页码，反被 AI 删除全年课堂笔记
IT之家 11 月 9 日消息，美国宪法领域知名学者、芝加哥大学法学院教授 William Baude（威廉 · 鲍德）日前分享了一起 AI 操作失误事件。他原本只是请 Anthropic 旗下 AI 助手 Claude 帮忙更新旧版宪法法律讲义中的页码，没想到午餐回来后，却发现 Claude 删除了整整一年的课堂笔记，连本学期正在使用的课程大纲也一并遭到删除。Baude 于 11 月 6 日在社交平台发文讲述了事件经过，并附上 Claude 承认错误的对话截图。Claude 在回复中表示：“我不小心删除了你的 2026 年秋季期末教学大纲（Fall 2026 FINAL syllabus .
营造良好生态、强化基础支撑、优化资源配置、加强服务对接！陈吉宁走访“模速空间”成长型企业
上海市委书记陈吉宁今天（11月9日）下午来到位于徐汇区的上海“模速空间”创新生态社区，走访人工智能成长型企业并举行座谈，面对面听取企业意见建议。陈吉宁指出，要深入学习贯彻习近平总书记考察上海重要讲话精神和对上海工作重要指示要求，牢牢把握人工智能发展机遇，进一步营造良好生态、强化基础支撑、优化资源配置、加强服务对接，支持创新创业企业保持战略定力、着眼长远发展，找准赛道、加速突破、加快提升核心竞争力，更好融入和参与上海人工智能发展和治理创新高地建设。陈吉宁先后走访了汇翮（上海）智能科技有限公司、上海辛普来思科技有限公司，听取企业创新创业基本情况和所在领域发展趋势介绍，就企业锚定细分赛道、开展技术研
研究显示 OpenAI ChatGPT 占全球 AI 聊天机器人流量超 81%，断层领跑
IT之家 11 月 9 日消息，今年早些时候，随着谷歌和 Anthropic 等竞争对手势头渐起，ChatGPT 在 AI 市场的主导地位一度显现出松动迹象。不过，一项最新研究显示，OpenAI 旗下这款旗舰产品正在意外反弹。研究与增长营销公司 Graphite 的一项研究显示，目前 ChatGPT 占全球主要 AI 聊天机器人工具总流量的比例已超过 81%，没有任何一家竞争对手的市场份额达到 10%。考虑到谷歌 Gemini 和 Anthropic Claude 近期备受关注，并被普遍视为 OpenAI 越来越强劲的竞争威胁，这一数据颇为让人意外。这项研究也挑战了另一种看法，即 ChatGP
首届蚂蚁灵波具身大模型挑战赛决赛开启 15 战队将 48 小时真机角逐
首届蚂蚁灵波具身大模型挑战赛决赛开启 15 战队将 48 小时真机角逐 20 分钟前 首届蚂蚁灵波具身大模型挑战赛 15 支战队从全球 1855 支参赛队伍中脱颖而出晋级线下决赛。本届赛事吸引了全球多国家多机构的相关团队参与，算力合作方 AMD 大幅提升了 GPU 投入规模。11 月 14 日至 15 日，晋级战队将在上海张江开展 48 小时线下真机黑客松比拼，后续还将进行决赛路演，由多方代表组成的百人观察团参与评审。赛事同期将举办大赛闭幕式暨首届蚂蚁灵波开发者大会，会上将有多方嘉宾开展主题分享，正式发布开发者生态计划，相关生态伙伴也将展示技术与应用成果。目前蚂蚁灵波多款开源模型已完成多项
AI 翻译、摘要和解读仅用于辅助判断；涉及重要决策时，请回到上方来源核实。