中央定调AI+、Meta破数学猜想、生成AI破7亿用户——今天的干货密度拉满 - AI日报 | 产教融合

今天的内容政策、技术、产业都齐了，我筛掉了凑数的发布会通稿，留下真正影响接下来方向的几条，慢慢读。

Meta拿网页端AI破了六个数学世界猜想

毕树超带着Meta团队官宣，Muse Spark六个月连破六个开放性数学难题，其中五个直接给出了悬而未决的答案，还在非结合代数问题里推翻了前人的可解性测试，顺便给出了新的表征框架。最有意思的是，整个过程没动用内部超算，数学家就是开了网页端meta.ai，用自然语言聊出来的。

说这是数学界的AlphaGo时刻其实不夸张——之前大家总觉得AI只能算已知规律，数学这种纯逻辑堆出来的前沿领域轮不到AI说话，现在AI直接帮人找反例、提框架，科研范式真的变了。但别吹得太神，现在还是"协助人类"，离AI自己独立做证明还有很远的路。

刚出的《生成式人工智能应用发展报告（2026）》给了这个数，普及率刚过50%。7亿这个数字真的是全球独一份的底盘——每一次提问、修改、反馈都是给模型喂真实训练数据，现在已经能看到这个规模的好处：国产大模型调用量前六全是中国团队，智能算力规模同比涨了177%，第一个10万卡全国产超集群已经投用。

但7亿用户不等于7亿有效用户，现在大部分人还是用它答问题、修图，真正落到产业核心环节的深度应用还太少。规模优势能不能变成技术优势，就看接下来能不能把"用得多"真正变成"用得好"。

昨天刚发的部署，核心就是把AI往千行百业里塞，重点明确了要强化算力、算法、数据的供给。刚好和之前新质生产力的文件对上——文件里明确说"以人工智能引领科研范式变革，助力提升科研效率"，这次19项举措就是把这句话拆成了可落地的动作。

这不是什么新口号，是从技术爆发期往价值兑现期转的明确信号。接下来地方、企业拿到的资源都会往实体场景倾斜，那些只会吹概念、做Demo的项目，接下来拿支持会越来越难。

凌晨更的2.1版本，直接解决了两个行业痛点：一是中文生成错字乱码的老问题，实测做中文宣传海报已经排版干净，错字极少；二是价格直接砍了一半，1K、2K生成价格对半降，4K也降了25%，0.09元每秒就能用生数的新视频模型，现在中小设计师也能用得起商用级AI生图了。

实话实说，现在完成度还是比GPT Image差一点，但这个降价节奏太吓人——一年前4K生图还是高端功能，现在随便搓商单都用得起，AI工具的普及速度比所有人想的都快，传统设计软件的压力真的来了。

今年世界人工智能大会最明显的变化，就是秀跳舞、尬聊的机器人少了，啃硬骨头的多了。比如它石智航做的汽车线束自动化装配机器人，这个活之前全靠人工——线束软得没形状，精度要求高到错一点就全车失灵，之前机器人根本干不了。现在靠自研的具身大模型，已经在龙头企业规模化部署了，就是冲着用工荒去的。

还有曦诺未来的仿生灵巧手，跟着人手的生理结构做设计，能抓能捏还能微调，终于不是只能摆拍的样子货了。之前大家都在炒人形机器人概念，现在终于有人往核心零部件和实际场景走了，这才是真的落地。

以上是我今天从公开信息中梳理的几个方向，有些判断比较主观，欢迎讨论。