腾讯AI24小时破解50年数学难题，指数直达理论极限

1. 半个月前，「晚点LatePost」以姚顺雨入职腾讯300天为题写了篇深度稿，不出意外的刷了一波屏，也算是新的混元团队对外做了一次系统性汇报。不过很少有人注意到的是，就在第二天，「Z Finance」也发了一篇关于微信WeLM加大技术成果宣传的报道，直言这是腾讯AI在混元之外的「第二条线」。时隔多年，又双叒叕看到似曾相识的赛马画面，这我可就一点儿都不困了啊⋯⋯WXG（微信事业群）在腾讯内部的独立地位，从来不是秘密，在大模型这件事情上，微信也有自己的考量，自研大模型WeLM今年开始突然积极「营业」，就是一个再明显不过的信号。根据媒体透露，在今年的腾讯年会上，微信团队是找集团表态了的，要求提供更多GPU来训练模型，这在当时集全公司资源支持元宝的背景下，显得非常「没眼力劲」。但是比较让人意外的是，凭借远远不如混元的算力资源，微信在大模型上交的答卷，其实⋯⋯还挺厉害的：基于微信和混元各自最新发布的模型自测结果，在7项重叠指标上，WeLM有6项领先于HY 3，而且这还只是WeLM-617B，并不是Hidden Decoding的完全体，而HY 3已经是正式版了，两个模型都是7月发的。就很反直觉，对不对？要知道，混元最近再次完成了一轮整合，把多模态并入了大模型部门，再加上Infra，三条线全部交给姚顺雨统一管理，这种程度的权力倾斜在腾讯的公司史上也是很少见的。气氛都烘托到这里了，然后HY 3没打过WeLM，这就有点尴尬了。再说一个很有意思的，微信和混元的赛马场面看起来十分激烈，但实际上，属于字节一队和字节二队在前线火拼。微信WeLM的模型架构负责人张思钧，是从字节Seed Model团队过去的，WeLM之所以在主打成本效益的MoE路线上建树颇丰，就是因为他把Seed极致工程化的强项带过去了。我甚至看到有Seed的同学说，WeLM更新的博客文章里，有几个技术构想很眼熟，都是张思钧之前当同事时尝试过的⋯⋯此为字节一队。至于另一边的「熟人」就更多了，姚顺雨手底下都快被字节Seed出来的人包围了，包括RL Infra组负责人张弛、RL算法组负责人袁钰峰、直接协助姚顺雨的肖学锋等等，全是核心板块的坑位。他们集中在2025年底到2026年初这个时间段入职，属于姚顺雨「刷脸」成功的结果，用于补强混元模型的基础能力。此为字节二队。所以四舍五入，微信和混元突然开始内部赛马，本质上是字节一队和字节二队在暗地里较劲，而且目前还是一队暂时领先二队。要知道，字节Seed的AI人才密度之高，已经是行业里公认的事实了，他们的外溢流动，大多始于心志勃发，想在一个更缺骨干——当然也意味着更有向上空间——的新系统里快速爬升。戏剧性的是，这些散是满天星的「SSR碎片」，同时被腾讯集齐了，并在内部阴差阳错的形成了两个对垒的阵营，一队去了微信，二队去了混元。而从过往经验来看，内部赛马这件事情，总体而言依然是利大于弊的，弊端无非是一些可以预见的资源浪费，但和保持组织活性的收益相比，可以说是微不足道的。就像微信当初是从广州跑出来的，王者荣耀则是成都团队做的，腾讯做产品是有从边缘到中心这种传统的，AI战事才刚开了个头，已经属实格外精彩了。根据高盛6月发布的一份研报，WXG和TEG并行开发模型的结构一时半会儿是不会变的，混元挂靠在TEG，同时TEG的总裁也是负责分配算力的拍板人，优势很大，但WXG硬是凭自己的模型表现上了桌，加上微信手握14亿月活的大场景，哪边更有话语权还真说不好。我的感觉是，微信确实有打差异化的心思，提前走位规避所谓「重复造轮子」的质疑，比如会反复强调资源效率，要用更经济的方式去探索AI服务。这既可以理解为卡量有限的不得已选择，也能代入到微信对于自身用户规模的谨慎，但是无论如何，这种特殊性，给WeLM从训练到推理全链路自建提供了充分的理由。大概率，WXG不会让TEG进来处理微信的数据，主权问题，不容谈判。但我也想不出来，混元能够抛开微信把腾讯AI做得风生水起的画面。腾讯在WAIC的展台我是去了的，亮相的AI产品全家桶几乎都是姚顺雨在内部推动「协同」之后的友军，唯独微信只放了一个表情包生成设备，画风迥异。不知道你们会如何看待这两条AI管线的未来？还是那句话，竞争，尤其是向上的竞争，是好事，这是「经济上行的美」不可或缺的风景线。

