撰文｜新皮层小组
编辑｜王杰夫
「王的猜想」刚过去没多久，「AI的证明」又来了。
本周六，OpenAI突然再次发文，宣布其尚没有正式发布、内部代号「Astra」的模型，解决了10个悬而未决至少十年、多数长达数十年的数学与理论计算机科学难题。其中最抓眼球的一项，是首次显式构造出一个「非可索菲群」（non-sofic group），解决了群论研究里一个自1999年悬置至今的核心问题。
OpenAI在官方公告中特别声明，所有数学论证完全归功于Astra，人类的工作是和模型一起把论证整理成规范的学术论文手稿。「将完全由人工智能系统生成的证明归于人类作者，既歪曲了系统的贡献，也歪曲了真正人类智力劳动的本质。」
有数学从业者表示，这10个难题起码都是「四大」级别（注：指包括《数学年刊》《数学新进展》在内的四大数学顶级期刊）的成果，其中「非可索菲群」的相关研究甚至是准菲尔兹奖级别的。
然而，这几乎等同于一个顶级数学家多年研究所积累的工作量，在OpenAI的官方表述中，一共花了大约2000美元的算力成本。
就在一周多前，数论学家Levent Alpöge——现供职于Anthropic，此前是哈佛Society of Fellows的初级研究员——在世界杯决赛当晚，用Claude Fable 5找到了一个仅216个字符的三变量多项式反例，推翻了1939年提出、悬置87年的雅可比猜想。这个问题曾被1998年菲尔兹奖得主Stephen Smale列入「下世纪18个数学问题」，与黎曼猜想、庞加莱猜想、P=NP问题并列，是同一梯队的顶级难题。
事实上，就在过去一年里，AI在解决数学难题方面的进展可谓突飞猛进。去年下半年时，AI还在比拼数学奥赛的分数；而到了今年1月，OpenAI公布GPT模型相继解决了两个Erdős难题，该事件也被菲尔兹奖获得者陶哲轩视作AI数学能力的第一个真实里程碑；再到最近，OpenAI和Anthropic的通用模型已经展现出顶级数学家的能力。
不少专业人士认为，2026年的菲尔兹奖可能是最后一届完全属于人类智慧的菲尔兹奖，未来的数学将由AI与数学家一同完成。今年与邓煜、王虹一起得奖的Jacob Tsimerman在获奖后不久就宣布加入OpenAI，理由是「两年内AI将在所有数学证明领域彻底超越人类」。
除了感慨AI在数学能力上进展，另一个值得注意的点是，这一拨顶级数学难题的解决，依靠的都是通用大语言模型，而非专用模型，例如DeepMind曾引以为豪的AlphaProof。
AlphaProof是DeepMind于2024年开发的专用数学证明系统，并在当年宣布在国际数学奥林匹克拿到银牌。这个模型在方法论上传承了AlphaZero（下围棋的AlphaGo的增强版），包括自我博弈、强化学习，以及蒙特卡洛树搜索。它将海量数学题翻译成Lean形式化命题，再用强化学习在Lean环境里训练证明搜索能力。
然而在过去几个月的顶级数学难题竞赛中，AlphaProof这类专用模型的身影已经消失不见。
5月21日，DeepMind的最新模型AlphaProof Nexus也交出了不错的成绩单：在353个开放的Erdős猜想里解出9个。但事实上，AlphaProof Nexus只是保留了AlphaProof的名字，后者早已不是主角，只是被塞进系统里的一个可选工具。
DeepMind表示，AlphaProof Nexus其实是一套以通用大模型Gemini 3.1 Pro为核心的智能体系统，AlphaProof是其中的工具之一，并且即使去掉AlphaProof，结果照样解得出来。
专用模型的式微不仅体现在数学领域。7月29日，《金融时报》报道称DeepMind解散了AlphaFold的专职团队，大部分研究人员被重新分配到Gemini相关项目、酶设计、核聚变、基因组学等方向。AlphaFold是DeepMind开发的蛋白质结构预测系统，2024年为其研发者赢得了诺贝尔化学奖。
DeepMind研究副总裁Pushmeet Kohli承认，团队策略「已经演变」，不再延续过去为「每个大挑战单独设立专职团队」的模式，取而代之的方向，是构建由通用模型Gemini支持的系统来协助科学家，并最终自动化部分科研流程。
通用模型在吞噬一切，包括同为AI的专用模型。
以下内容由「新皮层」团队制作，欢迎关注。
企业微信推出AI功能「大圆」
7月27日，企业微信宣布内测AI功能「大圆」，用户在手机端任意界面按住侧边并左滑，或在电脑端点击「左侧边栏-智能助理」就能唤起。该功能可以帮用户总结大量未阅读的聊天消息，提供如何回复工作消息的建议，帮用户基于聊天记录及文件撰写工作周报，设置待办消息等。
千问办公内测
7月27日，阿里巴巴推出千问办公并启动内测。该产品整合了QoderWork、悟空、MuleRun三款智能体产品。内测版接入的模型为Qwen3.8-Max-Preview。
腾讯WorkBuddy上线「人机双写」功能
7月30日，腾讯宣布AI办公助手WorkBuddy联合腾讯文档推出「人机双写」协同编辑能力。此次更新的主要变化，是WorkBuddy将文档编辑界面与AI对话框放在同一屏内：左侧为AI对话区，右侧为可编辑的腾讯文档界面。无论在线的腾讯文档还是本地的Word、Excel、PPT、Markdown文件，通过WorkBuddy打开后均可进入腾讯文档的AI原生编辑器，AI的修改直接在原文件中生效，无需复制粘贴或切换窗口。
字节发布Seedance 2.5
7月31日，字节发布新一代视频模型Seedance 2.5。字节称，和Seedance 2.0相比，Seedance 2.5重点提升了长叙事能力、多模态参考能力和编辑能力。模型支持单次30秒视频生成，并支持多轮延长；支持用户单次输入最多30张图片、10段视频和10段音频，合计50份参考素材；支持时间戳控制某个时间段发生的故事、画面视角、运镜和整体节奏。
MiniMax发布全模态生成模型H3，定价0.8元/秒
Google DeepMind解散AlphaFold团队
7月31日，MiniMax推出通用全模态生成模型MiniMax H3。该模型支持对文本、图像、视频、声音组成的多模态上下文统一理解，可原生输出双声道音视频，最长生成15秒内容、最高支持2K分辨率直出。价格方面，H3视频生成定价为0.8元/秒（2K分辨率），MiniMax称约为业内同类旗舰视频模型的三分之一。
Google DeepMind解散AlphaFold团队
7月29日有报道称，Google DeepMind已解散开发AlphaFold的专职团队。团队成员一部分转入Gemini相关项目，另一部分被调往酶设计、核聚变、基因组学等科研方向或Alphabet旗下的AI制药公司Isomorphic Labs。
官方称公司过去九年的战略是聚焦「重大挑战」、每个项目围绕一个具体目标展开，「这一战略已经演变」。取而代之的方向，是构建由通用模型Gemini支持的系统来协助科学家、并最终自动化部分科研流程，
小米首款增程SUV预售25.99万元起，与SU7、YU7走不同路线
7月30日，小米汽车举办了自造车以来的第二场技术发布会，发布第二套整车技术架构「小米昆仑技术架构」，并推出全新产品系列「小米澎程」（SKYNOMAD）。首批亮相的两款车型为大七座旗舰增程SUV澎程N90 Max与大五座四驱增程SUV澎程N70 Max，预售价分别为29.99万元和25.99万元，预计9月正式上市。这是小米汽车继摩德纳纯电平台后的第二套架构，也是它首次进入增程赛道。
小鹏人形机器人开启试生产
7月24日，小鹏集团称，小鹏人形机器人已在广州工厂开启小批量试生产，同时量产产线进入最后的联调阶段。此前，公司内部召开了机器人量产动员大会，再次明确了今年实现机器人量产的目标。此外，小鹏计划自2027年起陆续将机器人部署至全球的小鹏门店及商业场景，让机器人提供导购、讲解等服务。
Momenta无人货运车业务落地苏州
7月27日，Momenta宣布公司的Robovan（无人货运车）业务落地苏州，其车辆将进入快递配送、夜间配送等城市末端物流场景。这个月Momenta刚作为「物理AI第一股」在港股上市，这次Robovan落地苏州是它上市后的第一个业务动作。
智元机器人启动赴港上市流程
7月24日，智元创新（上海）科技股份有限公司（以下简称智元）已启动赴港上市流程。当前港股机器人赛道热度持续攀升。Choice的数据显示，今年上半年已有10家涉及机器人业务的企业在港上市，另有16家已刊登申请排队等待。
长鑫科技上市首日登基A股新王
7月27日，国产存储龙头企业长鑫科技正式登陆A股科创板，发行价为8.66元/股，收盘报49元，涨幅465.82%，总市值达3.28万亿元，超越工商银行成为A股市值最高的公司。本次IPO募集资金总额约579.19亿元，上市首日总市值约为发行市值的5.7倍。
苹果iPhone、Mac双双两位数增长，服务业务增速降至12%
7月30日，苹果发布2026财年第三财季财报，本季度总营收1094.17亿美元，同比增长16%；净利润297.89亿美元，同比增长27%。报告期内的公司增长由硬件驱动。iPhone营收同比增长22%创同期纪录；Mac营收同比增长29%。服务业务成为主要拖累，尽管其绝对营收同样创下季度纪录，增速12%，低于市场预期。
此前7月27日收盘时，苹果的市值约4.96万亿美元，超越英伟达，时隔约15个月重夺全球市值第一。本次为库克任内最后一次财报电话会。
亚马逊AWS第二季度增速创18个季度新高，全年资本开支上调至2200亿美元
7月30日，亚马逊公布2026年第二季度业绩。本季度公司总营收2006亿美元，同比增长20%；营业利润275亿美元，同比提升43%。
核心云业务AWS本季营收422亿美元，同比增长36.7%，创下18个季度最快增速。CEO安迪·贾西在电话会上称，AWS最终有潜力成为年营收1万亿美元的业务。AI相关业务是主要拉动力。亚马逊AI业务与芯片业务的年化收入均超过250亿美元。
Meta第二季度增收不增利，自由现金流仅剩7.84亿美元
当地时间7月29日，Meta公布了2026年第二季度财报。该季度Meta营收增长28%至608亿美元。但与此同时，Meta净利润同比下滑14%至158亿美元。
自由现金流是本季最受关注的数字。第二季度Meta经营现金流318.62亿美元，仍在增长，但单季资本开支高达310.78亿美元，同比增长82.7%。两者相抵后，自由现金流从上年同期的85.49亿美元降至7.84亿美元，为2022年第三季度以来最低。