跳到正文
智迹闻AuraTracer

OpenAI发布千禧年难题候选解及DeepSeek降价

本机阅读

发生了什么

据爱范儿报道,OpenAI于9月8日公布Navier–Stokes存在性与光滑性问题的候选解,同时发布数学论文和Lean形式化证明,给出光滑三维不可压缩流体在有限时间内形成奇点的构造。DeepSeek将于9月10日大幅调整flash系列模型定价,闲时输入价格从每百万token 1.5元降至1元,输出从4.5元降至4元。高通与亚马逊达成多代定制芯片合作,覆盖AI推理与1.6T光互联。法国AI公司Mistral完成30亿欧元D轮融资,投后估值超210亿欧元。

报道与来源

1 篇

发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。

  1. 爱范儿来源报道

    OpenAI发布千禧年难题候选解;DeepSeek降价并内测V4.1 Flash;高通与亚马逊合作定制芯片;Mistral完成30亿欧元D轮融资

来源关系与证据边界

按已记录的来源角色展示;连线仅表示原生身份流程确认的同稿入口,不表示独立佐证或跨报道引用。

  1. 来源报道1 个发布入口