陶哲轩关于雅可比猜想反例的ChatGPT对话
菲尔兹奖得主陶哲轩在ChatGPT对话中探讨了雅可比猜想这一著名数学难题的反例构造，展示了AI工具如何辅助高阶数学推理，引发学界对AI在基础数学研究中角色的重新思考。
标签： GPT-4
思科押注其小型开源网络安全模型能以极低成本在漏洞检测上超越GPT-5.5
思科于2026年7月22日发布了两款专为软件安全漏洞检测设计的小型开源AI模型——Antares-350M与Antares-1B。核心卖点是“性价比”：据思科测试，最小模型在漏洞检测中每美元成本捕捉的漏洞数量，远超使用GPT-5.5等大型AI代理的方案，同时完全支持本地部署，避免代码外泄。
开源模型季度盘点：Kimi K3、Qwen 3.8、WAIC 演讲、知识蒸馏与开源闭源差距
随着 Kimi K3 发布、Qwen 宣布下一代模型将开放权重、以及中国高层在 WAIC 上明确支持开源策略，开源与闭源模型之间的性能差距正在被重新定义。季度盘点指出，评测数据的混乱让“领先几个月”的说法失去意义，真正的差距体现在实际任务层面，而知识蒸馏正在被过度简化。
OpenAI 拟投资 200 亿美元在美新建数据中心，2030 年算力支出预期上调至近 7500 亿美元
OpenAI 计划在美国佐治亚州投资 200 亿美元建设超大规模数据中心，并同步将 2030 年的预计算力支出从约 6000 亿美元大幅上调至近 7500 亿美元。这笔巨额投入表明，AI 大模型的训练与推理对基础设施的需求仍在加速膨胀，远超年初预期。
开创国家科学的新时代
OpenAI 于 2026 年 7 月 22 日宣布，将向美国国家实验室和大学提供总计最高达 1700 万美元的 API 及 Codex 访问额度，并参与美国能源部的“创世纪计划”，旨在将前沿 AI 能力深度嵌入国家科研基础设施，目标是在十年内使美国科研生产力翻番。这不是一次简单的产品发布，而是 AI 从工具…
微软与法国AI公司Mistral达成“数十亿美元”协议
微软与法国AI初创公司Mistral签署了一项价值数十亿美元的多年合作协议，旨在扩大Mistral在欧洲和全球的AI模型部署与商业化能力。这笔交易使Mistral成为少数能与OpenAI等巨头争夺企业客户的独立大模型提供商。
实测Qwen-Image-3.0：19大场景挑战GPT Image2，中文长文本与多图融合表现亮眼
通义千问发布新一代图片生成模型 Qwen-Image-3.0，在中文长文本排版、多语言混合输出和多图融合等方向上表现突出，实测认为已能与GPT-4o的Image2能力对标，成为国产图片模型的又一推动力。
OpenAI Presence 正式发布
OpenAI 于 2026 年 7 月 22 日正式推出 Presence，一个面向企业的 AI 代理部署产品，强调可靠性、可控性与持续改进能力。它已经在 OpenAI 自己的客服渠道上验证了 75% 的工单无需人工介入就能解决。
Migma AI
Migma AI 是一款在 Product Hunt 上发布的新工具，目前公开信息显示其主要聚焦于 AI 驱动的任务自动化或内容生成。为什么值得关注：AI 工具赛道正从通用大模型转向垂直、轻量的应用层产品，Migma AI 可能代表了这一趋势下的新尝试——但具体功能和差异化仍需进一步验证。
Gemini 3.6 Flash Family
Google 发布了新一代的 Gemini 3.6 Flash 系列模型，旨在提供更快的推理速度和更低的成本，同时保持或提升在多模态任务上的表现。这对于需要实时响应的 AI 应用开发者来说是一个值得关注的技术迭代信号。