早报|苹果CEO特努斯回应折叠屏迟到:不做半成品/长鑫存储利润率超三星海力士/36.9万,特斯拉Model Y高性能版上市
陶哲轩等 25 位菲尔兹奖得主联名发文:警惕 AI 将数学难题异化为评测基准
苹果 CEO 回应折叠屏为何「迟到」:不赶时间做半成品
网易 UU 远程借苹果折叠屏「催更」引争议,相关动态已删除
马斯克怒斥吉布尼纪录片《马斯克》是「抹黑之作」
特斯拉 Model Y 高性能版上市,售价 36.9 万元
微软计划到 2032 年把数据中心容量扩至 38 GW 以上
九部门发布新能源汽车「十五五」规划,2030 年自动驾驶汽车将规模应用
长鑫存储第二季度息税前利润率升至 82%
OpenAI 将于下周停用 GPT-5.3-Codex-Spark
甲骨文第一财季营收达到 193.45 亿美元
智谱启动约 50 亿美元再融资,股权配售与可转债同步进行
联想 x86 服务器出货量升至全球第一,与戴尔销售额份额仅差 0.6 个百分点
燧原科技科创板上市,开盘涨 188.37%
Joshua Rothman:把 AI Agent 当成人,会遮蔽可控的技术细节
OPPO A7 Pro 开售,配备 8000 mAh 电池和 IP69K 防护
Cognition 基于 Kimi K3 训练 SWE-2,复杂编程任务成本降至 Astra 的四分之一
商汤小浣熊移动端上线,可远程调度电脑继续任务
支付宝与高德动量把支付能力接入机器狗「途途」
Cursor 推出 Projects,用协调 Agent 管理长期开发任务
Android 支持在密码管理器之间直接迁移密码和通行密钥
DeepSeek 撤回 V4 Pro 强制迁移计划,9 月 14 日后继续提供 API
基元律动开源 NeoHorse-1,让 Agent 执行轨迹回流训练
AMD 锐龙 AI Max PRO 400 系列在华首秀,9 款合作伙伴新品亮相
iPhone 17 系列官网涨价后,线下渠道降价 500 至 800 元
周末也值得一看的新闻
陶哲轩等 25 位菲尔兹奖得主联名发文:警惕 AI 将数学难题异化为评测基准

陶哲轩、彼得·舒尔茨、雨果·迪米尼科潘、玛丽娜·维亚佐夫斯卡等 25 位菲尔兹奖得主昨日共同发表声明,并由陶哲轩牵头联合发表《数学领域中 AI 的严重目标错位》一文,警示 AI 公司将攻克著名数学难题作为模型能力衡量基准的做法,可能对数学研究与学术共同体带来破坏性影响。
声明指出,大语言模型近期在解决多个数学开放问题上取得快速进展,但 AI 公司的目标与数学界的核心诉求存在脱节。
数学研究的核心价值在于理解命题为何成立、发展新概念与工具并传承知识,而非单纯生产「命题是否为真」的结论。如果模型输出证明的速度远快于人类理解速度,可能导致大量难以被消化、解释和教学的结论堆积,冲击数学家培养与知识传承体系。
此外,部分由 AI 推动的数学成果发布仓促,面临缺乏严谨梳理、既有引用不充分以及署名和归属权争议等学术规范问题。声明并未否定 AI 的辅助价值,但明确反对将重大数学猜想简化为模型排行榜的分数竞争。
该联合声明的发布背景与近期技术动向密切相关。9 月 8 日,OpenAI 宣布其一款未公开内部模型的计算能力已解答千禧年大奖难题之一的纳维斯托克斯方程存在性与光滑性问题,并发布了 166 页的论文,目前该结果正等待全球数学界严格核验。
OpenAI 首席研究官 Mark Chen 与研究员 Sébastien Bubeck 透露,该研究消耗了数百万美元计算成本,计算投入约为此前数学成果的 1000 倍。
相关阅读:刚刚,陶哲轩等 25 位菲尔兹奖得主联名警告:别让 AI 掏空数学
苹果 CEO 回应折叠屏为何「迟到」:不赶时间做半成品

