尊界11月升级踏板、iPhone折叠屏国内预约破200万、Claude半年封杀超千万账户｜极客早知道

陶哲轩提出「数学 2.0」：AI 解题之外，还要帮助人理解证明

10 月 11 日，数学家陶哲轩公开了在加州理工学院的演讲《数学 2.0》。他认为，AI 正在降低部分数学问题的求解成本，使数学研究逐渐从「证明稀缺」走向「证明富足」。但目前多数前沿问题仍未解决，不能只凭公开传播的成功案例判断 AI 的整体能力。

陶哲轩指出，得到正确证明，并不意味着研究者理解了证明为何成立，或掌握了可用于其他问题的新方法。他主张用 AI 寻找更易理解的证明、整理分散的研究成果，并对大量数学问题开展系统分析。例如，等式理论项目通过人类与自动化工具协作，对超过 2200 万个命题作出了判定。

对于 AI 解题能力的评估，他还呼吁公开计算资源消耗、失败尝试等信息。在陶哲轩看来，未来数学研究既要利用 AI 扩展探索范围，也要保留人类对证明及其现实应用的理解和判断。（来源：机器之心）

Claude 爆发大规模封号潮：半年封杀 1140 万个账号申诉后仅 4.2 万翻案

10 月 11 日，据媒体报道，近期 Claude 账号封禁问题引发开发者讨论。受到关注的一项数据来自 Anthropic 今年 7 月发布的报告：2026 年上半年，平台累计封禁约 1140 万个账号；收到约 39.8 万次申诉，其中约 4.2 万次申诉成功。报告未披露完整的封禁原因分布，仅凭这些数字也无法判断近期封号是否增加，但申诉结果使平台的封禁标准和复核机制受到关注。

Anthropic 列出的违规情形包括利用服务从事违法活动、侵犯隐私，以及违反地区使用限制等。今年上半年，Anthropic 还向相关儿童安全组织提交了超过 1.5 万起报告。

此外，Anthropic 近期修订了 Claude 使用政策，计划自 11 月 12 日起禁止用户在没有明显目的的情况下，反复对模型实施极端残忍行为。公司称，新规针对的是极端情形；用户表达不满、反驳模型、创作黑暗题材内容，以及开展模型测试与研究，不属于该项禁令的范围。（来源：快科技）

英伟达洽谈收购 Reflection AI，已投资 8 亿美元，后者估值达 250 亿美元

10 月 11 日，据媒体报道，英伟达正与美国人工智能初创企业 Reflection AI 就潜在收购或进一步扩大投资展开初步谈判，交易可能采取全面收购、追加股权投资、提供更多芯片及算力支持，或通过聘用员工并获得技术授权等多种形式。英伟达此前已向 Reflection AI 投资 8 亿美元，是其最大股东之一。

知情人士透露，双方可能在未来数周内达成协议。Reflection AI 今年 3 月融资时的估值达到 250 亿美元，其开发的开放权重 AI 模型被美国政府视为抗衡 DeepSeek 等低成本竞争对手的重要技术资源。（来源：新浪科技）

消息称 OLED 屏新款 iPad mini 售价将大幅上涨，或接近 799 美元

10 月 11 日，彭博社记者马克 · 古尔曼表示，苹果计划本月晚些时候推出新款 iPad mini。新机的起步存储空间可能会有所提升，但有意换机的用户得提前做好涨价的准备。

古尔曼透露，新款 iPad mini 售价相比现款机型将大幅上涨，预计将接近 799 美元（IT 之家注：现汇率约合 5,359 元人民币）。作为对比，现款 iPad mini 7 价格为 599 美元（现汇率约合 4,017 元人民币）/4,799 元人民币。

据悉，新款 iPad mini 将首次采用 OLED 屏幕，配备重新设计的机身。预计将拥有全新扬声器系统，搭载性能更强的芯片。（来源：IT 之家）

京东预约超 200 万人：苹果 iPhone Duo 折叠屏手机 15999 元起倒数 5 天预售