新浪微博 2026-07-27 00:00:00

2. 腾讯的良心AI来了！企鹅教师助手全免费！不限Token！内置超多skills！

微信公众号 2026-07-25 00:00:00

3. 黄仁勋首次发推,力挺Kimi K3/Claude Opus 5发布/腾讯317万年终奖员工因泄密被辞退

微信公众号 2026-07-25 00:00:00

4. #腾讯全新QQ宠物上线#说实话，看到QQ宠物回归这个热搜，第一反应是：爷青回。但点进去一看，嚯，这味儿变了。接了个混元Hy3大模型，宠物现在有性格了——粘人精、小戏精什么的，还会主动找你聊天、写日记。说实话这思路是对的，当年那只企鹅不就是“固定操作+预设反馈”嘛，现在套个AI的壳，确实能玩出花。但有个事我必须吐槽——新版把“生病和死亡”取消了。我懂，怕用户伤心，但说实话，当年花Q币买还魂丹那种揪心感，恰恰是它不只是一串代码的原因。取消了死亡，情怀就少了一半。不过话说回来，3D化+AI社交这条路，比硬蹭情怀强。你们觉得呢，这次回归能活多久？

新浪微博 2026-07-27 00:00:00

5. 互联网技术【 腾讯的"激进"，是一种克制的激进】2026年7月，腾讯在AI上的动作密集到让人目不暇接：7月23日宣布混元多模态模型部门与大语言模型部门合并，成立基础模型部，由首席AI科学家姚顺雨统一管理；7月22日首个创意智能体Miora全量发布；WAIC期间WorkBuddy发布独立APP并首发登陆鸿蒙；混元Hy3发布一周登顶OpenRouter全球大模型调用量总榜。外界评论多用"腾讯开始激进了"来形容这一系列动作。我的判断是：腾讯的"激进"是一种高度克制的激进——它在自己最擅长的地方加速，在自己不擅长的地方巧妙避让。这种克制，恰恰是腾讯在AI赛道上与阿里、字节、百度、华为走出完全不同道路的根本原因。一、腾讯战略的核心：把AI做成"下一代生产力基础设施"把腾讯近期的动作串起来，一条清晰的战略主线浮现出来：不做最聪明的模型，做最能落地的智能体平台；不造新的超级App，把AI注入已有的10亿级产品。这条主线在三个层面同时展开：第一层：模型层——放弃"堆参数"军备竞赛，走"性价比+开源"路线。混元Hy3没有走堆高参数的老路。腾讯云副总裁吴运声的解释很直白："进入大规模商用阶段，成本远比峰值能力重要。对企业而言，不会为了1%的效果提升支付数倍的推理成本；对个人用户而言，也不会因偶发的复杂任务，为日常使用的高算力持续付费。"Hy3登顶OpenRouter调用榜，证明开发者用"调用量"这种最诚实的方式认可了它的性价比——这比任何跑分都更有说服力。7月23日的基础模型部合并，本质上是为了让语言模型、多模态、强化学习、Agent等方向在统一的工程体系下协同，探索"全模态模型的智能上限"。这是一个信号：腾讯认识到，在AGI的最后一公里，多模态融合不是可选项，而是必选项。第二层：平台层——ADP+SkillHub构建企业级智能体的"造、管、用"闭环。腾讯云智能体开发平台ADP的定位非常清晰：它不是另一个"智能体 Demo 生成器"，而是覆盖智能体全生命周期的工程化平台——从构建、评测、发布，到嵌入现有系统、运行状态可观测、全流程审计日志、权限管控。吴运声的判断一针见血："企业选择智能体产品，最在意的从来不是成本，而是可信、可控。"SkillHub已沉淀7.8万个AI技能，搭配SkillPay支付体系，打通"分发-调用-支付"全链路。这是典型的平台化思路，复刻了App Store的生态逻辑。腾讯在AI时代再次将"半条命"交给生态伙伴——它提供底层平台、模型、产品能力，伙伴提供行业经验、客户资源。第三层：应用层——WorkBuddy+Miora双轮驱动，C端B端齐发。WorkBuddy在2026年6月国内PC端AI原生办公智能体市场，单月访问量突破2000万，稳居第一，超过第二、第三名的总和。更关键的是，WorkBuddy在WAIC期间发布独立APP，同步覆盖iOS、Android、鸿蒙三端，成为首个登陆鸿蒙的通用智能体应用——这意味着它正式跳出腾讯生态，成为独立产品。Miora则是国内首个多Agent协作驱动的多模态创意工作室，用户提交一份需求，系统调度不同的创意Agent完成图片、视频、3D、UI等多模态创作。内置记忆系统可持续学习用户偏好，开放的技能生态让用户可将创作工作流沉淀为可复用技能。二、与其他大厂的差异化：五条路线，五种哲学2026年的WAIC是一个分水岭——行业风向从"比拼参数"彻底转向"三条路线全面布局：算力系统、具身智能/手机端、原生智能体"。在这三条路线上，五大厂走出了截然不同的路径。华为：筑牢底层算力根基，做"软硬一体"的国产算力底座。华为在WAIC现场落地Atlas 950超节点真机，单柜搭载千张昇腾卡，集群可扩展至50万卡。华为的逻辑很清晰：不做消费级AI应用，做AI的底层基础设施。盘古大模型+昇腾芯片的组合，本质上是"AI+算力+硬件"的垂直整合，面向工业科研提供规模化国产算力底座。阿里：真武系列超节点+平头哥自研AI芯片批量商用，同时推出可换电千问AI眼镜，打通支付出行全生态智能服务。阿里的路线是"电商+企业双轮驱动"——通义千问跟淘宝天猫打通，悟空Agent平台续费率做到90%以上。阿里云Token Hub事业群的成立，标志着阿里要把AI能力变成可盈利的商业生态。字节：聚焦消费终端与线上商业场景，官宣与手机厂商合作推出豆包原生AI手机，全部功能深度适配直播电商带货场景。字节的逻辑是"流量+产品爆款"：豆包月活突破3.45亿，人均使用54.8次/月；火山引擎企业大模型服务市占率46.4%，遥遥领先。字节不做底层算力，也不做强B端深度，它做的是把AI塞进抖音、剪映、飞书、豆包——用C端流量反哺B端。百度：主打通用办公智能体，通用智能体搭子获评WAIC镇馆之宝。百度走的是"全栈基础设施"路线——昆仑芯、飞桨框架、文心大模型、DuMate/秒哒应用，形成"芯-云-模-体"四层联动。李彦宏提出AI时代新度量衡DAA（日活智能体数），预测全球DAA未来将超100亿。百度想做的是"让Agent长在企业生产线里"。腾讯：深耕机器人与企业出海赛道，Hy3登顶全球调用榜单，WorkBuddy三端同步。腾讯的路线在五家中最为独特——它既不是算力派（华为），不是电商生态派（阿里），不是流量爆款派（字节），也不是全栈自主派（百度）。腾讯是"场景内嵌派"：把AI注入微信、企业微信、腾讯会议、腾讯文档、WorkBuddy——用存量流量养AI，用智能体重构生产力。三、腾讯战略的三处精妙与两处隐忧精妙之一：用"模型聚合"化解"模型短板"腾讯自研模型能力在行业中并不占优——这是一个业内公开的秘密。但腾讯的聪明之处在于，它绕开了模型层面的硬拼，把WorkBuddy变成了一个模型聚合平台，接入DeepSeek、混元、GLM、Kimi等多家模型，用户充值积分即可调用。这样一来，不管底层跑的是谁的模型，腾讯都可以收钱——等于把自己的短板做成了一门平台抽成的生意。而在生态逐步成熟后，7月6日Hy3上线并在WorkBuddy首发接入，据易观报告，在WorkBuddy自选模型的用户中，选择Hy3的占比已超过六成。这说明腾讯的"模型聚合→自研反哺"策略正在生效。精妙之二：用"可信可控"切开企业级市场吴运声在采访中戳破了一个行业认知误区：当下智能体落地的最大瓶颈，早已不是技术能力本身，而是企业存量系统的适配困境。"很多系统没有标准化接口，智能体无法直接调用，必须先做适配改造、补充接口，才能嵌入业务流。"对此，腾讯的解法是覆盖智能体的全生命周期：ADP实现智能体与工作流的双向互调——模糊的、需要推理的任务交给智能体自主处理；确定性强的、标准化的流程交给工作流执行。在金融、政务等强监管行业，"没有可观测、可审计的能力，智能体根本无法进入生产环境"。这是腾讯B端战略的精髓：不拼模型的聪明程度，拼平台的工程化治理能力。 腾讯云Agent矩阵原生支持覆盖基础设施到应用的全链路，"造Agent、管Agent、用Agent"闭环、ClawPro分发、安全网关与SkillHub市场——这套组合拳，恰好对应了企业客户最在意的"可信、可控"。精妙之三：用"SkillHub+SkillPay"复制App Store奇迹7.8万个AI技能、SkillPay支付体系、开发者上架自研技能并设定收费——这套机制几乎是App Store在AI时代的翻版。腾讯提供底层的平台、模型、产品能力，伙伴提供行业经验、客户资源，双方优势互补。这是腾讯最熟悉的打法。从QQ宠物到微信小程序，腾讯多次证明过自己"搭台、让伙伴唱戏"的平台化能力。在AI时代，SkillHub是腾讯试图再次将"半条命"交给生态伙伴的战略落子。隐忧之一：C端入口仍落后截至2026年Q1，豆包月活3.45亿，日活1.4亿；而腾讯元宝月活5735万，约为豆包的六分之一。同期阿里通义千问、DeepSeek月活均已破亿，元宝还未破亿。腾讯AI产品数量超过任何一家国内大厂——元宝、腾讯文档AI、腾讯会议AI、搜狗输入法AI、WorkBuddy、CodeBuddy，以及嵌入微信生态的各类AI能力。但没有一款跑出豆包式的声量。这是结构性问题：腾讯的AI能力分散在六大事业群，每条产品线都在做AI，反而稀释了C端超级入口的心智。隐忧之二：模型能力仍是"天花板"虽然Hy3登顶OpenRouter调用榜，但调用量大≠模型最强。在智力上限的竞赛中，美国厂商主要发力提升智力上限，中国厂商主打高性价比——这是吴运声自己也承认的"不同的市场选择"。腾讯把战略重心放在"性价比+落地"上，意味着它在最顶级的AGI竞赛中可能始终处于"第二梯队"。这种选择在商业上完全合理——企业客户更在意ROI，而非模型是否世界第一。但长期来看，如果模型的智力上限出现阶跃式突破，平台型的腾讯是否会面临"底层被卡脖子"的风险？ 这是悬在腾讯战略头上的一把达摩克利斯之剑。四、腾讯战略的本质：用"生产关系"优势打"生产力"战争把腾讯、阿里、百度的路线放在一起对比，会发现一个有趣的规律：厂商 战略定位 核心优势 关键打法华为 国产算力底座 昇腾芯片+全栈硬件 做AI的"电厂"阿里 电商+企业双轮 电商生态+通义千问 把AI嵌入商业全链路百度 全栈智能体基础设施 昆仑芯+文心+千帆 "芯-云-模-体"四层联动字节 流量+产品爆款 豆包+抖音+剪映 用C端流量反哺B端腾讯 场景内嵌+平台生态 微信+企业微信+全场景办公 把AI做成生产力基础设施腾讯的独特之处在于：它是五家中唯一一家把"生产关系"作为核心武器的厂商。 华为卖算力、阿里卖商业、百度卖全栈、字节卖流量——而腾讯卖的是"如何在已有组织中嵌入AI"的整体方案。吴运声的判断极具洞察力："过往企业软件、ERP、CRM核心设计逻辑都是'为人服务'……智能体时代，系统需要同时'为Agent设计'。" 腾讯看到的，是AI不只是生产力工具，更是生产关系的重构者——当Agent成为企业系统的新"中控层"，跨系统调度流程、完成复杂任务，企业软件的设计范式将发生根本性转移。腾讯押注的，正是这个范式转移的窗口期。 WorkBuddy+ADP+Miora+SkillHub的组合，不是单点产品的胜利，而是一套完整的"生产关系重构工具箱"。五、未来推演：腾讯的AI战略将如何演进？基于上述分析，我对腾讯AI战略的未来演进做三点推演：推演一：C端入口将逐步收口到"微信AI+元宝"双旗舰。腾讯已经意识到产品过于分散的问题。2026年Q1财报电话会上，刘炽平三次点名WorkBuddy、元宝只提了一次，内部资源优先级排序为"WorkBuddy > 其他"。随着组织调整到位（基础模型部合并、姚顺雨坐稳"一号位"），腾讯C端AI将进一步收口——元宝承担通用对话入口，微信AI承担生态内嵌入口，WorkBuddy承担办公生产力入口，ima承担个人知识库入口。多入口并存但定位清晰，是腾讯C端破局的必然选择。推演二：B端将以"ADP+ClawPro"组合拳挑战阿里云与百度智能云。腾讯云Agent矩阵已形成"ADP（智能体工厂）+ClawPro（应用商店）"的组合拳，覆盖"开发-发布-使用"的闭环管理。在金融、政务、传媒等腾讯传统优势行业，这套组合拳将对阿里云（悟空）和百度智能云（千帆）形成强力挑战。特别是在传媒领域，ADP已做到市场第一。推演三：生态化将是腾讯AI最终的胜负手。SkillHub的7.8万技能只是起点。腾讯真正的野心是用SkillHub+SkillPay复制微信小程序的成功——让开发者在腾讯的AI生态上创业，让企业在腾讯的AI平台上构建专属智能体。如果这条路跑通，腾讯将再次成为"AI时代的运营商"而非"AI时代的制造商"。💡 一个容易被忽视的细节：腾讯在AI上的总投入，2025年约180亿元，2026年计划超360亿元，翻了一倍。但相比于阿里未来三年3800亿的AI基础设施投入、字节2026年2000亿的AI资本开支，腾讯的投入规模其实是克制的。这种克制背后，是腾讯对"AI投入产出比"的极致关注——它不追求在算力上压倒华为，不追求在模型上压倒百度，不追求在流量上压倒字节，而是追求在"场景落地"上建立别人无法复制的壁垒。六、结语：腾讯的"激进"，是中国AI最现实的激进回到"腾讯开始激进了"这个判断。我的理解是：腾讯的激进不是姿态上的激进，而是执行上的激进。姿态上，腾讯仍然克制——它不造芯片、不追求最大参数、不硬拼C端月活；执行上，腾讯极其激进——基础模型部合并、WorkBuddy三端齐发、Miora全量发布、ADP企业客户数同比超100%、SkillHub技能数7.8万。这种"姿态克制、执行激进"的组合，恰恰是腾讯作为10亿级用户平台应有的战略定力。在中国AI的五条路线中，腾讯选择的这条路——用智能体重构生产关系、用平台生态承载生产力——是最契合腾讯基因的路，也是最难被对手复制的路。华为可以造芯片、阿里可以做电商AI、字节可以榨取流量、百度可以全栈自研，但只有腾讯能把AI无缝注入10亿人的日常工作与社交。WorkBuddy在三个月内跑到PC端访问量2097万，超过第二名和第三名的总和——这个数字背后，不是模型的胜利，而是"微信+企业微信+腾讯文档+腾讯会议"这一整套生产关系网络的胜利。当AI从"对话框"走向"智能体"，从"回答问题"走向"交付结果"，腾讯多年积累的"场景资产"将被重新激活。这可能就是腾讯在AI时代最深的护城河：它不是用AI去颠覆什么，而是用AI去放大自己本来就拥有的东西。 这种"激进"，是中国AI产业最现实、也最有可能跑通的激进。需要警惕的是：腾讯的战略并非没有风险。C端入口的落后是结构性问题，模型能力的天花板是长期隐患，生态伙伴的忠诚度在利益分配不当时会动摇。如果SkillHub的分成机制、ADP的定价策略、WorkBuddy的模型聚合模式不能在2026-2027年形成正向循环，腾讯的"平台化AI"故事将面临严峻考验。但无论如何，腾讯已经给出了一个清晰的答案：在AI这个没有标准答案的战场上，最大的智慧不是去赢下每一个单项比赛，而是用自己的方式定义一场新的比赛。 当华为在造电厂、阿里在织电商网、字节在榨流量、百度在全栈自研时，腾讯选择了一条更少人走但更适合自己的路——把AI做成下一代生产力基础设施，让每一个组织、每一个人都能在自己的场景中调用智能。这条路如果走通，腾讯将不仅仅是"AI时代的腾讯"，而是"AI时代的生产关系定义者"。这才是马化腾口中"AI是腾讯唯一花钱较多的领域"背后的真正赌注。

