日期：2026年7月17日（星期五）
来源：GMR EA 资讯站 | AI 前沿资讯汇总
今日头条
1. 习近平出席 2026 世界人工智能大会开幕式并发表主旨讲话
摘要：2026 世界人工智能大会暨人工智能全球治理高级别会议（WAIC 2026）今日在上海正式开幕。国家主席习近平出席开幕式并发表主旨讲话，联合国秘书长古特雷斯也专程抵沪出席。大会主题为「智能伙伴 共创未来」，首次采用「三地四馆」办展模式，展览面积首破 10 万平方米，汇集 1100 余家企业参展，超 300 款产品全球首发，158 场论坛及 1500 多位顶尖专家参会，嘉宾阵容创历届新高。
2. Kimi K3 正式发布：2.8 万亿参数，全球最大开源模型
摘要：月之暗面（Moonshot AI）正式发布 Kimi K3，参数规模达 2.8 万亿，成为目前全球参数最大的开源模型。K3 基于 Kimi Delta Attention（KDA）混合线性注意力机制打造，原生支持视觉理解，上下文窗口达 100 万 token，主要面向软件工程、知识工作和深度推理场景。早期基准测试显示，其空间推理、3D 生成及智能体协作能力超越 GPT-5.6 Sol 等顶级系统。
3. GPT-5.6 Sol 破解 30 年数学猜想，AI 首次独立证明科研难题
摘要：OpenAI 最新模型 GPT-5.6 Sol Pro 在短短 20 小时内，独立证明了一个关于 Benjamini-Hochberg 方法的 30 年未解统计猜想。这是 AI 系统首次在纯数学研究中独立产出可验证的新知识，引发学界对「AI 能否真正产生原创性知识」的大讨论。
来源：The Decoder
4. Bonsai 27B：可运行在 iPhone 上的开源推理模型
摘要：一款名为 Bonsai 27B 的全开源推理模型引发关注——参数仅 270 亿，却具备强大推理能力，可直接在 iPhone 等移动设备上本地运行，无需联网。这一突破标志着端侧 AI 推理能力的重大进步。
来源：The Decoder
5. Meta 推出付费 AI 开发者模型「Muse S」
摘要：Meta 正式发布面向开发者社区的付费 AI 模型「Muse S」，这是 Meta 在开源路线之外探索商业化变现的重要一步，主要面向企业级开发者和独立软件商，提供增强的推理和多模态能力。
今日要点速览
- 中国 AI 主场：WAIC 2026 成为中国向全球展示 AI 实力、推动 AI 治理规则制定的重要舞台，习近平主席高规格出席传递强烈信号。
- 开源军备竞赛：Kimi K3 以 2.8 万亿参数刷新开源模型纪录，与 GPT-5.6 Sol、Bonsai 等形成激烈竞争。
- AI for Science 里程碑：GPT-5.6 Sol 破解数学猜想，AI 在科研领域的原创能力首次得到实质性验证。
- 端侧 AI 加速：Bonsai 27B 能在 iPhone 上运行，预示 AI 推理能力正在从云端向终端迁移。
本资讯由 AI 自动采集整理，仅供参考。如有疏漏，欢迎指正。