10 月 11 日，iPhone Duo 定价 15999 元起，国行 10 月 16 日晚 8 点接受预购。

京东目前预约人数已超 200 万人，需要注意的是：

• iPhone Duo 仅支持 eSIM

• 京东渠道首批可能需要签收激活（以下单时宝贝标题 / 咨询客服为准，就算不用任何补贴，也需激活后才能签收）（来源：IT 之家）

10 月 11 日下午，尊界客服向记者确认，尊界 V800 制动踏板支架底座升级方案预计于 10 月底确认，11 月起陆续启动升级。

10 月 8 日晚，尊界汽车发布关于尊界汽车制动踏板支架底座相关问题的情况说明，称将进一步优化该部件设计，并为已交付用户提供免费升级选择。

11 日下午，尊界客服告诉记者，目前，已提车的用户可通过全国任一服务中心预约登记，也可直接联系购车门店登记，届时用户中心将会第一时间联系用户；而未发运车辆会被直接升级后再交付，用户无需额外操作。（来源：北京日报）

比亚迪李柯：五年内赶超丰田、大众 登顶全球车企销量第一

10 月 11 日，日前，比亚迪执行副总裁、国际业务负责人李柯在新加坡一场峰会上明确了公司下一阶段的全球战略目标，计划未来五年内赶超丰田和大众，成为全球最大汽车制造商。她表示，比亚迪将坚持出海战略，持续开拓欧洲、中美洲、南美洲、亚洲和大洋洲市场，并强调公司在储能、光伏、电池等多个领域实现领跑，电池技术是核心竞争力之一，优势不只在汽车。

谈到美国市场，李柯明确表示暂时不进入，原因是美国拟以立法形式强化对中国相关联网汽车及车辆软件进入美国市场的限制，即便在美国设厂的极星，也不得不转向其他市场销售。（来源：cnBeta）

SpaceXAI 官方账号更名为 SpaceX Super Intelligence

10 月 11 日，马斯克当地时间 10 月 10 日在社交平台发布一张截图，显示 SpaceXAI 的官方账号已更名为「SpaceX Super Intelligence」（）。

此前 10 月 4 日，马斯克表示，SpaceX 是一家超级智能（SI）公司，我们将把 SpaceXAI 改名为 SpaceXSI。（来源：财联社）

高通 CEO：有 AI 公司希望 2028 年让手机持续运行千亿参数模型

10 月 11 日，高通 CEO 克里斯蒂亚诺·阿蒙透露，部分前沿 AI 公司希望到 2028 年，让手机能够持续运行参数量达 1000 亿的大语言模型。他没有透露相关公司的名称，也未公布高通的产品计划；2028 年是这些企业提出的目标，并非商用手机的确定上市时间。

内存是目前最直接的障碍。按 4 位量化计算，千亿参数模型仅存放参数就约需 50GB，实际运行还要为系统、应用和推理过程留出空间。手机厂商也需要解决成本、功耗和散热问题。未来能否在手机上实用化，仍取决于模型压缩、芯片设计与内存技术的进展。（来源：cnBeta）

消息称索尼 PS5 Pro 供应紧张局面最早到明年初才能缓解，国内市场已被炒到 7000 元以上

10 月 11 日，据外媒 ComputerBase 报道，索尼一份内部备忘录显示，因《GTA6》造成的 PS5 Pro 供应紧张局面可能还将持续较长时间，最早要到 2027 年初才有望缓解。

今年以来，索尼 PS5 Pro 游戏机价格被不断炒高，以国内市场为例，今年初该机到手价约为 4699 元，而如今已被炒到 7000 元以上，反映出供需失衡对市场价格的影响。

业界公认，《GTA 6》是推动 PS5 Pro 需求增长的最重要因素。不少玩家希望使用性能更强的 PS5 Pro，以更高画质游玩本作。再加上今年以来的内存涨价潮，导致 PS5 Pro 水涨船高、供不应求。这也导致一部分玩家转而购买 PS5 Slim 或 XBOX Series X 游玩《GTA 6》。（来源：IT 之家）