新浪微博 2026-07-27 00:00:00

6. #腾讯全新QQ宠物上线#QQ宠物重启，本质是大模型轻量化落地的绝佳样本。抛开经典企鹅的怀旧滤镜，这套玩法解决了AI应用门槛高的痛点：不需要复杂操作，打开QQ就能拥有专属AI陪伴宠物。把大模型交互藏进大众熟悉的养成玩法里，比起生硬的AI对话窗口，这种娱乐化、社交化的落地思路，更容易让用户接受智能交互

新浪微博 2026-07-27 00:00:00

7. #腾讯全新QQ宠物上线#2018年9月，陪伴了13年的QQ宠物正式停运，无数人不得不和自己养了十几年的小企鹅郑重告别。没人想到，时隔整整8年，这只圆滚滚的小家伙，会在2026年7月27日，带着全新的模样，重新出现在手机QQ里。据了解，新版QQ宠物完成全面3D视觉升级，在经典企鹅形象之外新增“狗狗”“蒜头鹅”两类全新物种，保留喂食、打工、学习等广受好评的经典养成玩法，同时取消传统死亡机制大幅降低养宠门槛；核心亮点在于接入腾讯混元Hy3大模型，支持用户自定义宠物性格，打破传统预设反馈的固化模式，可每日生成专属“宠物日记”，让虚拟角色从被动养成对象升级为有独立表达能力的AI互动伙伴。

