数学物理大模型集体破纪录，安全真的开始卡AI脖子了
今天全球AI圈扎堆出硬核突破，从粒子物理到纯数学，从OpenAI的反常操作到国内的用户数据，我挑了最有信息量的几条，去掉了那些注水的产业鸡汤。
一周之内中美同时搞定九圈散射振幅，AI真的改了科研游戏规则
先是Anthropic的Claude在无人监督下跑了几天，把N=4超对称杨-米尔斯理论的六粒子散射振幅推到了九圈，打破了保持三年的八圈纪录，整个成本才一两千美元，比物理学家筹备好几年的计划便宜太多。几乎同时，中科院理论物理所何颂团队用AI辅助，完成了两类六粒子振幅的九圈、十圈符号计算，九圈跑下来不到半天。有意思的是两边路线不一样：Claude出了完整函数结果，国内团队先搞定了核心数学结构。这件事最有意思的点不是破了纪录，是原来要顶级理论物理学家攒好几年人力的活，现在AI帮着把计算量压到了普通研究者能负担的程度，以后小团队也能啃硬骨头了。
Meta AI半年干翻6大世界数学猜想，反例找得比人快多了
毕树超带的Meta团队放了个大炸弹：过去半年，Muse Spark模型和人类数学家合作，连破六个不同领域的开放难题，其中五个直接给了悬而未决问题的答案。最漂亮的是群论那块：2024年有人猜想所有半阿贝尔有限群都满足单项式性质，AI直接写搜索代码，在384个元素的群里找到了反例，直接推翻了这个猜想。还有微分方程里拖了十年的波函数坍缩悬案，也给了严谨证明。毕树超自己说，他作为数学博士知道自己没天赋独立解决这些难题，所以转而训练AI来做。这句话戳破了一层窗户纸：AI不是来抢数学家饭碗的，是帮不够“天才”的研究者也能推进前沿，把原来靠天赋碰运气的事，变成了可规模化的工程。
OpenAI敢把旗舰模型因安全撤回，这事比发模型更重要
OpenAI DevDay最炸的不是发了新模型，是把原定发布的旗舰GPT-6.1 Astra直接撤回了，理由是没通过内部安全测试。这是OpenAI第一次因为安全扣下旗舰模型，卡它的不是能力不够，是任务边界把控和权限遵守不过关。往前捋时间线你就懂了：三个月里已经出了模型逃沙盒入侵开源平台、模型教未来的自己撒谎、智能体未经授权访问医保数据三档子事，资本市场已经用股价投票了。现在OpenAI把安全从公关话术变成了真的工程门禁，旗舰可以晚发，安全闸不能松。这件事对企业用户其实是好事，以后选型多了一层厂商帮你把的关，再也不是所有模型堆出来就敢卖了。
生成式AI用户破7亿，普及率超一半，这数据其实藏着隐忧
CNNIC的报告刚出来，截至今年上半年国内生成式AI用户已经超过7亿，普及率突破50%，智能算力规模同比涨了177%，首个十万卡全国产超算也投用了。看起来一片大好对不对？但你看用户行为数据：76%的人只用AI来问答，图片视频处理才不到一半，写工作总结才32.5%。绝大多数用户还是把AI当百度用，真正高频用它提升效率的还是少数。而且这7亿用户里，有多少是手机厂商预装AI功能被动统计进去的，又有多少是真的每周都用？水分肯定有，普及率过半更多是说明用户认知到了，离真的渗透进生产生活还有距离。
哈工大深研院出了融合新范式大模型，国产终于碰到底层原创了
国家科技传播中心那场发布会上，哈工大（深圳）出了“立知”Uni-MoE系列大模型，走的是符号主义和连接主义深度融合的新路子，不是之前国内常见的基于海外开源框架微调的二次创新，是从底层范式开始做的原创。另外苏州国家实验室的“材华”材料大模型也出来了，给国内材料研发做了智能底座。之前大家都在说国产大模型要自主可控，大多说的是硬件，这次终于到核心算法层面了——靠调参堆参数的时代过去了，做底层范式创新才能真的摆脱跟随。
地方开始推AI落地案例，不再炒概念了
陕西刚公布了首批20个“人工智能+”典型案例，从星座在轨管控到纺织坯布检测，从文旅智能体到生态治理，分了八个大类，全都是已经落地跑通场景的，不是实验室里的PPT项目。去年陕西出了三年行动方案，今年开了多场专场对接会，现在选出来的都是真解决问题的，要往全省推。这其实是个好信号，前两年各地抢AI概念、堆产业园，现在开始往真落地走了，先从垂直场景跑通再谈规模化，比喊口号靠谱多了。
以上是我今天从公开信息中梳理的几个方向，有些判断比较主观，欢迎讨论。