科技早报：Claude半年封号超千万，英伟达洽购Reflection AI

陶哲轩提「数学 2.0」：AI 求解外还需助人理解证明

数学家陶哲轩在加州理工学院发表《数学 2.0》演讲。他认为，AI 正在显著降低部分数学问题的求解成本，推动数学研究从「证明稀缺」走向「证明富足」。但他强调，目前多数前沿问题仍未解决，不能仅凭公开传播的成功个案评判 AI 的整体能力。

陶哲轩指出，获得正确证明并不代表研究者真正理解了背后的机理。他主张利用 AI 寻找更易理解的证明路径、梳理分散成果，并呼吁评估 AI 解题能力时公开算力消耗与失败尝试记录。

---

Claude 封号潮引关注：半年处置 1140 万账号，申诉翻案仅 4.2 万

Anthropic 披露的数据显示，平台在半年内累计封禁约 1140 万个账号；共收到约 39.8 万次申诉，最终仅约 4.2 万次申诉成功，严格的封禁与复核机制引发开发者广泛讨论。

Anthropic 列出的违规情形包括违法活动、隐私侵犯及突破地区限制等。此外，Anthropic 修订了使用政策，自 11 月 12 日起禁止用户在无明确研究目的下，反复对模型实施极端残忍的提示词交互。

---

英伟达拟洽购 Reflection AI，标的估值达 250 亿美元

英伟达正与美国 AI 初创企业 Reflection AI 展开初步谈判，潜在合作形式包括全面收购、追加股权投资、提供更多芯片及算力支持，或通过聘用关键人员获取技术授权。英伟达此前已注资 8 亿美元，为其主要股东之一。Reflection AI 在此前融资中估值已达 250 亿美元，其开放权重模型被视作抗衡低成本大模型的重要力量。

---

硬件动态：iPhone 折叠屏预约超 200 万，OLED 版 iPad mini 面临涨价

• iPhone Duo：苹果折叠屏机型定价 15999 元起，国内电商平台预约量已突破 200 万人。该设备仅支持 eSIM。
• 新款 iPad mini：彭博社透露，换用 OLED 屏幕及新架构芯片的新款 iPad mini 售价将大幅上涨，起步价或接近 799 美元。
• 苹果智能家居中枢 HomeView：古尔曼称苹果首款带屏家庭中枢定名「HomeView」，搭载 A18 芯片，外观类似台灯 iMac，以 AI Siri 语音交互为核心，不支持 App Store。
• 高通展望端侧千亿模型：高通 CEO 阿蒙透露，有前沿 AI 公司希望到 2028 年让手机持续运行千亿参数模型，但内存占用与功耗仍是主要瓶颈。

---

行业速览：蚂蚁灵光升级智能体，阿里开源 Qwen 视觉生成权重

• 蚂蚁「灵光」内测：新版对标 Meta Muse，从生成型助手转向具备长期记忆、可主动推进复杂任务的原生个人智能体，支持调用工具完成跨软件操作。
• 千问上线 Qwen-Image-2.1：千问 AI 平台推出 Pro 与 Turbo API，并开源 Qwen-Image-2.1-Turbo 权重，8 步去噪即可完成 2K 级图像生成与精准区域编辑。
• 尊界踏板升级：尊界汽车确认 V800 制动踏板支架底座升级方案预计 10 月底敲定，11 月起陆续面向已提车用户提供免费升级。