首页 / 资讯详情
尊界：11 月起陆续升级踏板；iPhone 折叠屏国内预约超 200 万；6 个月，超千万 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 屏幕，配备重新设计的机身。预计将拥有全新扬声器系统，搭载