苹果 CEO 约翰·特努斯与全球营销高级副总裁格雷格·乔斯维亚克在接受 TechRadar 专访时谈及 iPhone Duo 的研发思路,并回应苹果为何在折叠屏手机发展多年后才入场。<
陶哲轩等 25 位菲尔兹奖得主联名发文:警惕 AI 将数学难题异化为评测基准
苹果 CEO 回应折叠屏为何「迟到」:不赶时间做半成品
网易 UU 远程借苹果折叠屏「催更」引争议,相关动态已删除
马斯克怒斥吉布尼纪录片《马斯克》是「抹黑之作」
特斯拉 Model Y 高性能版上市,售价 36.9 万元
微软计划到 2032 年把数据中心容量扩至 38 GW 以上
九部门发布新能源汽车「十五五」规划,2030 年自动驾驶汽车将规模应用
长鑫存储第二季度息税前利润率升至 82%
OpenAI 将于下周停用 GPT-5.3-Codex-Spark
甲骨文第一财季营收达到 193.45 亿美元
智谱启动约 50 亿美元再融资,股权配售与可转债同步进行
联想 x86 服务器出货量升至全球第一,与戴尔销售额份额仅差 0.6 个百分点
燧原科技科创板上市,开盘涨 188.37%
Joshua Rothman:把 AI Agent 当成人,会遮蔽可控的技术细节
OPPO A7 Pro 开售,配备 8000 mAh 电池和 IP69K 防护
Cognition 基于 Kimi K3 训练 SWE-2,复杂编程任务成本降至 Astra 的四分之一
商汤小浣熊移动端上线,可远程调度电脑继续任务
支付宝与高德动量把支付能力接入机器狗「途途」
Cursor 推出 Projects,用协调 Agent 管理长期开发任务
Android 支持在密码管理器之间直接迁移密码和通行密钥
DeepSeek 撤回 V4 Pro 强制迁移计划,9 月 14 日后继续提供 API
基元律动开源 NeoHorse-1,让 Agent 执行轨迹回流训练
AMD 锐龙 AI Max PRO 400 系列在华首秀,9 款合作伙伴新品亮相
iPhone 17 系列官网涨价后,线下渠道降价 500 至 800 元
周末也值得一看的新闻
陶哲轩等 25 位菲尔兹奖得主联名发文:警惕 AI 将数学难题异化为评测基准

陶哲轩、彼得·舒尔茨、雨果·迪米尼科潘、玛丽娜·维亚佐夫斯卡等 25 位菲尔兹奖得主昨日共同发表声明,并由陶哲轩牵头联合发表《数学领域中 AI 的严重目标错位》一文,警示 AI 公司将攻克著名数学难题作为模型能力衡量基准的做法,可能对数学研究与学术共同体带来破坏性影响。
声明指出,大语言模型近期在解决多个数学开放问题上取得快速进展,但 AI 公司的目标与数学界的核心诉求存在脱节。
数学研究的核心价值在于理解命题为何成立、发展新概念与工具并传承知识,而非单纯生产「命题是否为真」的结论。如果模型输出证明的速度远快于人类理解速度,可能导致大量难以被消化、解释和教学的结论堆积,冲击数学家培养与知识传承体系。
此外,部分由 AI 推动的数学成果发布仓促,面临缺乏严谨梳理、既有引用不充分以及署名和归属权争议等学术规范问题。声明并未否定 AI 的辅助价值,但明确反对将重大数学猜想简化为模型排行榜的分数竞争。
该联合声明的发布背景与近期技术动向密切相关。9 月 8 日,OpenAI 宣布其一款未公开内部模型的计算能力已解答千禧年大奖难题之一的纳维斯托克斯方程存在性与光滑性问题,并发布了 166 页的论文,目前该结果正等待全球数学界严格核验。
OpenAI 首席研究官 Mark Chen 与研究员 Sébastien Bubeck 透露,该研究消耗了数百万美元计算成本,计算投入约为此前数学成果的 1000 倍。
相关阅读:刚刚,陶哲轩等 25 位菲尔兹奖得主联名警告:别让 AI 掏空数学
苹果 CEO 回应折叠屏为何「迟到」:不赶时间做半成品

苹果 CEO 约翰·特努斯与全球营销高级副总裁格雷格·乔斯维亚克在接受 TechRadar 专访时谈及 iPhone Duo 的研发思路,并回应苹果为何在折叠屏手机发展多年后才入场。<