GPT-5.6 Sol Ultra 用 64 子智能体一小时破解 50 年数学难题

GPT-5.6 Sol Ultra 通过并行调用 64 个子智能体,在不到一小时内自动生成了存在 50 年的“Cycle Double Cover 猜想”的证明,将原本可能需要一整天的推理任务压缩至单小时完成。

GPT-5.6 Sol Ultra 通过并行调用 64 个子智能体,在不到一小时内自动生成了存在 50 年的“Cycle Double Cover 猜想”的证明,将原本可能需要一整天的推理任务压缩至单小时完成。

APEC 2026年数字和人工智能部长会议及数字周活动将于7月16日至29日在成都举行,这是中国时隔24年再次主办该级别会议,会议将聚焦AI赋能、数字包容等议题,已吸引Meta、谷歌、微软、腾讯、百度等30余家国内外企业参展。

有用户实际测试了 AMD 锐龙 AI 处理器在本地运行大模型的能力,在运行 Qwen3.6 MoE A3B 模型时可达 60-70 tokens/秒,但指出当前本地模型在编程等复杂任务上仍有局限,本地大模型的实用性取决于内存成本和模型量化进展。

NVIDIA 发表技术博客,系统阐述如何通过调整大语言模型(LLM)的宽度(hidden dimension)、层数(L)与中间投影维度(H’),在保持精度的前提下,系统性提升推理吞吐量与交互响应速度。这并非一篇单纯的研究报告,而是一份指导模型开发者在设计阶段就对齐硬件特性的实用手册。

韩国存储芯片巨头SK海力士通过美国IPO募集265亿美元,创下非美国公司在美国上市的最大规模纪录。募资将用于韩国本土的新晶圆厂与封装设施,而美国商务部长已公开呼吁其考虑在美建厂,以减少对亚洲芯片生产的过度依赖。

Thinking Machines Lab 发布博文,明确提出其使命是构建“延伸人类意志与判断”的 AI,而非追求完全自主的智能。其核心观点是当前主流 AI 训练方式过于集中和静态,未能利用人类工作中持续产生的、分散的、隐性的知识,这与其技术路线形成了鲜明对比。

Perplexity 在账户设置中新增“Computer Analytics”功能,允许用户和开发者在账户设置中追踪不同 AI 模型的信用额度消耗情况,让算力使用更透明、更可控。

GitHub 发现给 Copilot 代码审查换上更强大的通用代码探索工具后,反而导致成本上升、问题检出率下降。问题不在于工具,而在于为工具编写的指令。修改指令以匹配人类审查者的阅读习惯后,成本降低了约 20%,质量保持不变。

Meta Platforms股价在2026年7月10日盘前上涨6%至670美元,因内部备忘录和研报显示其AI基础设施建设成本降至先前预估的一半,CEO扎克伯格计划出租AI算力,直接挑战亚马逊AWS和云计算服务商CoreWeave。

Glenmede首席投资策略师Jason Pride在7月10日接受CNBC采访时指出,目前美国每年用于AI基础设施建设的支出已接近GDP的3%,这一“天文数字般的投资”正驱动企业利润增长,使市场对全球地缘政治冲突“脱敏”,股市仅关注AI带来的动量效应。