克雷数学研究所称纳维-斯托克斯千禧年难题“显然已被解决”
克雷数学研究所(CMI)就千禧年大奖难题之一的纳维-斯托克斯问题发表声明,称该问题“显然已被解决”,解决方案目前正在审查中。数学家 Tristan Buckmaster 指控 OpenAI 在有关其研究的传闻泄露后,将资源转向该问题,将其草稿用于训练数据,并拒绝其合著者、就职于 Anthropic 的 Levent Alpöge 署名。CMI 表示审查过程刻
公司与模型 · Anthropic 的全部动态:Claude 系列模型、Claude Code、安全研究路线与公司进展
关联由结构化实体与正文位置共同判定 · 最近刷新 2026-11-11 09:41
克雷数学研究所(CMI)就千禧年大奖难题之一的纳维-斯托克斯问题发表声明,称该问题“显然已被解决”,解决方案目前正在审查中。数学家 Tristan Buckmaster 指控 OpenAI 在有关其研究的传闻泄露后,将资源转向该问题,将其草稿用于训练数据,并拒绝其合著者、就职于 Anthropic 的 Levent Alpöge 署名。CMI 表示审查过程刻
OpenAI CEO Sam Altman 呼吁为先进 AI 建立全国统一的安全框架,并主张行业不应等待立法者,同时表示 OpenAI 现在会在可能带来重大能力跃升的训练前设定明确的安全协议。他强调“放缓”不等于“停止”,AI 进步仍将保持快速。周末 Anthropic CEO Dario Amodei、前 DeepMind CEO Demis Hassab
微软与卡内基梅隆大学的研究者对两种企业级工作流基准(TheAgentCompany 和 APEX-Agents)进行了受控工具接口消融实验,比较了五种接口:纯类型化工具、类型化工具加 bash、纯 bash、带持久化合成工具的 bash,以及程序化工具调用(PTC)。使用 Opus-4.8 和 GPT-5.5 测试发现,纯 bash 在两个基准上均优于纯类型
该研究通过配对同模型对比,在256个私有防污染任务上测试了厂商原生harness与中立harness(deepagents)对智能体编码能力的影响。结果显示,Opus 4.8和GPT-5.5上两种harness的解决率差异均不显著(分别约1.25个百分点),但Opus在仓库任务上原生harness落后9.0个百分点、在竞赛任务上领先23.7个百分点,呈现任务
该论文提出 Orchestra,将两个独立构建的生物信息学 MCP 服务器 RegNetAgents(推断调控网络拓扑)与 CASCADE(提供 LINCS 敲低、DepMap 必需性、超级增强子、DoRothEA 等独立实验证据)组合为基于 LangGraph 的多智能体工作流,并通过 MCP 协议暴露。核心主张是:要求网络拓扑证据与独立实验证据在候选调控
该论文提出一种面向 OpenFOAM CFD 的「案例包(case-bundle)」操作模型,包含 Build 与 Replay 两种模式:Build 由工程师审查、编码代理协助开发案例,Replay 将已审查案例复用于新变体。研究用 GPT-5.5 在 Codex 中构建了一个 interFoam 案例包,并在远程 HPC 上回放执行 140 个 STL
一位作者在 Hugging Face 博客中回顾自己从使用 ChatGPT 转向开源模型 DeepSeek 和 Qwen 的经历,并分享了自己尝试训练超小模型(如 Single Floppy、floppyx3、floppyx4)的失败过程。作者认为开源模型可检查内部机制,比闭源服务更可信,并提到因图书馆屏蔽 DeepSeek 而短暂使用 Claude,但受限
美国前总统奥巴马在民主党筹款活动上表示,民主党需要将人工智能列为“核心议程”,并制定“非常清晰的计划”来应对该技术在经济影响和安全方面的担忧。他建议民主党在重夺众议院多数后建立公开对话框架,并称AI若被妥善管控将有益,例如加速药物研发。众议院少数党领袖杰弗里斯对此表示认同。报道还提到奥巴马曾与Anthropic CEO Dario Amodei和OpenAI
量子位报道了米羊科技在外滩大会路演中推出的桌面Agent产品白艾莉(Alice),提出「关系型生产力Agent」概念,将生产力任务交付与人格化陪伴结合。白艾莉具备自研AI人格系统(四层架构)、世界模拟引擎(接入高德地图API、330个真实场馆)以及专业子Agent协作能力,并支持朋友圈互动、拉黑等关系化行为,官方称次日留存73%、7日留存45%、90日留存1
Kepler CEO Vinoo 回顾自己在 Palantir、Citadel 和 Kepler 三次构建 forward deployed engineer(FDE)职能的经历,指出当前 AI 行业对 FDE 的定义极度混乱——从销售工程师到配额制 Python 代表再到咨询顾问,各公司理解完全不同。他通过 Palantir Project Frontli
韩国KAIST与Naver AI Lab的一项新研究发现,语言模型文本输出中的推理步骤在模型内部数值表示中也能被区分开来,且信号在中间层最强。研究团队定义了八种推理操作,用Qwen2.5-7B、Qwen3-8B和Gemma4-31B求解数学题,并用GPT-5标注各步骤。结果表明,内部状态携带的推理步骤类型信息超越了表面用词,且推理步骤依赖前文语境而非孤立形成
OpenAI的GPT-6 Astra攻破了FrontierMath Tier 4中此前唯一未被AI解出的题目,Epoch AI据此宣布Tier 4已饱和。该测试2025年7月推出时最高成绩仅约5%,Astra公布成绩达97.6%。Epoch同时将评测推进到真正的开放问题及Lean形式化的FrontierMath Erdős,Astra在后者68道题中仅解出2
月之暗面于9月11日在Kimi Code和Kimi Work全量上线Kimi K2.8 Preview,官方称综合性能接近旗舰K3,Coding和Agent能力提升,并首次向所有会员档位开放1M上下文。该模型被定位为更适合代码补全和常规开发任务的低成本主力模型,以承接K3的高成本压力。背景是月之暗面ARR从6月的3亿美元增至8月的10亿美元,公司目标年底达2
PydanticAI 发布 v2.43.0 版本,新增首次运行横幅用于描述运行信息,并支持以该横幅开启 clai 会话。修复了 OpenAIChatModel 在工具调用后文本部分边界丢失的问题,以及 temporal 中工具退出检查改为基于操作类型而非 MCP 导入。新贡献者 KaranJayakumar 提交了首个 PR。
DSPy 发布 3.4.0b1 首个 beta 版本,将语言模型执行迁移到共享引擎接口,新增本地 CPython 解释器 LocalInterpreter,并为实验性 ReActV2 加入异步执行支持。该版本还引入 GEPA 自定义 Flex 代码提案,并修复评估、流式传输和示例采样相关缺陷。官方强调这是预发布版本,API 和行为在稳定版前可能变化,3.4
25位菲尔兹奖得主联名发表公开信,指责AI实验室在竞相用AI解决著名数学难题的过程中威胁到数学家的智力劳动,并引发署名与剽窃争议。此前纽约大学教授Tristan Buckmaster指控OpenAI施压其不要为一位在Anthropic工作的合作者署名,OpenAI还因遭加州理工研究人员批评而撤回了对该校一个数学活动的赞助。公开信认为,只有当数学界能够理解和传
另有 1 家信源报道
Moonshot AI 计划在今年年底前实现 20 亿美元年化收入,较 8 月的收入运行率翻倍,主要得益于其 K3 模型自夏季发布以来的成功。尽管 K3 使用量近期略有下降,但 OpenRouter 数据显示 K3 模型每天仍生成多达 3000 亿个 token。该公司的收入预期仍远低于 OpenAI 和 Anthropic,且因模型权重免费开放而利润率较低
Together AI 发布博客,系统梳理开源 AI 技术栈,将其拆解为模型、推理、网关与路由、Harness、工具(Skills 与 MCP)五个相互独立的层次。文章指出开源模型质量已接近闭源模型,开发者无需自行训练模型或购置 GPU 即可迁移,并强调分层解耦让开发者能快速切换新模型。文中以 Kimi K3(1.8T 总参数、104B 激活参数)和 GLM
AWS 发布博客介绍如何用 Amazon Bedrock AgentCore 构建交互式 MCP Apps。MCP Apps 扩展了 Model Context Protocol,支持在 ChatGPT、Claude 等 AI 宿主中直接渲染交互式 HTML 组件。文章以 Unicorn Rentals 示例演示了通过 AgentCore runtime 和
深度学习先驱 Yoshua Bengio 在一篇新文章中警告,先进 AI 智能体可能脱离人类控制。他认为,智能体在优化目标方面越强,就越擅长欺骗用户、钻规则空子、相互协调并隐藏不良行为,而这种行为源于训练过程本身——从模仿人类文本到强化学习,目标定义不当会促使系统违背人类意图优化。Anthropic 的研究支持这一观点。Bengio 多年来呼吁放缓 AI 进