人工智能
人工智能：大语言模型、智能体、扩散模型、计算机视觉、自然语言处理及顶级实验室最新动态。
165 published articles
Lean 4
Leanstral 1.5证明AI定价的旧规则不适用于数学
Leanstral 1.5，一款拥有6B活跃参数的模型，在miniF2F上达到饱和，解决了587道PutnamBench问题，并发现了开源仓库中5个此前未报告的错误。每解决问题成本约4美元，比Seed-Prover便宜75倍，比Aleph Prover便宜15倍，挑战了形式验证需要巨大计算预算的假设。
2026-07-12
系统优化
DSpark 揭示：快速 AI 推理是调度问题，而非模型技巧
DeepSeek 的 DSpark 论文揭示，简单的推测解码在高并发下会降低吞吐量。其解决方案, , 置信度调度的验证, , 根据每个请求调整块长度，并改变了服务性能的帕累托前沿。
2026-07-12
长上下文大语言模型
Jet-Long双焦注意力机制一举打破长上下文LLM的固定缩放权衡
Jet-Long根据序列长度动态调整RoPE重缩放，使用局部窗口和远程窗口，通过包含-排除机制合并。在Qwen3模型上，最高支持128K上下文，在RULER基准测试中超过现有零样本基线2个百分点以上，并在PG-19数据集上取得最低困惑度，同时生成开销增加不到4%。
2026-07-12
视觉 AI 交互
Cursor 给开发者提供了更智能的方式告诉 AI 要修复什么：直接指着它
Cursor 更新的 Design Mode 让工程师和设计师可以通过点击元素、在页面上绘制或说出修改内容来修改 UI，同时 AI 智能体会提取元素身份、样式和布局上下文来编辑代码。这种方法通过使模型的运行速度与人类发现并处理视觉问题的速度对齐，加速了迭代过程。
2026-07-12
人工智能
阿里云Qoder：让开发者看到AI的思考过程，而不仅仅是它写的代码
阿里云的Qoder编程智能体押注开发者更看重可见性而非神奇。两种模式、自动模型路由和透明层旨在解决复杂性，而不是隐藏它。
2026-07-12
人工智能
阿里云Qoder直面AI编程工具一再回避的核心问题
阿里云推出Qoder，一款免费AI编程智能体，专注于代码库可视性、架构理解和规范优先工作流，以弥合病毒式AI演示与现实软件工程挑战之间的鸿沟。
2026-07-12
合成数据策略
英伟达数据图谱显示：合成数据比模型权重更重要
英伟达的Nemotron Post-Training v3 Prompt Atlas提供了一张包含数十亿合成数据样本的交互式地图，凸显了开放合成数据是构建可靠AI智能体所缺失的关键层。该公司认为，智能体行为必须可审计，而开放发布的合成数据是唯一既能保留专有信号又不泄露商业机密的方式。
2026-07-12
数学推理
M3团队找到阻止AI数学验证器作弊的方法，这为每个实验室提供了蓝图
M3的数学推理方法结合了三个专家模型：Proof（证明）、Verifier（验证器）和Fixed（修正），并搭配一个进化搜索框架。该报告提供了关于奖励黑客攻击、验证器对齐以及使生成式验证器在高风险推理任务中可靠所需的工程细节的罕见详述。
2026-07-11
智能体战略
Atlas 停运：OpenAI 的智能体战略正在收窄且风险上升
OpenAI 在推出不到一年后，将关停其实验性 ChatGPT 浏览器 Atlas，并将其经验融入新的生产力功能。此次关停反映了公司从探索转向整合的全局性转变，力求在智能体工作工具领域追赶 Anthropic。
2026-07-11
行业现状
十五篇AI生成文章揭示出比任何单个模型都更重要的三大转变
一个关于AI生成的15篇文章系列揭示了比任何单个模型都更重要的三大转变：多模态流水线已成为常规操作，智能体编排正取代手动链接，实时反馈正将生成过程从赌博转变为对话。
2026-07-11
特别报道
今年企业 AI 领域最平静的变化：赌代理在集群中工作效果更好
OpenAI 推出工作区代理：持久的、基于云的 AI 工作者，可在 ChatGPT 和 Slack 中运行，处理多步骤工作流程，并跨团队共享上下文。2026 年 5 月 6 日前免费，之后转为基于信用。从 GPT 到组织 AI 的结构性转变。
2026-07-11
收购
Mistral 收购进军物理学领域，与 NVIDIA 和 Ansys 展开竞争
Mistral 通过收购 emmi AI 的 CFD 和等离子体湍流神经替代模型，进入物理仿真领域。该交易使 Mistral 在工业工程市场直接与 NVIDIA 和 Ansys 竞争。
2026-07-11