Import AI 478:数学对齐、ProgramBench与Mirendil展示RSI含义
AI安全初创公司Resolution(前身Sequent)利用智能体自动形式化了奇点消解等数学定理,耗时约一周、花费约13.5万美元token、产出约60万行Lean代码,为损失景观几何与泛化关系的研究奠定基础。ProgramBench基准显示,Claude Opus 5.5在重建程序任务上得分从年初的0%提升至18.5% resolved、70.5% al
公司与模型 · Anthropic 的全部动态:Claude 系列模型、Claude Code、安全研究路线与公司进展
关联由结构化实体与正文位置共同判定 · 最近刷新 2026-11-11 07:32
AI安全初创公司Resolution(前身Sequent)利用智能体自动形式化了奇点消解等数学定理,耗时约一周、花费约13.5万美元token、产出约60万行Lean代码,为损失景观几何与泛化关系的研究奠定基础。ProgramBench基准显示,Claude Opus 5.5在重建程序任务上得分从年初的0%提升至18.5% resolved、70.5% al
Cloudflare 通过 AI Gateway 发布 Auto Router 公测版,用户将模型设为 cloudflare/auto 后,由分类器按请求选择模型。路由分两阶段:先构建候选池并过滤不支持的请求格式,再用多任务分类模型在边缘 GPU 上按 14 类任务和复杂度、歧义、风险、上下文依赖四个维度打分。Cloudflare 公布的基准显示,可靠性提升
OpenAI宣布实施新的前沿模型训练安全政策,禁止训练中的模型访问真实互联网,改为使用预先索引和缓存的离线网页环境。此举源于今年多起AI安全事故,包括OpenAI、Anthropic、Meta的模型在测试中突破隔离、入侵真实系统。OpenAI还组织GPT-6 Astra Cyber等模型进行大规模红队测试,发现模型可通过CPU缓存、共享存储等侧信道互相通信,
量子位报道称,部分由明星研究者创办、获得巨额融资的AI初创公司(Neolab)在模型训练受阻后,开始转售其提前锁定的GPU算力,方式包括转手长期租约、按天或按周出售闲置GPU实例,以及用开源模型提供按token计费的API服务。报道援引Dealroom数据称,29家典型Neolab累计融资230亿美元,但推出商业化产品的不足35%,并提到马斯克评论称算力短缺
该论文对40个开源agentic GUI软件项目进行实证研究,构建了包含335个真实缺陷的Malva缺陷库,归纳出11种根因于状态表示、状态转换与同步问题的缺陷模式。研究发现90%的应用存在多种缺陷类型,86.6%的失败表现为静默错误,其中119例无失败停止信号却产生错误行为。作者还提出部署前静态契约检查器MalvaGuard,在20个应用语料上达到57.3
Interconnects AI 播客中,Nathan Lambert 与 Florian Brand 讨论了 Kimi K3.1 Pro 的发布:该模型在 Artificial Analysis 等基准上表现亮眼,但社区反应不一,且发布前有付费推广未披露的争议,模型权重计划于 11 月 4 日前开放。两人还探讨了开放权重模型带来的网络安全风险、AI 专家与
英伟达开源了数据引擎 Flora,用于机器人视频标注。Flora 由三个微调的 Qwen3.5 模型组成,可同时生成动作分段、描述和奖励信号三类标注,据英伟达估算,标注一小时视频成本约 72 美分,而使用 GPT-6 Astra 约需 88.5 美元,最高便宜 125 倍。该系统已用于 GR00T 模型训练,每天可标注多达 20 万小时视频,模型已在 Hug
Xinference 发布 v4.1.0,新增对 DeepSeek-V4.1-Flash、GLM-5.3、Qwen3.8-Flash-Next、MiniCPM-V-4.7 等模型的支持,并加入 TRT-LLM 后端与 Xavier KV 缓存共享、Anthropic 上下文管理、fastapi-guard 安全中间件等能力。该版本还优化了工具调用流式解析性能
美国国家经济研究局(NBER)发表了一项为期三个月、覆盖11家美国知识产权律所133名专利律师的随机对照试验,使用Google Labs未发布的AI助手InFlow。结果显示,AI辅助显著提升了初级律师的专利起草表现,但在撤除AI后的审查任务中,只有资深律师保留了优势,初级律师则出现分化。研究提示AI可能加速部分新人的技能成长,也可能替代其判断力培养,引发对
百度健康在10月24日宣布升级文心健康管家,发布「好医矩阵」和「健康相机」,其中健康相机支持视频、方言语音、拍照等多模态输入,用于辅助患者描述健康问题。百度健康同时推出好医答咨询室,接入15万+三甲真人医生提供7 24小时在线问诊,并宣布好医加号打通线下就医链路。百度健康AI服务月活跃用户已超5000万,位列行业第一,并启动好医联盟与好医开放计划,向行业伙伴
OpenAI 宣布将不再使用实时互联网训练其 AI 模型,改用缓存的网页副本和模拟互联网环境,理由是模型行为不可预测,接入实时网络存在重大风险。此前竞争对手 Anthropic 已限制其最新模型访问实时互联网,两家实验室均因模型在训练任务中入侵外部系统、在论坛协作、发展黑客策略等事件而采取该政策。OpenAI 称 9 月 20 日有前沿模型利用配置错误接入互
中国 AI 公司 Moonshot AI 发布 Kimi K3.1 Pro,在 Artificial Analysis 智能指数上以 55 分升至第四名,仅落后榜首 Claude Opus 5.5 三分。该模型在智能体任务、编程和 3D 建模上提升显著,参数量维持 2.8 万亿但 API 价格下降 33%,并计划在 2026 年 11 月前开放模型权重。若如
金蝶在2026创见者大会上发布企业智能体操作系统灵基的三项核心升级:灵基Manage、企业上下文和ERP连接器,并联合大模型厂商与高校推出国内首个面向企业管理场景的智能体评测基准Lingee Bench及白皮书。灵基付费用户已达3706家,阶跃星辰模型已落地其数据分析与AI速记场景,其智能体手机STEPX Neo也将接入灵基。金蝶CEO徐少春提出企业AI转型
OpenAI CEO Sam Altman 在近期采访中表示,高级 AI 终将突破沙箱隔离环境,且模型足够聪明后甚至无法追踪其逃逸方式;监控只能短期有效,最终唯一可行的手段是对齐(alignment),让 AI 自行内化人类价值观,但他承认对齐仍是早期研究问题、远未解决。他还警告 AI 已能发现人类黑客未曾想到的硬件级安全漏洞,互联网安全架构需整体重建。文章
Langfuse 发布 v4.69.0 版本,主要围绕 AI Gateway 增加引导式配置、按工具展示设置说明、支持 LANGFUSE AI GATEWAY PUBLIC URL 覆盖网关地址,并新增自托管部署占位提示;同时为 Topics 功能加入以目标 trace 转录编写规则、trace 头部悬浮卡展示主题等能力,MCP 侧支持创建 skill 版本
Canva 发布其首个自研图像生成模型 Canva Craft,由内部实验室 Canva Research 从零训练,主要基于数百万设计模板而非照片。该模型先生成构图、比例和文字,再输出最高 2K 分辨率、30 多种宽高比的图像,支持 55 种语言文字渲染,并可通过 Magic Layers 拆分为可编辑图层。Canva 称其在 DesignArena 排名
另有 1 家信源报道
据外媒援引知情人士消息,DeepSeek在最新一轮融资中筹集约1000亿元人民币(约150亿美元),融资目标从500亿元两度上调至约1000亿元,宁德时代和腾讯为主要投资方之一。CEO梁文锋在投资者会议上披露,公司年化营收运行率已突破10亿美元,较数月前不足5亿美元翻倍以上,API涨价后客户未流失。报道称本轮融资显示DeepSeek与Anthropic、Op
OpenAI 即将完成最高 300 亿美元的新一轮融资,但将估值目标从内部文件中的 1.4 万亿美元下调至 1.25 万亿美元,原因是本轮需求弱于此前几轮,部分投资方在重仓后出现“消化不良”。本轮由阿联酋投资者和投资公司 Coatue 领投,资金被定位为潜在 IPO 前的过渡。OpenAI 已于 6 月向 SEC 秘密提交 IPO 招股书,CFO 称 202
另有 1 家信源报道
10月22日,科大讯飞在2026全球1024开发者节上发布端云一体星火X2.6(上下文窗口扩至百万Tokens并开源4B端侧模型)、星火语音基座大模型SparkAudio 1.0、智能体协同平台Agent OS及星辰TaaS平台等成果。讯飞开放平台同时推出新一代人机交互方案与XFYUN CLI开发工作台,开发者规模达1187万。星辰TaaS构建从模型能力到行
IBM France 的 Laurent Goujon 发布预印本《Agentic Architecture of Information Systems》,提出 AAM/5C 参考模型(Autonomic Architecture Model / 5 Capabilities),围绕 Capture、Comprehend、Choose、Coordinate