古尔曼：苹果首款智能家庭中枢定名 HomeView，搭载 A18 芯片、四种配色

10 月 11 日，彭博社记者马克 · 古尔曼在新一期《Power On》通讯中透露，苹果首款智能家庭中枢名为「HomeView」，预计将在 10 月 13 日的「欢迎回家」活动正式发布，11 月出货。

据介绍，这款产品的外观设计类似 iMac G4「台灯电脑」，采用悬浮式屏幕，下方配有扬声器底座。该设备将搭载 A18 芯片，官方还将推出壁挂安装版本。

这款新产品将提供深空灰、银色、星光色和粉色四种配色，壁挂版仅有深空灰、银色两种配色。

古尔曼表示，这款产品主要使用语音交互，以 AI Siri 为核心。用户可以在房间另一端查看设备显示内容，并且该产品将运行苹果自家 App，但不支持 App Store。用户或许可以使用 iPhone，将第三方应用的小组件投射到设备上。（来源：IT 之家）

蚂蚁「灵光」开启小范围内测，新版对标「Meta Muse」

10 月 11 日，据悉，蚂蚁集团旗下 AI 产品「灵光」已于近日开启新版本的小范围内测，新版对标「Meta Muse」。公开信息显示，今年 9 月，Meta 推出个人智能体 Muse。该智能体可介入用户日常生活，并持续跟进用户交待的事宜。接近项目人士透露，灵光相关方向约半年前已开始筹备，期间迭代多个版本，计划本月全面开放。

该人士还透露，此次升级的核心，是灵光从能聊天、能生成应用的 AI 助手，转向拥有长期记忆、可主动推进任务的 AI 原生个人智能体。灵光新版本还能通过调用 Skill 和 MCP，实现钉钉发信息、调用智能家居设备等功能。据悉，灵光 2.0 的内测用例集中在长程、变量多、普通人难盯住的场景，例如帮上班族跟踪市场异动、帮家长管理钉钉打卡、旅行中遇航班延误或景区限流重排路线等。（来源：新浪科技）

Qwen-Image-2.1 Pro 和 Turbo API 上线千问 AI 平台，将图像生成与编辑能力接入应用

10 月 11 日，千问 AI 平台宣布，Qwen-Image-2.1 Pro 和 Turbo API 现已正式上线千问 AI 平台。开发者可以通过 API 将图像生成与编辑能力接入应用，无需自行部署模型、管理推理环境，即可围绕设计、电商、内容创作等场景搭建自己的工作流。与此同时，Qwen-Image-2.1-Turbo 模型权重同步开放。

Qwen-Image-2.1 模型最多支持 10 张参考图输入，支持通过圈选、涂抹和独立掩码明确编辑区域。与此同时，2.1 加强了人像和商品编辑中的一致性表现：在人像编辑中更好地保留面部身份特征，在商品编辑中尽可能保持文字、纹理与形态。此外，Qwen-Image-2.1-Turbo 支持 2K 图像生成与图像编辑。

Qwen-Image-2.1-Turbo 基于 Qwen-Image-2.1 的 7B 视觉生成架构，将图像生成与编辑的去噪过程缩短至 8 步，同时保留 2K 图像创作能力。（来源：IT 之家）

英国水果蔬菜营养价值下降最高五成

10 月 11 日，据Deep Science Ventures 研究人员的一项研究发现，英国水果和蔬菜的营养价值自 1960 年代以来减少最高五成。英国民众现在需要食用两倍数量的蔬菜，才能摄入与 60 年前同等水平的矿物质如钾、镁或铜。

许多农作物中几种关键营养素的含量减少了 20%-50%。营养和维生素含量的下降主要归因于土壤质量的退化，以及作物在育种时过度追求快速生长，而忽视了其营养价值。正使用减肥药物的人群面临的营养匮乏风险可能最大，因为减肥药会导致他们的食物摄入量显著减少。（来源：solidot）