新浪微博 2026-07-27 00:00:00

8. #差评说AI# 在有人在意的角落，腾讯 #WorkBuddy# 的日活干到了同类型的国产榜首了。害得我又下回来用了一段时间，看看是怎么个事儿，让它口碑反转了。首先就是界面，如果你见过 Codex，那打开 WorkBuddy 会有种熟悉的感觉，因为布局设计，功能区划基本没啥两样。好的设计它就是这么心有灵犀。其次就是连接即时通讯软件的能力，也就是龙虾火出圈的那个场景：手机下令直接干活。腾讯自家的微信，QQ 能连，隔壁的飞书，钉钉也能连，而且配置起来可能就是扫个码的事儿，再加上微信AI才刚刚内测，战未来的想象力就已经拉满了。要说最核心的干活能力，还是跟模型配套的一系列基础设施，无论是轻度的办公体验，还是稍微难点的代码开发，它搭建得都不赖。把备受好评的 Skills 装上，能玩的就更多了。WorkBuddy的功能基本就了解差不多了，用它主要还是实惠。一来能接第三方模型，二来它自己平常活动就挺多，每天领个100积分，主流国产模型，像 DeepSeek，GLM，Kimi，Minimax 等等都能用，偶尔还给你来个1折2折的倍率。而且它家混元 Hy3 模型刚发，8月5日前都可以免费蹬，香的一批，后面任务我也换成了 Hy3 来跑。还有个「腾讯云 CloudBase」的连接器，新用户能嫖一个半年套餐，额度不多，但也能跑跑小项目。它不是那种效果拔群的突出，而是使用体感很丝滑。当然也有很多鸡肋的地方。比如「专家团」，容易越跑越偏，Token 消耗还贼大。而且它还没 Git 树，你搞个新功能哪出错了没法退回旧版本。总的来说，入门门槛这一块，WorkBuddy 秒杀。强生态的组合，搭配上相对成熟的 Harness 框架，普通 C 端用户这么多没毛病。新手的话很推荐试试。

新浪微博 2026-07-27 00:00:00

9. 腾讯混元Hyra破解50年数学难题：有史以来第一次，AI独立完成了数学构造

微信公众号 2026-07-30 00:00:00

10. 腾讯混元Hyra破解50年数学难题

微信公众号 2026-07-30 00:00:00

11. 腾讯混元破解 50 年数学难题：研究智能体第一次把构造与形式化证明连起来

微信公众号 2026-07-30 00:00:00

12. AI解了50年数学题,不是OpenAI

微信公众号 2026-07-30 00:00:00

13. 腾讯混元 Hyra 立大功：和差集不等式最优指数终被确定——指数 1/2 不可改进

微信公众号 2026-07-30 00:00:00