Edge AI Daily 早报:OpenAI 攻克纳维-斯托克斯引争议
OpenAI 宣布其内部 AI 系统证明三维不可压缩纳维-斯托克斯方程可在有限时间内形成奇点,耗时约88小时、约1万个并发智能体、约1300亿输出 token,并公开论文与 Lean 形式化证明。该证明仅覆盖费弗曼表述中“带光滑外力”情形,独立同行评审尚未开展,克雷数学研究所未作认定。Anthropic 同期宣布自10月29日起将 Haiku 4.5 从免费版、Pro、Max 套餐移除,用户自动切换至 Haiku 5.5。
并承诺未来十年至少投入5180亿美元算力与基础设施,此次降价被解读为上市前“抢开发者”与“保毛利”之间的取舍。 三、微软推出Copilot for Legal,上线20余项法律专用AI技能 1.产品落地:微软于10月16日宣布Copilot for Legal面向全球商用客户正式可用,把20多项法律专用技能嵌入Word桌面版与跨应用智能工作区Cowork,需Microsoft 365 Copilot商用授权,所有AI输出均须人工核验、律师保留最终语言掌控权。 2.数据验证:其前身Legal Agent于今年4月进入Frontier早期访问,六个月试用中超1800名用户生成近10万处编辑建议、约七成被采纳;微软内部评估显示编辑流畅度超90%、简洁度超95%、相关度超85%,能力现整合为法律插件正式商用。 3.竞争与格局:五个月内Anthropic(5月Claude for Legal)、Google(8月Gemini Enterprise for Legal)、OpenAI(9月Astra for Law)相继押注法律垂直;微软伙伴名单涵盖Bloomberg Law、iManage、Do
匹配字段正文


