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都快饿死了，还叨叨过剩呢？