陶哲轩提出「数学 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 向儿童安全组织提交超 1.5 万起报告。此外，Anthropic 修订使用政策，拟于 11 月 12 日起禁止用户无明确目的地对模型实施极端残忍行为。公司澄清，表达不满、反驳模型、创作黑暗题材内容及正常测试研究不在禁令范围内。（来源：快科技）
英伟达洽谈收购 Reflection AI，已投资 8 亿美元，后者估值达 250 亿美元
10 月 11 日消息，英伟达正与 AI 初创企业 Reflection AI 就潜在收购或扩大投资进行初步谈判。交易形式可能包括全面收购、追加股权、提供芯片算力支持或技术授权等。英伟达此前已投资 8 亿美元，是其主要股东之一。
知情人士透露，双方有望在未来数周内达成协议。Reflection AI 今年 3 月融资时估值达 250 亿美元，其开发的开放权重 AI 模型被美国政府视为抗衡 DeepSeek 等低成本竞争对手的重要战略资源。（来源：新浪科技）
消息称 OLED 屏新款 iPad mini 售价将大幅上涨，或接近 799 美元
10 月 11 日，彭博社记者马克·古尔曼指出，苹果计划本月晚些时候发布新款 iPad mini。新机起步存储空间可能提升，但售价预计将大幅上涨至近 799 美元（约合人民币 5,359 元），远高于现款 iPad mini 7 的 599 美元（约合人民币 4,017 元）。
据悉，新款 iPad mini 将首次采用 OLED 屏幕，重新设计机身，配备全新扬声器系统及性能更强的芯片。（来源：IT 之家）
京东预约超 200 万人：苹果 iPhone Duo 折叠屏手机 15999 元起倒数 5 天预售
10 月 11 日消息，苹果折叠屏手机 iPhone Duo 定价 15999 元起，国行版将于 10 月 16 日晚 8 点开启预购。目前京东平台预约人数已超 200 万。
需注意以下事项：
iPhone Duo 仅支持 eSIM。
京东渠道首批订单可能需要签收激活（具体以下单标题或客服咨询为准），即便不使用补贴，也需激活后才能完成签收流程。（来源：IT 之家）
尊界：踏板升级方案预计于 10 月底确认，11 月起陆续启动升级
10 月 11 日下午，尊界客服确认，尊界 V800 制动踏板支架底座升级方案预计于 10 月底最终确认，11 月起陆续启动升级。
此前，尊界汽车发布情况说明，承诺优化该部件设计并为已交付用户提供免费升级。已提车用户可通过全国服务中心或购车门店登记预约；未发运车辆将在交付前直接完成升级，用户无需额外操作。（来源：北京日报）
比亚迪李柯：五年内赶超丰田、大众，登顶全球车企销量第一
10 月 11 日消息，比亚迪执行副总裁李柯在新加坡峰会上表示，公司计划未来五年内赶超丰田和大众，成为全球最大汽车制造商。比亚迪将继续坚持出海战略，开拓欧洲、美洲、亚洲及大洋洲市场，并强调其在储能、光伏及电池技术领域的领先地位。
关于美国市场，李柯明确表示暂时不进入，主要原因在于美国拟立法限制中国联网汽车及软件进入。即便在美国设厂的品牌如极星，也不得不转向其他市场销售。（来源：cnBeta）
SpaceXAI 官方账号更名为 SpaceX Super Intelligence
10 月 11 日，马斯克在社交平台展示截图，显示 SpaceXAI 官方账号已更名为「SpaceX Super Intelligence」（@SpaceXSI）。此前马斯克曾表示，SpaceX 是一家超级智能（SI）公司，并将把 SpaceXAI 改名为 SpaceXSI。（来源：财联社）
高通 CEO：有 AI 公司希望 2028 年让手机持续运行千亿参数模型
10 月 11 日，高通 CEO 克里斯蒂亚诺·阿蒙透露，部分前沿 AI 公司目标是在 2028 年实现手机端持续运行千亿参数大语言模型。但他强调，2028 年是这些企业的目标时间，并非商用手机的确定上市时间。
目前主要障碍在于内存。按 4 位量化计算，千亿参数模型仅存放参数即需约 50GB，实际运行还需预留系统及应用空间。此外，手机厂商还需解决成本、功耗和散热问题。能否实用化取决于模型压缩、芯片设计及内存技术的进展。（来源：cnBeta）
消息称索尼 PS5 Pro 供应紧张局面最早到明年初才能缓解，国内市场已被炒到 7000 元以上
10 月 11 日，外媒 ComputerBase 援引索尼内部备忘录称，受《GTA6》影响，PS5 Pro 供应紧张局势可能持续至 2027 年初才能缓解。
受供需失衡及内存涨价影响，国内 PS5 Pro 价格从年初的约 4699 元被炒至 7000 元以上。许多玩家为获得更佳画质体验《GTA6》而争相购买 PS5 Pro，部分玩家转而选择 PS5 Slim 或 XBOX Series X。（来源：IT 之家）
古尔曼：苹果首款智能家庭中枢定名 HomeView，搭载 A18 芯片、四种配色
10 月 11 日，彭博社记者马克·古尔曼透露，苹果首款智能家庭中枢命名为「HomeView」，预计 10 月 13 日发布，11 月出货。该设备外观类似 iMac G4，采用悬浮屏设计，下方配有扬声器底座，搭载 A18 芯片，并提供壁挂版本。
产品提供深空灰、银色、星光色和粉色四种配色，壁挂版仅有深空灰和银色。HomeView 以 AI Siri 为核心，主要通过语音交互，运行苹果自家 App 但不支持 App Store，用户可通过 iPhone 投射第三方应用小组件。（来源：IT 之家）
蚂蚁「灵光」开启小范围内测，新版对标「Meta Muse」
10 月 11 日消息，蚂蚁集团 AI 产品「灵光」新版本开启小范围内测，对标 Meta 个人智能体 Muse。该项目筹备约半年，计划本月全面开放。
此次升级核心在于从 AI 助手转向拥有长期记忆、可主动推进任务的 AI 原生个人智能体。新版本支持调用 Skill 和 MCP，实现钉钉发消息、控制智能家居等功能。内测场景聚焦长程、多变量任务，如跟踪市场异动、管理打卡、重排旅行路线等。（来源：新浪科技）
Qwen-Image-2.1 Pro 和 Turbo API 上线千问 AI 平台，将图像生成与编辑能力接入应用
10 月 11 日，千问 AI 平台正式上线 Qwen-Image-2.1 Pro 和 Turbo API，开发者可直接接入图像生成与编辑能力，无需自行部署。同时，Qwen-Image-2.1-Turbo 模型权重同步开放。
Qwen-Image-2.1 支持最多 10 张参考图输入，可通过圈选、涂抹等方式明确编辑区域，并在人像和商品编辑中增强一致性，保留面部特征及文字纹理。Qwen-Image-2.1-Turbo 基于 7B 视觉生成架构，将去噪过程缩短至 8 步，支持 2K 图像生成与编辑。（来源：IT 之家）
英国水果蔬菜营养价值下降最高五成
10 月 11 日，Deep Science Ventures 研究发现，自 1960 年代以来，英国水果和蔬菜的营养价值最高下降五成。民众需食用两倍数量的蔬菜才能摄入与 60 年前同等水平的钾、镁或铜等矿物质。
关键营养素含量减少 20%-50%，主要归因于土壤质量退化及育种过度追求快速生长而忽视营养价值。使用减肥药物的人群面临更大的营养匮乏风险，因为药物导致食物摄入量显著减少。（来源：solidot）
*图片来源：视觉中国
播客上新
