AI与大模型新闻日报20260712大模型技术共 8 条新闻1. 仅用一小时OpenAI GPT-5.6 Sol Ultra 证明了一个已有 50 年历史的数学猜想来源: IT 之家时间: 2026-07-12 00:44摘要: IT之家 7 月 12 日消息OpenAI 于 7 月 10 日宣布旗下 GPT-5.6 Sol Ultra 模型在不到 1 小时内成功生成了“循环双覆盖猜想”Cycle Double Cover Conjecture的完整证明。这一猜想是图论领域悬而未决长达 50 多年的重要难题。OpenAI 已将这份证明以及用于生成证明的提示词Prompt以 PDF 形式发布到公司的内容分发网络CDN并表示整套数学证明均由 AI 模型独立完成。循环双覆盖猜想由数学家 George Szekeres 于 1973 年、Paul Seymour 于 1979 年分别独立提出。2. 启境刘嘉铭华为 ADS 5 在 WEWA 2.0 架构加持下会车跟车场景博弈更稳妥来源: IT 之家时间: 2026-07-12 00:16摘要: IT之家 7 月 12 日消息启境汽车官方昨日直播实测了启境 GT7 的华为乾崑智驾 ADS 5 系统。启境汽车 CEO 刘嘉铭分享了 ADS 5 辅助驾驶系统的亮点。他表示ADS 5 在 WEWA 2.0 架构加持下会车跟车的场景博弈更稳妥。刘嘉铭还透露启境 GT7 提车就是 ADS 5。据IT之家此前报道在 4 月 23 日晚华为乾崑智驾 ADS 5 正式发布。算法层面华为发布了面向自动驾驶的 AI 智能体 WEWA 2.0 架构。3. OpenAI 招聘家庭产品经理将拓展家庭用户市场来源: IT 之家时间: 2026-07-11 23:15摘要: IT之家 7 月 12 日消息距离 ChatGPT 发布、生成式 AI 进入大众视野已过去三年多OpenAI 正将关注重点从个人用户进一步扩展至家庭用户。根据最新招聘信息OpenAI 正在旧金山招聘一名专职产品经理为其旗下产品打造面向家庭、护理人员和老年人的体验。职位要求应聘者具备面向家长和家庭用户设计产品的经验并熟悉需要高度信任机制的消费者产品。这一招聘动作也反映出 ChatGPT 的用户群体正在发生变化不再主要由年轻用户构成。4. 智谱创始人唐杰发内部信开启 Touch High 摸高计划继续聚焦于 AGI 研究、而不是短期商业变现来源: IT 之家时间: 2026-07-11 14:35摘要: IT之家 7 月 11 日消息据晚点 LastPost 报道智谱创始人唐杰今日发布内部信阐述智谱对 AGI 接下来竞争的理解。唐杰在信中表示智谱接下来将继续延续所谓“反直觉”路线开启“Touch High摸高计划”即继续聚焦于 AGI 研究而不是短期商业变现。唐杰称通往 AGI 终点的道路上有几座必须翻越的山峰它们也正是今天技术浪潮最汹涌的地方长程任务自治智能体系统完全自我训练极致安全治理其中极致安全治理被特别强调智谱计划投入百亿级资源攻坚机械可解释性这意味着厘清模型决策背后的神经元逻辑推动黑盒系统向透明可解释系统转变。5. 独家 | 智谱创始人唐杰发内部信「GLM 时刻」之后什么是更重要的事来源: 36 氪时间: 2026-07-11 11:28摘要: 文 | 周鑫雨 编辑 | 张雨忻 《智能涌现》独家获悉2026 年 7 月 11 日智谱创始人唐杰在智谱发布了主题为《巨浪已来》的内部信。 过去半年来智谱收获了创立以来的高光时刻市值较半年前上市初期涨了 10 倍并在 2026 年 6 月跻身“万亿港元俱乐部”——这个数字是百度市值的近 3 倍并且超过了小米。7 月 8 日首批股票解禁后智谱依然稳住了股价。 这也是当下 AI 大模型赛道最性感的故事押注对的技术方向换来斐然市场口碑和商业化成绩。 抽丝剥茧智谱起飞的根源离不开一年前对 Coding 的押注。6. GPT-5.6背后最恐怖的真相AI已经开始自我进化了来源: 钛媒体时间: 2026-07-11 09:23摘要: 但只有极少数人注意到了那个真正具有历史意义的细节。Luna是Sol训练出来的。7. 随着 ChatGPT 更深入家庭OpenAI 押注家庭市场来源: TechCrunch AI时间: 2026-07-11 14:13摘要: 根据一则职位发布ChatGPT 正在招聘一名专职产品经理为家庭、看护者和老年人打造体验。8. Mesh LLM在 iroh 上的分布式人工智能计算来源: Hacker News时间: 2026-07-11 22:38摘要: [61分] Mesh LLM在iroh上的分布式人工智能计算AI 产品与应用共 1 条新闻1. 智谱CEO唐杰发内部信“GLM 时刻”和万亿俱乐部之后什么是更重要的事来源: 36 氪时间: 2026-07-11 11:35摘要: 36氪独家获悉7月11日智谱创始人唐杰在智谱发布了主题为《巨浪已来》的内部信。其中提到智谱将不追求短期的应用变现而是直指AGI的下一个高地长程任务能力、完全自治的智能体系统、自我进化、极致安全治理。过去半年来智谱收获了创立以来的高光时刻市值较半年前上市初期涨了10倍并在2026年 6月跻身“万亿港元俱乐部”。行业动态共 6 条新闻1. 中国首个十万卡集群落成全国产算力支撑“十万卡时代”来源: 量子位时间: 2026-07-11 10:07摘要: 已跑通300余项应用2. GPT-5.6 上线之际马斯克再度和奥尔特曼隔空“掐架”来源: IT 之家时间: 2026-07-12 00:14摘要: IT之家 7 月 12 日消息在 GPT-5.6 模型上线之际AI 界的两大冤家 ——xAI CEO 埃隆 · 马斯克、OpenAI CEO 萨姆 · 奥尔特曼又开始了新一轮隔空“掐架”。埃隆 · 马斯克率先转发一则点名奥尔特曼的 X 平台帖文并配文称“他把诈骗提升到一个全新的高度。”随后马斯克还发了一张奥尔特曼出席听证会的发言截图该图配文为“我做这件事是因为我热爱”马斯克则在帖文中认为“他说的‘这件事’指的是诈骗”并在评论区补充道“他或许比任何活着的人都爱诈骗”而奥尔特曼则回应称“老兄你可是向公开市场投资者炒作‘短期建设太空数据中心’的人啊。3. 知情人士回应“腾讯考虑入股 Manus”预计股权变更完成后腾讯方面仍只是持有少数股份的外部股东来源: IT 之家时间: 2026-07-11 14:58摘要: IT之家 7 月 11 日消息近期有消息称腾讯正考虑入股 AI 初创公司 Manus计划成为该公司的最大股东。腾讯正与真格基金、红杉资本和 Manus 管理层磋商计划按 20 亿美元收购这家 AI 公司。据财闻今晚报道接近交易的知情人士表示此次股权变动是在监管主导之下社会资本共同补齐此前 Meta 的投资以便让 Meta 退出。预计股权变更完成后腾讯方面仍只是持有少数股份的外部股东。2025 年 3 月蝴蝶效应公司推出 Manus曾在市场一夜爆火。然而当年 6 月Manus 企业总部迁至新加坡大幅裁减国内团队彻底停止中国境内服务与运营。4. 机构到2029年中国国内算力卡采购额将达到1.44万亿元将诞生多家市值万亿甚至十万亿的上市企业来源: 36 氪时间: 2026-07-12 01:00摘要: 据央视财经有机构预测到2029年中国国内算力卡采购额将达到1.44万亿元。庞大的算力需求让投资机构相信中国将诞生多家市值万亿甚至十万亿的上市企业。财联社5. 多家A股公司预计业绩大增存储、锂矿、有色等头部企业表现亮眼来源: 36 氪时间: 2026-07-11 09:22摘要: 7月10日晚间多家A股公司发布2026年半年度业绩预告存储、锂电上游资源、有色等多个赛道头部企业集体交出亮眼成绩单部分公司上半年净利润实现10倍以上增长行业景气度大幅提升。从行业层面来看受人工智能相关需求增长影响互联网数据中心等领域对企业级存储产品的需求持续增加存储芯片行业保持高景气度相关产品价格较上年同期稳步上涨业内企业普遍实现高增长。锂电行业自2025年下半年以来持续修复基本面业内企业业绩迎来复苏其中锂电上游矿端及锂盐端受益最为明显。除锂矿外受新能源、人工智能产业需求拉动上半年铜、钨、铝、稀土等有色金属价格水涨船高相关上市公司收获业绩释放红利。6. 算力过剩是个伪命题来源: 钛媒体时间: 2026-07-11 09:23摘要: Anthropic都快饿死了还叨叨过剩呢