OpenAI宣布在Navier-Stokes方程相关数学问题上取得AI辅助成果后，纽约大学研究者Buckmaster和Alpöge质疑其使用Codex推进的工作被OpenAI抢先发表，并怀疑研究日志或去标识化数据可能进入OpenAI训练流程。OpenAI在博客中否认员工或agent事先看到对方工作，但未完全排除用户产品数据对模型训练的间接影响。争议焦点包括：OpenAI曾提出以独立署名为条件要求删除一位作者并将成果归为内部模型解决，被视为学术不端；LLM/SaaS数据边界引发隐私担忧，评论者呼吁关闭WIP仓库、改用本地托管或零数据保留方案；也有声音强调数学成果不应被外推为通用科研突破，Navier-Stokes问题因有形式化目标适合Lean验证，但现实科研难以自动验证；此外争议还涉及AI完成99%以上工作时信用归属及千年问题数量等表述细节。
全部资讯
加州订阅式租车初创公司 Autonomy 宣布首次将燃油车纳入车队，以扭转早期仅押注电动车导致的困境。该公司由 Scott Painter 创立，2022 年承诺从 17 家车企采购 2.3 万辆电动车供订阅使用，但受特斯拉挑起的价格战冲击，车队规模仅略超 1,000 辆时贬值约三分之一。Autonomy 现与洛杉矶 Galpin Motors 合作，在加州引入福特 Mustang、Ranger、F-150、Bronco Sport、Escape、Explorer 等燃油车型，并将在亚利桑那、佛州、德州、纽约、北卡和华盛顿与经销商合作。公司收取一次性费用（电动车目前 1,000 美元）和月费，最短订阅一个月，目标客户包括大学生、军人家庭、外籍员工及希望获得"公司配车"体验的用户。新车均价已突破 5 万美元，Autonomy 仍保留约 500 辆电动车。此举与 Hertz 等租车公司卖掉特斯拉、转回燃油车的趋势相呼应。
Instacart 周三宣布推出 AI 购物助手 Clementine，能将对话、食谱或购物清单转化为可下单的购物车。用户可询问预算友好型儿童午餐、高蛋白二人晚餐等需求，上传手写或截图清单也可生成购物车，并按饮食偏好（如无麸质、素食、有机）推荐，附带优惠和更便宜替代品。CEO Chris Rogers 表示，该工具基于 Instacart 近 15 年的家庭购物与饮食数据打造，目前已在美加上线。文章指出 Uber Eats、DoorDash 也已推出类似 AI 助手，反映外卖平台正从单纯的商品购买渠道转向家庭餐饮规划入口，同时希望将用户留在自有应用内，避免其流向 ChatGPT 等通用聊天机器人。
本文聚焦 DeepSeek 推出 V4.1 Flash 与即将上线的 V4.1 Pro 之间的争议性发布策略。官方在 platform.deepseek.com/usage 的 banner 中宣布，Pro 正式发布前所有 Pro 请求会被路由到 Flash，并按 Flash 价格计费，这种"用户责任式"做法被评论者视为激进甚至前所未有。与此同时，社区围绕 reasoning effort 仅设 low/high/max 三档、缺少 medium 中间档导致体验割裂展开讨论，并对 V4.1 Flash 的性价比给出高度评价，认为它在多数个人项目和 agent 场景中已足以替代更贵的模型与 v4 Pro。另一条主线是开发者呼吁 DeepSeek 延续开放权重策略、保持模型体积以支持 128G 设备本地部署，同时关注 quant 与 context size 等现实门槛。整体反映中文大模型在低成本高性能赛道上的激烈竞争与社区对发布透明度的期待。
本文围绕 Hacker News 上对一篇 Lotus Notes 怀旧文章的讨论展开。原文标题承诺分享"从零开始"开发平台的教训，正文却只回顾了从 PLATO Notes 到 Lotus Notes、再到 IBM 收购的历史。读者认为标题与正文不符，猜测作者可能原本想讨论 IBM 基于 Eclipse 重写 Notes 的计划但未写出。评论从多个角度评价 Lotus Notes：一方认为它作为企业协作平台被低估，NSF 数据库设计透明且能承载 helpdesk、wiki、ERP 级业务逻辑；另一方批评其 UI 笨重过时。现代企业迁移成本极高，业务流程和数据深锁在 Notes 中，替换为 Outlook、Gmail 或 Java Web 应用往往历时数年且体验未必更好。后续 HCL Notes 和 HCL Verse 的出现说明该平台并未彻底消失，但争议持续。
这篇 Cory Doctorow 专栏将反对疫苗与放任垄断这两类现象做类比：它们都因曾被有效治理而遭到遗忘，使公众失去判断复杂因果的能力。作者回忆祖父伴侣 Rusty 患带状疱疹的剧痛，论证疫苗副作用远不及所预防的疾病之害；随后追溯美国 135 年前反垄断立法如何在二战后抑制垄断财阀、推动社会福利，但因成效太好而被遗忘，里根—撒切尔时代的新自由主义经济学家借"效率"叙事瓦解执法，造成当下监管俘获、贫富分化与社会失灵。作者主张，人们怀疑政府和制药公司，部分源于垄断巨头如萨克勒家族造成的真实伤害；要破局必须重拾历史记忆，重新唤醒反垄断与公共卫生共识。此外，文中汇集多条链接，回顾 TiVo 取消免费自动跳过广告、TiVo 测试付费替代服务、美国工会支持率创纪录、LG 智能电视间谍争议、Wells Fargo 虚假账户案、欧盟链接版权判决、印度大规模罢工、美国历史上最大监狱罢工、HOA 禁止旱生园艺被判违法、算法招聘歧视、迪士尼乐园藏匿囚犯雕塑、Gutenberg 创始人 Michael Hart 去世等议题。
本文回顾了第一台VHS录像机JVC HR-3300的诞生与早期历史。该机型于1976年9月9日发布，10月31日在日本上市，1977年登陆美国市场时售价约1200美元，仅比同期Sony Betamax SL-7200A低约7.5%。文章指出VHS战胜Betamax并非简单的开放标准胜过封闭授权：VHS以两小时录制时长和更易维修取胜，但价格优势并不显著。VCR普及延迟十年的核心原因在于法律风险——1976年Universal和Disney起诉Sony，直到1984年美国最高法院判决家用录像属合理使用，制造商才卸下liability包袱，VCR价格随之下降，VHS格式战与录像带租赁随即爆发。如今JVC HR-3300已成收藏品，近期成交价约325美元。
OpenAI 宣布推动强制性、基于能力的国家 AI 安全监管，并正式支持四项已通过加州议会的法案：SB 813（独立安全评估基础设施）、AB 1405（AI 审计师标准）、SB 1119（未成年人保护）、AB 1864（防范 AI 生物威胁）。 🔗 阅读原文 via AIHOT · https://aihot.news/items/cmturgfqq0c5prorpcycuemwl
TLDR 2026年9月9日科技简报涵盖多项独立事件。Meta推出AI智能体Muse，可代用户发邮件、预订旅行、在线购物，连接WhatsApp等应用，免费但有调用次数限制，付费档位20至100美元/月。Apple首款折叠屏iPhone据称历时十年研发，内屏约7.8英寸，定价或达2199美元，预计当日正式发布。OpenAI声称其最新AI在88小时内解开了千禧年数学难题中的Navier-Stokes存在性与光滑性问题，证明了该方程组可完全崩溃的情形。Google DeepMind发布AlphaGenome Atlas在线数据库，预计算约90亿种DNA变体影响，供研究者无需编程即可调用。OpenAI同步推出ChatGPT Images 2.5图像模型，延迟降低约50%，新增App内Sketch草图功能。CPU短缺正迫使大规模软件团队提前进行容量规划与算力预留。Block已向联邦监管机构申请设立无保险国民信托银行Builders Bank & Trust。安全研究人员披露零点击攻击工具WeWorm可无声入侵WeChat账号。此外，Apple收购脑磁场非侵入式传感技术公司Sonera；Googl
本期TLDR Dev为2026年9月9日的开发者资讯摘要，涵盖多篇技术与安全文章。OpenAI发布由约一万个智能体协作生成的Navier-Stokes存在性与光滑性问题声称解答，伴随Lean形式化证明，使用约1300亿输出令牌，由GPT-6 Astra完成最终形式化与验证。Meta推出个人AI代理Muse，可在专属安全虚拟机中自动化日常任务、填写表单、导航网页，敏感操作需用户批准。Inception发布扩散语言模型Mercury 2.5，声称速度达1107令牌/秒，上下文26万令牌，并预览Mercury Voice与Router。Cohere的Megakernel将整个解码过程合并为单个持久GPU内核，在单张H100上批大小为1时达292令牌/秒。研究显示2019至2025年预训练进展主要来自数据改进而非模型架构。安全方面，Matthew McPherrin成功分解1999年随Netscape发布的两个512位E-Certify根证书私钥；Shrivu Shankar让约100个去防护智能体在五小时内攻破五个低安全等级账户。