今日AI领域呈现"模型能力突破+商业化格局重构"双主线：OpenAI GPT-5.6 Sol Ultra以64个子智能体并行协作，1小时内证明了图论领域50年未解的循环双覆盖猜想；智谱宣布"摸高计划"放弃两年短期变现死磕AGI，Databricks默认采用GLM-5.2作为编码引擎标志中国模型在实战场景中完成对Opus的性价比替代；Meta首次推出付费API Muse Spark 1.1以四分之一价格搅动市场；宇树G1登上Nature完成全球首例人形机器人活体微创手术，具身智能从工厂走向手术台。
GPT-5.6 Sol Ultra 1小时证明50年数学猜想
7月12日，OpenAI宣布旗下GPT-5.6 Sol Ultra模型在不到1小时内，成功生成了"循环双覆盖猜想"（Cycle Double Cover Conjecture）的完整证明。该猜想是图论领域悬而未决超过50年的重要难题。GPT-5.6 Sol Ultra调用64个并行子智能体协同工作，动态分配不同数学表示方法、代数思路和结构归纳路径，同时设置专门的"对抗智能体"负责寻找漏洞和边界情况。系统禁止联网搜索资料，要求必须通过对抗式验证。原本预留8小时计算时间，最终仅耗时约1小时即完成全部证明。
值得关注的原因： 这是AI模型首次在高等数学证明领域实现"多智能体协作+对抗验证"的自主推理范式。64个子智能体的并行调度和对抗式自检机制，标志着AI从"单点推理"迈向"科研工作流编排"，对AI Coding中复杂任务的Agent架构设计具有直接参考价值。
信息来源： IT之家
智谱发布"摸高计划"：两年不追求短期变现，死磕AGI四座高峰
7月11日，智谱创始人唐杰发布内部信《巨浪已来》，宣布启动"Touch High（摸高）计划"：未来两年不追求短期商业变现，集中资源投入四大方向——长程任务能力、自治智能体系统、完全自我训练、极致安全治理。唐杰将这四个方向定义为通往AGI道路上"必须翻越的山峰"。此举标志着智谱在GLM-5.2 CodeArena全球第一、Databricks采用为默认编码引擎等商业化成果的基础上，选择将资源压向基础研究而非短期营收。
值得关注的原因： 在OpenAI筹备7300亿美元IPO、Anthropic年化收入470亿美元反超OpenAI的行业背景下，智谱选择"反直觉"路线——放弃短期变现全力冲击AGI。这一决策折射出中国AI公司对竞争终局的判断：模型能力差距是生死问题，商业化可以等，但技术窗口不会等。对关注AI Coding和Agent自治系统的开发者而言，智谱的长程任务和自治智能体方向值得持续跟踪。
信息来源： 澎湃新闻/每日经济新闻/科创板日报
Databricks默认采用GLM-5.2作为编码引擎，性能持平Opus成本省34%
7月12日，Databricks在内部百万行级代码库上对编码Agent进行基准测试，发现智谱GLM-5.2与Anthropic Opus 4.8在通过率上统计持平（82%-90%），但每任务成本仅1.28美元 vs 1.94美元。Databricks已决定将GLM-5.2设为默认日常编码引擎，61%的中等复杂度编码任务将自动路由到GLM-5.2。此前Coinbase、Lindy等企业已转向国产模型，推理成本降幅达30%-95%。OpenRouter数据显示，中国模型周调用量达23.45万亿词元，环比增长15.01%，连续六周增长，全球前五AI模型中国产占据四席。
值得关注的原因： Databricks是首个公开宣布将中国模型作为默认编码引擎的美国头部数据公司。GLM-5.2在百万行级真实代码库中与Opus 4.8统计持平，意味着中国编码模型已从"性价比平替"进入"性能对标"阶段。对于使用AI Coding工具的开发团队，GLM-5.2的API定价（$1.40/$4.40 per M tokens）仅为Opus 4.8（$5/$25）的28%-18%，在中等复杂度任务上具备显著的成本优势。
信息来源： The Decoder/gentic.news
Meta Muse Spark 1.1首次开放付费API，定价仅为Claude四分之一
7月9日，Meta超级智能实验室发布Muse Spark 1.1并同步开放Meta Model API公测，这是Meta历史上首次为AI模型设立付费商业模式。定价为每百万输入token 1.25美元、输出token 4.25美元，约为OpenAI和Anthropic同级模型的25%。模型支持100万token上下文，采用主Agent/子Agent委托模式，支持零样本泛化到新工具和MCP服务器。独立评测机构ValsAI数据显示，Muse Spark 1.1在法律Agent（20.00%）、税务评测TaxEval V2（79.72%）、医疗文书MedScribe（88.89%）三项评测中全部排名第一，超越GPT-5.5、Claude Fable 5和Grok 4.5。扎克伯格时隔3年重返X平台发文宣传。
值得关注的原因： Meta从Llama系列开源免费路线转向闭源付费API，标志着前沿AI模型"免费时代"的终结。Muse Spark 1.1的定价策略直接冲击AI Coding市场——$4.25/M output token的价格仅为GPT-5.6 Terra（$15）的28%、Claude Opus 4.8（$25）的17%。对于构建Agent工作流的团队，这意味着多智能体编排的token成本可降低75%以上。同时，Muse Spark 1.1的Agent委托模式（主Agent收集上下文、制定计划、分配子Agent并行执行）为AI Coding中的多Agent架构提供了新的工程参考。
信息来源： Meta AI Blog / aitntnews
宇树G1登Nature：全球首例人形机器人活体微创手术
7月8日，加州大学圣地亚哥分校团队依托宇树G1人形机器人，通过远程操作完成两例活体猪腹腔镜胆囊切除术，为全球首例通用人形机器人活体微创手术。相关成果发表于Nature，第一作者为00后中国博士生梁泽楷。手术过程中，G1机器人通过远程操作实现精准的腹腔镜器械控制，完成了组织分离、胆囊切除等标准外科操作流程。同期，宇树科技还启动物理AI UNIBOT世界挑战赛，基于G1平台设置32项桌面操作任务和32000个演示样本，聚焦具身智能大模型泛化性评测。
值得关注的原因： 这是通用人形机器人首次在活体外科手术场景中得到验证，标志着具身智能从工业搬运、分拣等"体力任务"向高精度、高风险的"技能型任务"延伸。论文发表于Nature意味着学术界对人形机器人外科应用的技术可行性给予了顶级认可。对关注具身智能的开发者而言，宇树G1平台已同时在工业部署（富临精工工厂3小时零失误搬运800箱）、外科手术（Nature论文）、学术评测（UNIBOT挑战赛）三条路径上形成闭环，其开放平台策略正在构建类似NVIDIA Isaac+GR00T的生态效应。
信息来源： 每日经济新闻 / 腾讯新闻
本页的评论功能已关闭