人工智能
人工智能：大语言模型、智能体、扩散模型、计算机视觉、自然语言处理及顶级实验室最新动态。
191 published articles
人工智能
Meta收购Manus，看重其基础设施而非聊天机器人
Manus加入Meta，这是一次优先考虑代理基础设施而非消费者AI的战略收购。凭借超过8000万个虚拟计算机创建和147万亿个令牌的处理量，Manus成为Meta企业自动化的执行层。
2026-07-13
弃用档案
Mistral AI 大幅精简模型家族：哪些保留、为何保留？
对 Mistral AI 模型组合进行的 2026 年中年审计显示，在其前沿、专业和遗留层级共有 36 个活跃模型，其中 19 个模型计划在 2026 年中年之前弃用。该公司的策略侧重于面向智能体和编程的小型专业模型，同时弃用 Magistrate 和早期 Devstral 版本等实验性变体。
2026-07-13
Benchmark integrity
GPT-5.6 Sol (max) 领跑 CritPt，一个由未发表物理研究问题构成的新基准
GPT-5.6 Sol (max) 在 CritPt, , 一个由未发表的研究生级别研究问题构建的新物理基准测试中领先。根据 Artificial Analysis 的独立测试，其得分比 GPT-5.5 高出约 5 分，比 Claude Fable 5 高出 4 分。
2026-07-13
遥感AI
更智能的标记化技术将卫星AI成本削减三倍，同时不损失精度
Ai4earth的OlmoEarth v1.1通过更智能的标记合并技术，在卫星图像分析中将计算成本较v1降低多达3倍，同时保持性能。更新后的模型使合作伙伴能以更低成本实现行星尺度的地图刷新。
2026-07-13
AI教育
AI学习陷阱：2.6万名学生研究揭示教育中的认知债务
一项涵盖2.6万名学生的研究、MIT脑成像实验以及新的OECD研究共同指向同一发现：生成式AI能提高作业成绩，但悄无声息地侵蚀考试表现和神经参与度，除非教学方式围绕其重新设计。
2026-07-13
AI电子表格代理评测
Kimi Sheets可直接编写真实Excel公式，而大多数AI工具只会教你方法。
Kimi Sheets是一款AI代理，能将自然语言指令转化为完整的电子表格，包含真实公式、数据透视表、图表和智能格式。与仅提供建议的聊天机器人不同，Kimi Sheets直接编辑文件。
2026-07-12
AI教程
最大化AI编码助手效能的10个最佳实践
一份关于高效使用GitHub Copilot、Cursor和基于Codex工具的AI编码助手的实用指南：任务范围界定、差异审查、工具匹配、测试纪律，以及在共享代码中保持人工监督。
2026-07-12
AI智能体
Mistral编程智能体将笔记本电脑抛在身后：并行会话，无需紧盯
Mistral正在将编程智能体迁移到云端，通过新的Mistral Medium 3.5模型实现并行、异步任务执行。此次更新在Mistral Vibe和Le Chat中引入了远程智能体，以及用于多步骤任务的Work模式，同时保留了对敏感操作的人工监督。
2026-07-12
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
人工智能
阿里云Qoder直面AI编程工具一再回避的核心问题
阿里云推出Qoder，一款免费AI编程智能体，专注于代码库可视性、架构理解和规范优先工作流，以弥合病毒式AI演示与现实软件工程挑战之间的鸿沟。
2026-07-12
视觉 AI 交互
Cursor 给开发者提供了更智能的方式告诉 AI 要修复什么：直接指着它
Cursor 更新的 Design Mode 让工程师和设计师可以通过点击元素、在页面上绘制或说出修改内容来修改 UI，同时 AI 智能体会提取元素身份、样式和布局上下文来编辑代码。这种方法通过使模型的运行速度与人类发现并处理视觉问题的速度对齐，加速了迭代过程。
2026-07-12