AI 为何突然擅长数学证明:从提示序列与分支因子看模型解题方式
作者分析 OpenAI 与 Anthropic 今年在数学开放问题上的多项成果,提出用提示序列长度 k 与分支因子 b 判断哪些问题对 LLM 可解。他认为人类广度优先、靠直觉剪枝,模型深度优先、靠验证器剪掉已完成路径,失败尝试会作为负向提示进入下一轮。Navier-Stokes 证明据称动用 10000 个智能体、88 小时消耗 300B token。
作者分析 OpenAI 与 Anthropic 今年在数学开放问题上的多项成果,提出用提示序列长度 k 与分支因子 b 判断哪些问题对 LLM 可解。他认为人类广度优先、靠直觉剪枝,模型深度优先、靠验证器剪掉已完成路径,失败尝试会作为负向提示进入下一轮。Navier-Stokes 证明据称动用 10000 个智能体、88 小时消耗 300B token。
Meta 将新商业条款的执行时间从原定的 10 月 30 日推迟到 11 月 20 日,此前全球出版商担忧该条款允许 Meta 抓取新闻网站内容用于 AI 训练。
AI 编程工具正大幅缩短复古游戏反编译与移植周期,有爱好者数周内同时推进十几个项目。但一个追踪反编译项目的社区网站上周因 AI 冲击突然关站,站长称社区协作机制已被破坏,有人用 AI 在他人成果上快速"完成"项目。目前超过 90% 的经典游戏被估计处于"极度濒危"状态,AI 在移植提速与保存质量之间形成分歧。
Latent Space 的 AINews 汇总了 10 月 21 日至 22 日约 48 小时内集中披露的一批安全事件,包括 PHP2Shell 未授权 RCE、GitLab 自 2014 年起版本受影响的 CVSS 10 漏洞(已在 19.5.1 修复)、LiteLLM 1.107.0 携带密码窃取程序,以及 Zeabur 在 321,810 个账号被入侵后关停。
OpenAI 说明其如何加固前沿模型训练与评估环境的隔离措施,包括离线环境和面向高算力的红队测试。原文未展开具体技术细节。
打车平台 inDrive 与 Pony.ai、Nvidia 签署谅解备忘录,计划 2027 年上半年在哈萨克斯坦首都阿斯塔纳测试 Robotaxi,初期配备安全员,最终目标是完全无人驾驶。Pony.ai 提供 Gen-7 Robotaxi,Nvidia 提供 Hyperion 平台和 Halos 安全系统,测试将检验自动驾驶在严冬冰雪条件下的表现。
NVIDIA CEO 黄仁勋访问阿斯塔纳,Firebird 与哈萨克斯坦政府签署投资协议,获得 45,000 块 NVIDIA Grace Blackwell GPU 的美国出口许可,首期与 Kazakhtelecom 在 Data Center Valley 建设,目标 2027 年第三季度商用。
MIT 研究者在 arXiv 发布论文,将 13 个基于 Claude Opus 4.7 的 Eko 智能体放在模拟荒岛上无任务探索 30 小时,观察到它们自行发明挑战,表现出类似玩耍的行为。
OpenAI 与波兰 NASK 达成合作,共同推进 AI 安全、保障与技术研究,以强化防护措施并支持更具韧性的数字生态。
Hugging Face 推出 torch-neuronx 模型支持 Space,用于查询 Hub 上的模型能否在 AWS Trainium 上原样运行,并给出复现脚本。
微软与 Hugging Face 联合发布 ThinkingBox-Training,把 ThinkingBox 对数据库终态的 1/0 可执行校验直接当作 RL 奖励,用于训练 ThinkingBox-Bench 之外的任务。
推荐理由:微软与 Hugging Face 联合开源了把数据库终态校验当作 RL 奖励的训练栈,并给出 Qwen3.8-27B 的可复现结果与成本对比。
Canva 发布首款自研图像生成模型 Canva Craft,采用两阶段架构,先规划设计再生成图像,以提升精度、一致性和可控性。
EXL 研究人员在 "Engineering the Harness" 系列中探讨企业 AI 的服务框架设计,指出生产环境的竞争关键已从模型能力转向围绕模型的工程系统。
Meta 修改商业账户条款、删除"训练"表述后,法律专家仍认为其 AI 可抓取新闻网站内容。Cornell Law School 教授 James Grimmelmann 指出,条款中"与你的产品或服务相关联"的表述未被限制,Meta 仍可抓取整站;律师 Matt Topic 称修订版仍允许用抓取内容"开发"任何"商业产品",而"开发"足以涵盖"训练"。
DE STAAT 发布《FREEDOM》官方音乐视频,Simon Willison 于 2026 年 10 月 22 日以链接帖形式分享。该帖归入 music 标签,同时带有 ai、generative-ai 等标签。
OpenAI 介绍 Decisions API,可为任意应用提供快速、聚焦、低成本的决策能力。原文未披露模型版本、参数规模、价格或上下文长度等具体信息。
Vanguard 的 Jing Wang 在 MIT Technology Review 的 EmTech Future 会议上探讨如何构建可扩展 AI 的基础。她指出数据、工程、平台、运营模式与治理必须协同运作,并说明在高度监管环境中如何将包括智能体系统在内的新兴能力转化为对投资者的长期价值。
微软 AI 的 MAI-DxO 系统在《Science》发表的研究中,用《新英格兰医学杂志》复杂病例做模拟,诊断准确率 83%,而单独作答的全科医生和内科医生为 36%。
Anthropic 宣布把 Agent Skills 标准捐赠给 Linux 基金会下的 Agentic AI Foundation(AAIF),该基金会由 Anthropic 与 Block、OpenAI 于去年共同创立,此前 MCP 也已捐入。
Amazon Polly 生成式引擎完成升级,新增 14 种语音、覆盖 9 个 locale,并首次正式提供印地语和芬兰语生成式语音。升级后共提供 57 种生成式语音、覆盖 11 种语言和 25 个 locale,并扩展至 AWS GovCloud(US-West)共 11 个 AWS Region。
IskayPet 基于 Amazon Bedrock Managed Knowledge Bases 搭建企业知识助手,覆盖西班牙、葡萄牙、法国三国 330 多家门店,用四种语言回答零售运营、兽医诊疗、人事入职与采购问题,无需自建 RAG 基础设施。
AWS 宣布 SageMaker AI 无服务器模型定制的训练会话正式可用,用户可自行编写并协调训练循环,包括自定义损失函数和奖励信号,GPU 分配、分布式执行、故障恢复与检查点存储由平台负责。
Amazon SageMaker AI 的 Serverless 模型定制新增训练会话 API,把 forward_backward()、optim_step()、sample() 等操作变成 API 调用,模型在 GPU 上保持加载,由服务负责分布式执行、梯度同步与故障恢复。
Modal CEO Erik Bernhardsson 在访谈中解释 AI 算力需求为何不呈矩形:真实负载会随时间增长、尖峰和回落,固定 GPU 合约会导致闲置或短缺。Modal 通过聚合数千客户需求、在底层锁定容量并按需弹性分配来平滑总需求。Modal 已跨过 10 亿美元年化收入、以 160 亿美元估值完成 7.5 亿美元 D 轮融资,并启动近 30 亿个 sandbox。
微软研究院发布 Flint-interactive,一种构建在 Flint 之上的交互式数据可视化语言,让智能体生成可点击、筛选、缩放、高亮和跨图表联动的图表。
Armin Ronacher 在 10 月 22 日的一句评论被 Simon Willison 引用:AI 固然有趣,但过去 30 年我们造了太多糟糕的软件,如今宇宙正在惩罚我们的罪过。该引用由 Simon Willison 于同日发布在其博客上。
研究人员在 PHP 中发现被称作 PHP2Shell 的高危漏洞,黑客在补丁发布前已获得约四天时间。Alphabet 旗下 Wiz 估计该语言驱动全球约 70% 的网站,NSA 建议无法立即更新的机构先将系统下线,英国 NCSC 呼吁英国组织立即行动。
推荐理由:报道披露 AI 前沿模型先于攻击者发现 PHP 高危漏洞,并呈现 NSA、NCSC 与白宫的应对口径。
NVIDIA 发布 AIOps 平台 Minerva,汇集基础设施与 AI 工作负载的遥测数据,用专用 AI 模型把数据转成可执行的洞察。该平台跨 GPU、网络、存储、调度器和作业关联信号,构建动态知识图谱,每小时分析数十亿数据点,可把大量告警聚合成单一事件并给出可能的根因。
Google DeepMind 与 Google Research 联合 WRI、IIASA 发布 Forest Typology(ForTy)2020,把全球每块 10×10 米土地归入原始林、自然再生林、人工种植林、商品林、农林作物和其他土地六类,作为欧盟反毁林法规(EUDR)的关键基线。
Moshi CEO Anekha Sokhal 在 AI Engineer New York 播客中讲述从数学、JPMorgan 能源衍生品交易到创业的路径,以及 Moshi 如何为交易员做市场信息推荐引擎。
Celonis 企业 AI 首席科学家 Devavrat Shah 提出“决策智能”,主张 AI 智能体必须理解任务在业务流程中的角色与约束,否则会遗漏关键限制、犯错或耗费过多算力。他建议企业从具体业务决策入手,先找出最难的环节再测试 AI 能否改进,并以速度与价值增益决定是否扩展。
WD 内部测量显示,一段 8 秒 AI 视频(用户拿到的是 3.97MB 720p 文件)在后端留下超过 500MB 关联数据,是输出文件体积的 130 倍。WD 委托 IDC 对 763 名 IT 与业务决策者的调查中,近 95% 称过去 12 个月生成式 AI 导致数据量增长,约 61% 增幅达 25% 以上。
IBM 推出 Granite Timeseries Ensemble,用一套配方组合四个预训练 Granite 时序模型(PatchTST-FM-r1、PatchTST-FM-r2、FlowState-r1.1、TTM-r3),无需重训即可输出中位数与分位数预测。
OpenAI 称其 Patch the Planet 项目研究员 Ryan Austin 于 2026 年 8 月借助 GPT-5.6 Sol 发现 PHP 核心内存破坏漏洞 PHP2Shell(CVE-2026-109618、CVE-2026-109619),Wiz 则独立发现同一批漏洞。
推荐理由:材料梳理了 PHP2Shell 漏洞从发现到协同修复的时间线,并区分了已证实事实与未经核实的传闻。
OpenAI 解释了 FDE(前沿部署工程师)在其内部的具体含义。原文未披露具体岗位职责、团队规模或产品细节。
Revolut 正基于 NVIDIA 加速计算以单一基础模型 PRAGMA 重建技术栈,在 Blackwell Ultra GPU 上以 cuDF 和 Dynamo-Triton 支撑生产环境,初期服务 8000 万客户并设计支持 3 倍扩展。
NVIDIA 扩展 Cosmos 平台,新增训练工具、仿真 checkpoint 和 Cosmos Data Factory 蓝图,用于世界模型的训练、评估与部署。
推荐理由:原文列出 Cosmos 新增的数据工厂蓝图、训练工具与 NIM 推理更新,并给出保时捷、ANYbotics 等落地案例,可据此判断世界模型开发链路的变化。
NVIDIA DSX AI Factory Platform 正被全球企业用于把电网与 AI 工厂当作一套系统来规划、模拟和运行。
NVIDIA 展示欧洲零售商用开放模型和物理智能改造业务的多个案例:Shopify 后训练 Nemotron 3.5 Lightning 用于 Sidekick 的 GraphQL 子智能体,内部基准上准确率超过领先前沿模型,服务成本降低 90%、响应快 7 倍。
NVIDIA 在 GTC Berlin 展示与 Earthmover 合作的 StormScope EU 实时预报演示,该模型基于 EUMETSAT 卫星观测,以 10 分钟间隔预测 16 个 Meteosat 通道的云况。