OpenAI 与学术界合作构建科学理解
OpenAI 公布了模型在 Kakeya 猜想、指数时间假设(Exponential Time Hypothesis)和量子色动力学上的研究进展,并向学术界开放相关结果。研究者可以对模型给出的数学与物理结论进行验证,并在此基础上继续研究。
OpenAI 公布了模型在 Kakeya 猜想、指数时间假设(Exponential Time Hypothesis)和量子色动力学上的研究进展,并向学术界开放相关结果。研究者可以对模型给出的数学与物理结论进行验证,并在此基础上继续研究。
月之暗面发布 Kimi K3.1 Pro,为 K3 系列首个正式版本,3 万亿级参数、100 万上下文,官方定位为迄今能力最强的模型,重点提升代码、3D 创作、金融研究和长程 Agent 能力;开放权重版主动移除了网络攻防能力。
岩山科技旗下岩芯矩阵联合港科大、CMU发布并开源EdgeRock-4B,256K上下文下KV Cache固定72MiB,较源模型Qwen3.5-4B减少99.1%,单张80GB显卡可跑512路并发,输出吞吐12124 tokens/s、为源模型的6.42倍。
高品质 AI Token 生产服务商趋境科技(Approaching.AI)完成超13亿元人民币B轮融资,年内累计募资24亿元,半年多项核心经营指标实现超十倍增长。
困扰数论界近百年的Siegel零点难题被OpenAI攻破,张益唐苦攻数十年的这道难题被浓缩成一份仅5页的证明。人类与GPT-6接力合作两周完成了这一证明。
一项入选 NeurIPS’26 的研究发现,即使通过接口关闭大模型的思考模式(如将 Qwen3 的 enable_thinking 设为 False),并明确要求“不要推理,直接给出答案”,模型实际输出仍不符合预期,无法完全停止思考。研究指出模型存在“思考惯性”:答案越开放,越难以停下思考。
作者实测 Kimi K3.1 Pro,普通 Pro 输出速度较 K3 明显提升,另推出速度约 2-3 倍的 Pro Highspeed;官方将输出价格降至每百万 token 68 元。
《硅谷101》访谈 Pokee.ai 朱哲清、破壳机器人许华哲和华盛顿大学王晟,讨论 OpenAI 9月4日发布的 GPT-6 Astra 对三个领域的影响。
月之暗面(Moonshot AI)发布 Kimi K3.1 Pro,在 Artificial Analysis Intelligence Index 得 55 分,比 K3 高 11 分,排名第四,仅落后 Claude Opus 5.5(58 分)3 分;若按计划于 2026 年 11 月 4 日前开放权重,将成为最高分开源权重模型。
推荐理由:媒体汇总了官方和 Artificial Analysis 的成绩与定价,读者可据此比较 K3.1 Pro 与闭源模型的差距及开放权重进展。
作者分析 OpenAI 与 Anthropic 今年公布的多项开放数学问题成果,包括 Erdős 单位距离猜想的反例、Cycle Double Cover 证明、Navier-Stokes 证明以及费马大定理形式化。
Microsoft 在 Science 发表研究,称其 Diagnostic Orchestrator 系统诊断准确率最高可达人类医生的四倍,并计划开源自建基准 SDBench。
Anthropic 的 Frontier Red Team 与 Theorem 合作,让 Claude 将 crash 测试转化为数学问题并生成形式化证明,数周内产出约 1.8 亿行证明代码,由 Rocq 程序自动校验。
并行科技称其业务重心已从高校科研(五六年前占70%-80%)转向企业算力需求,目前已接入63个算力中心,包括40多个智算中心和十几个超算中心。公司推出“夕发朝看”按需模式和面向推理场景的Token工厂,并坚持不做模型、只做算力的中立供应商定位。汽车制造是其最大营收来源,接近40%来自汽车制造和新能源,CAE仿真单次任务有时需要512个甚至上千个核心同时工作。
MiniMax 将 M3.1 Flash 权重开源,规格为 428B 总参数、23B 激活,上线 72 小时真实用户处理超过 100 万亿 Token。公告重点介绍推理效率优化,包括把前三个全注意力层替换为稀疏注意力以降低长上下文计算负担,以及 QAT 等三项优化(原文摘要未完整给出后两项细节)。
OpenAI 的 Decisions API 于 9 月 29 日开发者日发布后,周四起向所有客户开放,基于 ChatGPT Luna 重配置而成,将响应时间从 1 到 3 秒缩短至 100、120、180 毫秒,并新增语音与视觉模态、按地区优化推理资源降低延迟。
蚂蚁数科于10月22日发布决策模型 LingDT-Decision-1.0,提供4B和27B两个版本,已在 DTMaaS 平台上线,开发者可限时免费体验。在真实业务测试中,相比大语言模型,其 Token 消耗降低超90%,响应时效提升10倍。
贝塔无限 10 月 20 日在 arXiv 发布 BetaMem 长时空多模态记忆架构论文,使用 Qwen3.5-9B 生成记忆,在 M3-Bench-robot、LoCoMo、OpenEQA 和 EgoLifeQA 四项基准均取得 SOTA。
Xinzhi Zhang 与 Zhao Song 合作证明了 1995 年提出的 Kannan–Lovász–Simonovits(KLS)猜想,确立了对数凸分布的普适几何原则。研究采用人引导的多智能体迭代剪枝流程,探索约 100 条研究路径后找到关键判据,再通过递归改进消除对维度的依赖;另有独立团队与第三组证明以及 Lean 4 形式化验证相互印证。
推荐理由:原文介绍 Microsoft Research 与合作者证明 KLS 猜想,并拆解了人引导 AI 智能体迭代搜索的研究方法,可了解其协作流程。
NVIDIA CEO 黄仁勋在 GTC Berlin 2026 主题演讲中宣布欧洲 AI 布局与多项新品,称欧洲已开始建设 AI 经济,NVIDIA 在欧洲投入近 100 亿美元、合作超过 12,000 家伙伴。
推荐理由:官方实录覆盖发布、AI 工厂、Agent 安全与机器人平台,读者可以此梳理 NVIDIA 在欧洲的整条布局。
马斯克首次确认 SpaceX 与特斯拉已分别成立特别委员会讨论合并,SpaceX 三季度营收同比增长 161% 至 145.8 亿美元,AI 业务营收增至 75.6 亿美元、成为最大收入来源。腾讯混元团队扩张至近 2000 人,姚顺雨称要通过竞争把 DeepSeek「卷到加班」。车灯国标拟规定不具备 L3 及以上自动驾驶的车辆禁装 ADS 标志灯,灯具不得显示文字。
奇瑞在 2026 全球创新大会上发布「瑶光 2035」战略,宣布从传统汽车制造商转型为 AI 驱动的全球智能科技公司,并推出面向物理 AI 的垂类基础大模型 CheryMind。
腾讯WorkBuddy、豆包、千问办公靠营销战成为AI办公“御三家”,其中WorkBuddy以1115.23万月活居桌面端第一,百度搭子以674.30万居第二、环比增长1063.79%。
i14 推出线性注意力模型 Laplace 3B,用 Gated Linear Attention 将推理状态固定在每序列 29.5 MB,不随上下文增长。
GPT-OSS-20B 是开源权重推理模型,但即使要求用法语、德语、西班牙语或意大利语思考,它仍默认用英语进行 chain-of-thought,基线在 50 例多语言测试中仅 22% 用目标语言推理。
Cloudflare 发布文档数据提取模型 Clairic,现已在 Workers AI 上开放预览,开源权重即将推出。用户指定字段如订单号或发票总额后,模型一次性返回匹配值、格式和置信度,缺失值返回 null,还能做简单计算、估算和预测。
央行行长潘功胜在2026金融街论坛年会宣布五项政策举措,包括设立非银机构大额赎回流动性支持工具、扩大SLF适用机构范围、推动银行间与交易所债市互联互通等。马斯克称明年将向美国约7200万名18岁以下儿童各赠送一股SpaceX股票,按股价146.03美元估算价值约105亿美元。医保个人账户跨省共济实现全国落地。
MiniMax 发布推理模型 M3.1 Flash,在 Artificial Analysis Intelligence Index 得分 42,比前代 M3 高 13 分,单任务成本约 $0.22,并称速度提升三倍。
腾讯混元 Frontier 团队发布 Terminal-RSI,用基于 Qwen3.8-27B 的两轮递归自我重写(RSR)加递归策略精炼(RPR)训练终端 Agent,最终产物为 Terminal-RSI-27B。
MIT CSAIL 研究人员将昵称 Eko 的 Claude Opus 4.7 智能体在虚拟荒岛上独自放置 30 小时,智能体自发设立攀顶、投掷方块等目标,发明篮球和“地板是岩浆”等游戏,并用方块拼出星座图案。
DeepSeek 更新 V4.1 Flash,版本号 1017,带来两项主要变化:从零建项目的「许愿式编程」能力提升,以及自研搜索 API 正式开放。官方称这次是性能与费用的帕累托改进,基准测试全面提升的同时缩短了任务运行时间和输出长度;搜索 API 开放对用 DeepSeek API 开发应用的开发者影响更直接。
作者提出AI正在引发数学的第四次危机:2026年10月OpenAI在GitHub一次性发布722篇模型生成数学手稿、归为372个结果族,次日撤回3篇、修订14篇;此前5月AI为埃尔德什单位距离猜想造出反例,9月宣称用约一万个智能体、88小时攻纳维—斯托克斯方程。
谷歌 DeepMind 的 AlphaProof Nexus 相关成果登上 Science 主刊,该系统给出了 9 项埃尔德什问题和 44 项整数序列猜想的证明。
Anthropic 展示新研究:Mythos 5 已实现自主闭环,设计出比人类「最佳方案」更高效的新型量子电路,破解量子计算重大难题。据报道,整个过程仅用 53 小时,效率远超人类耗时数年的方案。
Palo Alto 初创公司 Elorian 发布首个模型 Glimpse,以研究预览形式提供 API,聊天界面仅限候补名单。Glimpse 在推理过程中可裁剪图像区域、抽取视频帧并运行代码测量比较,称为"visual scratch space"。
OpenAI 推出 Rosalind Academic Plan,目前仅面向美国大学的研究实验室,符合条件的实验室可在 Business Standard 计划上免费获得最多 30 个席位,为期最长十二个月,但不包含 API 访问。
OpenAI 前机制可解释性研究员 Nick Cammarata 发表长文《Neural Networks Are Already Clean》,称其团队用新工具在 ConvNeXt 等现代视觉模型中实现最后一层 99%–100% 神经元清晰可解释,并推翻其十年前关于 InceptionV1 神经元多义性的解读。
《科学美国人》报道,数学家深入研究OpenAI约166页纳维-斯托克斯证明后认为,其最终构造外力的方法与西班牙数学家路线完全不同,推翻了发布时沿用西班牙路线的说法。
谷歌正式向全球开发者、企业及付费订阅用户开放 Gemini 4 Argon,官方评测称整体达到 GPT-6 Astra、Opus 5.5 水平,第三方 Artificial Analysis 智能指数中 Argon High 与 GPT-6 Astra Max、Claude Fable5.1 Max 并列53分。
研究者推出测试常规理论物理研究工作的基准,GPT-6-Astra 在 OpenAI Codex 环境中答对 50 题中的 49 题,平均单题成本低于 $3,全程约 $116;Anthropic Opus 5.5 在 Claude Code 中以 92% 位居第二,Gemini 3.8 Flash 得 68%。
OpenAI 沙特籍工程师 Abdulrahman Alfozan 因在旧金山办公室会议室藏匿加密录音设备被捕,设备放置约两天,未发现其接触模型权重,最高或面临五年监禁。豆包手机助手披露151款应用拒绝其 GUI 自动化代操作,微信、淘宝、美团、DeepSeek 等在列。腾讯低调上线“绿泡泡短剧”小程序,主打免费强社交属性,直接对标日活达1.68亿的红果短剧。