据爱范儿9月9日综合报道,OpenAI于9月8日公布了Navier–Stokes千禧年难题的候选解,等待数学界独立检验;苹果据报正加速推进折叠屏iPhone的研发。DeepSeek将从9月10日起调整Flash系列模型定价,工业和信息化部与市场监管总局也发文要求车企定期报告供应商账期。
OpenAI同时发布了相关数学论文和Lean形式化证明,称候选解构造了光滑三维不可压缩流体在有限时间内形成奇点的情况,对应克莱数学研究所问题中的C和D类情形。OpenAI披露,该结果由能力高于GPT-6 Astra的内部模型生成,系统一度协调约一万个并发Agent,从启动到得到候选解用时约88小时,随后由GPT-6 Astra花费17小时完成Lean验证。纽约大学数学教授Tristan Buckmaster质疑OpenAI是否利用了他与Anthropic研究人员在Codex中的项目数据;OpenAI回应称求解过程没有访问具体用户数据,但不能完全排除去标识化数据曾参与模型改进。该候选解尚未经过数学界独立检验,按克莱数学研究所规则,候选解答需先发表并经过至少两年严格审查。OpenAI称无意为该结果申请奖项。
苹果折叠屏的消息来自彭博社记者Mark Gurman。报道称,苹果研发折叠屏iPhone已近十年,售价预计超过2000美元,将成为苹果近20年来最大的设计变革。库克在2020年前后一次亚洲行程中,看到三星电子、华为等厂商的折叠屏设备越来越多被消费者使用,此后推动公司加快了这一方向的研发。
DeepSeek将于9月10日12:00起下调Flash系列模型价格:闲时输入价格从每百万token 1.5元降至1元,闲时输出价格从4.5元降至4元,闲时缓存价格从0.05元降至0.02元,高峰时段价格为闲时价格的两倍。同时,DeepSeek V4.1 Flash中间版本开始内测,该版本采用不同架构,原生支持多模态,测试重点是能力、生成速度和推理成本。内测用户将模型名切换为“deepseek-v4.1-flash-expires-on-0910”即可调用。
工业和信息化部与市场监管总局9月7日发布通知,要求车企建立供应商账款支付管理制度,每年7月底和次年1月底前分别提交半年度、年度执行情况报告。工信部将委托第三方机构每年对名单内重点车企开展调研评估,评估结果公开发布;对账期过长或遭中小企业投诉较多的车企,主管部门将约谈并督促整改。
其他消息包括:小米18 Fold首销较上代大折叠增长310%,起售价10999元;微信开始在PC版测试AI助手“小微”,可查看朋友圈、发送消息并调用小程序;蔚来与云南交投在5条高速双向服务区投运新一批换电站;高通宣布与亚马逊在多代AI定制芯片上开展合作,覆盖1.6T光互联;Meta发布个人AI Agent Muse,可代办邮件、旅行和购物等任务。