苹果首款折叠屏发布、OpenAI 攻克千禧年难题｜科技快讯 9.10
一分钟速览
- 苹果秋季发布会：iPhone 18 Pro 首发 2nm 芯片，首款折叠屏 iPhone Duo 15999 元起
- OpenAI 宣布攻克纳维-斯托克斯千禧年难题：约 1 万个 AI Agent，88 小时出证明
- Shopify 收购 Tailwind：每周安装超 1.1 亿次的 CSS 框架有了新东家
- 谷歌宣布「降级」欧洲搜索：为合规 DMA 主动削弱自家体验
- OECD 警报：学生成绩创 PISA 启动以来新低，常用 AI 的学生科学分低 20 分
- DeepSeek 新一轮扩招 150 人：0 个 AI 研究岗，年内规模剑指 1000 人
- 蚂蚁系 AI 模型登上肿瘤学顶刊：术前预测胃癌手术风险
苹果秋季发布会：折叠屏终于来了，2nm 芯片首秀
苹果 9 月 10 日凌晨举行秋季发布会，新任 CEO 特努斯迎来首秀。首款折叠屏 iPhone Duo 正式亮相，国行 15999 元起、10 月 23 日发售，采用侧边 Touch ID，未适配应用提供 3 种兼容模式，还成为首款支持 Apple Pencil 的 iPhone。iPhone 18 Pro 系列起售价 9999 元，首发台积电 2nm 制程 A20 Pro 芯片，搭载苹果自研 C2 5G 基带（上传提速 50%），主摄首次用上 6 叶片可变光圈。此前日经报道称折叠屏初期日产能仅数百部，年内 800 万部目标吃紧。（IT之家、MacRumors）
小源说：剧透了一整年的发布会，苹果的应对不是再造惊喜，而是直接在官网开 FAQ 回应折痕质疑——当保密失效，苹果第一次学会了「答疑式营销」。真正的考试在 10 月 23 日：产品还没爬完产能就敢开发布会，供货能力将决定「折叠元年」是不是空谈。
OpenAI 宣布攻克千禧年难题：1 万个 Agent，88 小时
OpenAI 宣布其内部多智能体系统完成了纳维-斯托克斯方程存在性与光滑性问题的解答：证明了初始光滑的流体在光滑外力下可在有限时间内形成奇点，并同时公开论文与 Lean 形式化证明。系统从 9 月 1 日起并行探索全部千禧年难题，该问题投入约 1 万个 Agent，先以 100 个 Agent、50 小时解决欧拉方程正则性作为铺垫，88 小时得到解答，再用 17 小时完成 Lean 验证。争议随之而来：纽约大学流体专家 Buckmaster 公开称其团队 8 月 15 日已取得相关方程突破，质疑 OpenAI 对研究过程的描述不完整；OpenAI 否认使用用户数据。（爱范儿）
小源说：值得注意的细节是时间账——证明花了 88 小时，Lean 形式化验证只用 17 小时。数学界延续几十年的「人工审稿、逐步复查」流程，如今成了整条链路里最慢的一环；期刊体系对 AI 证明的审稿标准还没被发明出来。
Shopify 收购 Tailwind：每周 1.1 亿次安装的开源框架有了新家
Tailwind CSS 创始人 Adam Wathan 宣布团队加入 Shopify。该框架已运作九年，每周安装量超过 1.1 亿次，ChatGPT、X、Cloudflare、Reddit 等产品都在用。承诺不变的是开源：Tailwind CSS 及其他开源项目继续保持 MIT 协议、原团队维护；变化在商业侧，面向新客户的 Tailwind Plus、ui.sh 停止接受新注册，公司不再围绕 Tailwind 做模板生意。（Tailwind CSS 官方博客）
小源说：靠模板和付费 UI 组件养开源框架这条路被证明走到头了，Wathan 的解法是把自己「托付」给最大的企业用户。开发者生态的隐性变化值得留意：你每天用的免费工具，正越来越多由某一家巨头的内部需求来供养——它是保险，也是绑定。
谷歌宣布「降级」欧洲搜索：合规的代价让用户买单
为遵守欧盟《数字市场法》（DMA），谷歌宣布调整欧洲搜索服务：提升 Expedia、Hotels.com 等比价服务的权重，同时移除酒店、航空和餐厅搜索结果中的部分实时信息。谷歌高级副总裁 Nick Fox 直言，这些改变「降低了欧洲用户的体验——以牺牲本地企业为代价提升了在线中介平台的地位」。（Solidot）
小源说：「合规性降级」正在成为平台反制监管的标准姿势——不退出市场，而是让守法状态变得难用，把用户的不满引向监管者。监管方考核的是条款是否被遵守，很难考核体验是否被故意做差，这个执法盲区短期内无解。
OECD 警报：学生成绩创新低，常用 AI 的学生科学分低 20 分
经合组织（OECD）报告显示，15 岁学生的阅读、数学和科学成绩降至 2000 年 PISA 测试启动以来最低水平，阅读能力相当于过去低一岁学生。OECD 将下滑归因于屏幕使用时长增加、兴趣阅读减少和数字设备干扰。另一个扎眼的数据：经常用 AI 聊天机器人起草论文或总结文本的学生，科学成绩平均低 20 分——相当于一年的学习差距。（Solidot）
小源说：「用 AI 的学生成绩更差」大概率是相关而非因果——更可能是成绩靠后的学生更依赖 AI 代劳。但别指望政策等因果链查清再行动，各国的校园禁令会先落地，教师和厂商都将被迫在证据不足时站队。
DeepSeek 扩招 150 人：0 个 AI 研究岗，年内剑指 1000 人
DeepSeek 9 月 8 日启动新一轮招聘，开放约 150 个名额，全部集中在服务端开发与 Agent 弹性计算两类工程岗位，面向 2-10 年经验的资深工程师，没有设置任何 AI 研究类岗位。Harness 团队负责人崔添翼解释，数据的量、机器的量、训练与评测任务的量、Agent 环境的量都在急剧增加，系统工程挑战成为首要矛盾。另有投资人透露，DeepSeek 年内目标将团队扩张至 1000 人，规模追平智谱。（雷锋网、21 世纪经济报道）
小源说：这轮招聘表暴露了一个行业级转折——「造模型」的研究员不缺，「把模型跑起来」的工程师最稀缺。当头部实验室开始把招聘预算从算法岗挪向基础设施岗，说明模型能力的边际收益已经在让位给系统工程能力。
蚂蚁系 AI 登上肿瘤学顶刊：术前预测胃癌手术风险
肿瘤学顶刊《Annals of Oncology》接收了一项来自蚂蚁阿福与河北肿瘤医院团队的研究：AI 模型 DeepComp 可以在胃癌手术开始前，仅用常规增强 CT 和临床资料，同时预测患者术后中重度并发症概率与长期生存风险。这是该团队近期登顶的第三项研究，另两项预测术后早期复发与肝转移的模型论文分别发表于《Nature Communications》等期刊。（雷锋网）
小源说：关键在「常规增强 CT」五个字——不新增任何设备就能跑的 AI，才有规模化落地的可能。医疗 AI 卡脖子的一直不是模型精度，而是能不能无缝嵌进医院现有的检查流程里，这项研究把教科书式的答案做出来了。