#论文/研究

早报｜iPhone 国行 AI 官宣：千问接入 Siri，11 月 4 日开放测试；DeepSeek 千亿融资曝光

苹果官宣 iPhone 国行 AI，首批 Apple 智能功能 11 月 4 日随 iOS 开发者 Beta 在中国开放测试，12 月随 iOS 27.3 正式推出，与阿里巴巴合作在 Siri、写作工具和视觉智能中接入千问，支持 iPhone 15 Pro 及后续机型。

打造 AIE CODE：顶级 Coding Agent 大会幕后

AI Engineer 团队揭晓年度收官旗舰峰会 AIE CODE 的幕后策划，峰会为单轨道、仅限邀约的 1000 名顶尖智能体工程师，主题包括 Scaling without Slop、System One 模型和更具野心的软件重写，还剩数百个座位，LS 付费订阅者可用 LS30 享 7 折。

OpenAI 宣布数学、计算机科学和物理三项重大发现，并引入外部专家验证机制

OpenAI 宣布三项重大发现，涉及数学、计算机科学和物理，包括证明指数时间假说（ETH）为假、在所有维度证明局部平滑猜想并由此解决 Kakeya 猜想，以及关于四维含规范场和费米子的相互作用量子场论的严格存在性证明。

同一新闻，精选展示《OpenAI 宣布 AI 破解挂谷猜想、推翻 ETH 假设并给出杨-米尔斯存在性证明》

iPhone Duo 一秒售罄发货排到明年；马斯克回应 Grok Bot 被封考虑自建电商；谷歌创始人：AI 正开始自己造自己

苹果首款折叠屏 iPhone Duo 10 月 16 日晚 8 点开启预购，约一分钟内各大电商平台售罄，官网发货排至明年 1 月 22 日。同期，马斯克在 Grok Bot 被亚马逊封禁下单后表示考虑创立与其竞争的电商平台；谷歌联合创始人布林称 Gemini 已开始参与打造下一代模型，谷歌「正踏上 RSI 的跑步机」，AI 智能体已承担大部分生产代码编写和漏洞修复工作，但代码变更仍需人工审核。

MIT教授称OpenAI攻克千禧年难题，人类已看不懂

新智元报道称，OpenAI 一口气发表 722 篇论文，涉及唯一博弈猜想、准黎曼假设等知名未解数学难题，这些论文仍接受核查。MIT 教授对此表示绝望，称人类已经看不懂。

OpenAI 放出 722 篇数学手稿，声称将挂谷猜想推进到四维

OpenAI 于 10 月 7 日一次性公开 722 篇数学手稿，论文和部分 Lean 证明上传至 GitHub，其中编号 074 的两篇共 272 页，作者栏只写 OpenAI。

OpenAI发布722篇AI数学手稿，引发优先权与验证争议

美东时间10月6日，OpenAI发布由一款尚未公开的内部模型撰写的722篇数学研究手稿，归纳为17个领域的372个成果类别，其中162篇附有Lean形式化证明，官方称每项成功结果消耗的算力相当于ChatGPT Pro思考3小时。

OpenAI 公开 722 个数学发现手稿，涉及霍奇猜想与黎曼 zeta 函数

OpenAI 在推特上官宣，正在发布由内部前沿模型产生的一系列全新数学成果，共 722 份手稿一次性上传至 GitHub，内容涉及霍奇猜想、黎曼 zeta 函数等。

OpenAI 用内部模型 3 小时解决四维挂谷问题，722 篇手稿遭数学界质疑

OpenAI 称其未公开的内部模型用平均约 3 小时解决了三维挂谷极大函数猜想，并首次证出四维挂谷集的豪斯多夫维数等于 4，此前人类在四维的最好成绩是 2021 年得到的 3.059。

OpenAI 在 GitHub 发布 372 条 AI 生成的数学结果

OpenAI 在 GitHub 发布 372 条由内部前沿模型生成的数学结果，每条据称解决或推进了一个开放问题，其中包含对重要计算机算法的改进以及与黎曼假设相关的进展。

同一新闻，精选展示《OpenAI 放出 722 篇数学手稿，声称将挂谷猜想推进到四维》

OpenAI 发布 722 篇数学手稿，称解决数百个开放问题

OpenAI 发布了一批共 722 篇手稿，覆盖 372 个结果族，称其中包含对数百个开放数学问题的解答，这些结果由一个未发布的前沿模型产出。OpenAI 表示平均每个结果消耗相当于 ChatGPT Pro 思考三小时的算力，并公开了部分推理摘要、算力估算和尝试问题数量的统计。

OpenAI 内部模型发布 722 篇数学论文，宣称解决 500 个开放问题中的 90 个

OpenAI 在一个公开 GitHub 仓库中发布了其未公开内部前沿模型产出的数学成果，称这批结果来自约 4000 个研究问题的评估，平均每个结果消耗约三小时 ChatGPT Pro 的思考算力。