SevenTnewS

Chronologie

Les articles positionnés sur la date réelle de leurs sources, pas leur date de publication.

10 juil. 202650 articles16 juil. 2026

10 juil. 2026

Gemma 4 不是聊天机器人,而这正是其设计初衷

Google DeepMind 的 Gemma 4 系列提供从 20 亿到 700 亿参数的开放权重模型,专为自托管、微调和离线推理而构建。与 ChatGPT 或 Claude 不同,它不是一个可以与之对话的产品。它是一种由你控制的基础设施。本文分析这对开发者、企业和开源生态系统的意义。

10 juil. 2026

Cursor的Grok 4.5由AI智能体而非人类构建, , 这才是真正的新闻。

Cursor发布了Grok 4.5,这是其迄今为止能力最强的模型,与SpaceXAI联合训练。真正的新闻不在于基准测试分数:AI智能体首次为最终将取代它们的模型构建了训练环境。这种自我强化的循环改变了模型改进的速度。

10 juil. 2026

MiniMax 产品大爆发:代码、音乐、视频新模型全面升级

中国 AI 初创公司 MiniMax 发布了一波新模型和产品,包括其下一代语言模型 MiniMax M3、更新版视频生成模型 Hailuo 2.3,以及新的语音和音乐生成模型。该公司还推出了专用编程助手 MiniMax Code,表明其正从核心的对话式 AI 产品向更广泛的领域激进扩张。

11 juil. 2026

无人问津的AI安全框架,或许正是我们所需要的

一个由研究人员和行业合作伙伴组成的联盟发布了一套全面的框架,用于评估和缓解高风险AI部署中的风险。该框架侧重于持续监控和对抗性测试,旨在为医疗、自动驾驶车辆和关键基础设施等系统设定新的安全基线。开发者是否会在下一次高调失败前采纳它,将决定其遗产。

11 juil. 2026

Mistral AI 刚刚融资6亿欧元。将资金转化为市场份额的压力从现在开始。

Mistral AI 在由 General Catalyst 领投的融资轮中筹集了6亿欧元,这是法国科技公司有史以来最大规模的融资。这家总部位于巴黎的初创公司同时开发开源和专有大语言模型,并计划利用这笔资金招聘更多工程师,加速在欧洲和北美企业客户中的部署。

11 juil. 2026

OpenAI的AGI路线图大力押注语音和视觉,安全部分则更难

OpenAI本周发布了一份更新的研究路线图,勾勒出一条通往通用人工智能的路径,途经GPT-5、思维链推理和实时多模态生成。这一愿景宏大,但安全部分读起来仍像是未完成的工作。

11 juil. 2026

你的AI模型是商品,真正的壁垒在管线

2023年,所有人都在痴迷哪个模型的困惑度最低。到2025年,这场较量已经结束。Claude、GPT、Gemini、Qwen, , 它们在同一基准测试上的表现都相差无几。真正将实用写作工具与昂贵玩具区分开的,不再是模型,而是包裹它的管线。

11 juil. 2026

两大AI实验室证明:开放模型为何在受监管行业中胜出

Domyn和AISquared基于Ai2完全开放的Olmo、Dolma和Dolci版本构建产品,满足了审计要求,并将基础设施成本削减约一半。对于金融服务和政府客户而言,这种透明度正是关键所在。

11 juil. 2026

全球首张AI原生信用卡:用消费重塑计算能力分配

月之暗面联合中国农业银行与美国运通推出全球首张AI原生信用卡,将卡等级与AI会员层级挂钩,用户可将消费转化为计算代币。此举标志着AI服务分发方式的结构性转变,但也引发隐私与市场成熟度方面的疑问。

11 juil. 2026

今年企业 AI 领域最平静的变化:赌代理在集群中工作效果更好

OpenAI 刚刚发布了一类新产品:工作区代理,它是一种基于云的 AI 工作者,能够跨团队处理复杂的多步骤任务。它们基于 Codex 模型运行,存在于 ChatGPT 和 Slack 中,并在会话之间保留记忆。这是一场从个人生产力向共享组织智能的深思熟虑的转变。到 2026 年 5 月 6 日,免费定价将转为基于信用的模式。

11 juil. 2026

十五篇AI生成文章揭示出比任何单个模型都更重要的三大转变

一个关于AI生成技术的15篇系列报道,读起来不像是一批模型更新,而更像是一份行业报告。三大结构性转变浮现:多模态流水线已成为常规操作,智能体编排正取代手动链接,实时反馈回路正将生成过程从一次性赌博转变为对话式循环。

11 juil. 2026

M3团队找到阻止AI数学验证器作弊的方法,这为每个实验室提供了蓝图

M3模型团队发布了一份详细的技术报告,阐述了他们如何改进数学证明生成。该系统使用分层专家模型和一个名为MaxProof的进化搜索框架,将测试时计算视为一个引导式优化问题。

12 juil. 2026

最大化AI编码助手效能的10个最佳实践

AI编码助手能让团队产出翻倍,但前提是你知道如何驾驭它们。本文将教你避开常见陷阱,从Copilot、Cursor等工具中持续获得价值。

12 juil. 2026

Kimi Sheets可直接编写真实Excel公式,而大多数AI工具只会教你方法。

大多数Excel的AI工具只会描述如何编写公式。Kimi Sheets能生成本地可用的公式、构建多表关联模型,并输出可下载和编辑的实际.xlsx文件。无需再从聊天机器人复制语法。

12 juil. 2026

免费GPU,无需云端:这位开发者让印地语大模型在笔记本上运行

一位开发者展示了一个完整的流程:仅使用免费GPU对Google的Gemma 4模型进行印地语文本微调,然后将量化后的模型部署到标准CPU上运行推理。这一工作流为开放权重模型与低成本工具如何将低资源语言人工智能从研究实验室带到人们已有的设备上提供了蓝图。

12 juil. 2026

Anthropic 打造教师副驾驶:Claude for Teachers 上线,学生数据不用于训练

Anthropic 推出 Claude for Teachers,为美国经认证的 K-12 教育工作者提供免费服务,将高级 Claude 能力与全美 50 个州的学术标准、循证课程以及不断扩展的课堂工具生态系统相连接。该产品承诺缩小教育最佳实践与教师每周有限工作时间之间的差距。

12 juil. 2026

AI学习陷阱:2.6万名学生研究揭示教育中的认知债务

生成式AI正在全球范围内提升作业成绩并缩短完成时间,但2026年越来越多的研究表明,这种便利正以牺牲学校本应培养的技能为代价。

13 juil. 2026

GPT-5.6 Sol (max) 领跑 CritPt,一个由未发表物理研究问题构成的新基准

根据 Artificial Analysis 于 7 月 9 日发布的独立测试,OpenAI 的 GPT-5.6 Sol (max) 在 CritPt 基准测试中占据首位,该基准测试由未发表的、研究生级别的物理研究问题构成。

13 juil. 2026

Mistral Studio 为你的 AI 提示词安了一个带锁和钥匙的永久之家

Mistral AI 推出了一个提示词和技能的系统记录,将散落的指令转化为有版本、有归属、可审计的生产资产。此举应对了企业在面向客户的工作流中运行 AI 时日益增长的合规风险, , 未受治理的提示词散落在代码仓库、笔记本或 Slack 对话中,可能嵌入未记录的决策。

13 juil. 2026

OpenAI 明确押注智能体,而 Claude 仍困于单机模式

2026年4月22日,OpenAI 在 ChatGPT 中推出了工作区智能体,将基于 Codex 的助手转变为持久、可共享的团队成员,运行在云端,遵循计划的工作流,并直接与 Slack 集成。此举拉大了与 Anthropic 的 Claude 的差距,后者的企业产品仍以个人对话为中心,且没有原生等效的持久多智能体编排能力。

13 juil. 2026

Meta收购Manus,看重其基础设施而非聊天机器人

AI代理初创公司Manus在短短数月内处理了147万亿个令牌,现被Meta收购。这笔交易将Manus重新定位为企业AI的执行层,表明Meta有意支持能完成实际任务的代理系统,而非仅仅对话式聊天机器人。

13 juil. 2026

Mistral AI 大幅精简模型家族:哪些保留、为何保留?

Mistral AI 在 2026 年中的模型目录提供了一个难得的视角,让我们看到一家 AI 公司如何从实验阶段演进到生产纪律。产品组合涵盖四个层级(精选、前沿、其他和遗留)的 36 个活跃模型,表明该公司对哪些实验可以毕业、哪些需要退役做出了艰难选择。

13 juil. 2026

阿里云正为AI智能体同时构建“大脑”与“免疫系统”

阿里云正在重新思考AI编码工具如何检索上下文,以及云安全如何防护智能体应用。其基于通义千问的开发者工具采用了一种新的混合索引系统,将向量数据库、代码图谱和预索引知识相结合,以解决延迟和隐私缺口;而其WAAP平台现在用大模型增强的保护和自主安全智能体来封装AI流量。这些举措标志着中国云市场从功能对等转向架构差异化。

13 juil. 2026

阿里巴巴押注无触屏交互,比表面看起来更明智

阿里巴巴的Qwen眼镜不仅是又一款可穿戴设备。它标志着一个战略性押注:后智能手机时代的特征将是AI与日常视觉的深度融合,而非硬件规格。AI眼镜的引爆点可能已经到来。

14 juil. 2026

Vercel 发布 Eve 0.22:一款基于文件系统的 AI 智能体框架

Vercel 已推出 Eve 0.22.6,这是其公开测试版框架的最新版本,用于构建 AI 智能体,其指令、工具和集成均以纯文件形式存在,而非配置对象。

14 juil. 2026

Perplexity在Computer中以Grok 4.5作为顶级编排模型,以半价击败Opus 4.8

Perplexity已将Grok 4.5作为Computer中的编排模型推出,这是其代理浏览和任务工具,面向Pro和Max订阅者,称其内部基准测试中击败了其他五种编排配置,成本约为Claude Opus 4.8的一半。

14 juil. 2026

Ollama的“85%财富500强”数据是每家AI供应商正在玩的相同把戏

Ollama 8800万美元融资依赖一个听起来很庞大但几乎毫无解释作用的数据:85%的财富500强公司使用该平台。这与Cursor几周前用自家财富500强数据进行的操作如出一辙,值得追问这些数字究竟想达到什么目的。

14 juil. 2026

Ollama 融资 8800 万美元,推动开源模型成为专有 API 的替代方案

Ollama,一个本地运行开源权重 AI 模型的平台,已融资 8800 万美元,以扩展其云服务,并推动开源模型成为默认选择,而非专有 API 的狭窄替代方案。

14 juil. 2026

氛围编码快,但将构建成果交付才是真正的工作开始。

氛围编码承诺将自然语言在几分钟内转化为可运行的软件。支持者和批评者都同意一件事:从原型到生产之间的鸿沟从未消失。随着 Kimi Websites 和 Kimi Code 等工具的成熟,该方法论的权衡需要更仔细的审视。

14 juil. 2026

Cursor获Gartner领导者象限:企业AI编程竞赛内幕

Gartner在2026年企业AI编程代理魔力象限中,将Cursor评为领导者,在“愿景完整性”维度上获得最靠右的评分。该公司称超过70%的财富500强企业已在使用其工具。这两个数字所传达的信息并不像听起来那么丰富,真正的故事在于Cursor为达到这一地位所推出的产品。

14 juil. 2026

一位AI导师在真实大学课程中刚刚突破了1.0标准差障碍。这意义重大

在达特茅斯学院测试的一套全新AI辅导系统,取得了0.71至1.30个标准差的效应量,突破了1.0个标准差这个教育干预措施很少能达到的基准。如果这些结果站得住脚,该技术可能会重塑规模化个性化学习的面貌。

14 juil. 2026

Codex 现已集成至 macOS 和 Windows 的 ChatGPT 桌面应用

OpenAI 已将 Codex 直接集成到 macOS 和 Windows 的 ChatGPT 桌面应用中,新增了内联代码编辑、GitHub 拉取请求侧边栏审查,以及同时处理多个仓库的支持。

14 juil. 2026

阿里巴巴押注云而非模型,这策略或许可行

阿里巴巴将2026年下半年押注于整合式AI堆栈,而非单一的旗舰模型。其战略是通过可互操作的基础设施,从智能运维到数据仓库,将企业锁定在其云平台上,而非争夺基准测试冠军头衔。

14 juil. 2026

阿里巴巴通义千问(Qwen)已嵌入15万台机器人、汽车、眼镜和无人机中

在人工智能产业近期的历史中,大语言模型大多局限于云API和聊天界面之内,处理文本和图像,却从未触及物理世界。如今,这一界限正在以远超许多分析师预期的速度消融。

15 juil. 2026

Grok悄然组装出最完整的AI助手,你可能还没注意到

当业界紧盯着OpenAI和Google时,xAI悄然整合出了一个多模态AI助手,它在单一线程中完成的任务,比大多数竞争对手整个产品套件提供的还要多。并行多智能体推理、实时搜索、图像与视频生成、亚秒级语音对话以及慷慨的免费层级:Grok不再只是一个X聊天机器人。它是市场上最完整的消费级AI平台,而几乎没有人提及它。

15 juil. 2026

Cursor 2.0 让 IDE 成为以智能体为先的环境:开发者变成审核者

Cursor 2.0 带来了重新设计的界面及其首个完全集成的模型 Composer,将编辑器从副驾驶转变为一个自主编码智能体。这次更新迫使行业回避已久的一个问题:开发者应该编写代码,还是监督替他们编写代码的智能体?

15 juil. 2026

使用OpenAI和Python构建你的首个语音助手:开发者教程

如果你能对着电脑口述一个想法,并在几秒钟内收到语音回复,会怎样?下面教你用Whisper、ChatGPT和Python自行搭建这一流程。

15 juil. 2026

微软Xbox裁员并非勒紧腰带,而是退出的首付

Asha Sharma告诉《财富》杂志,Xbox“状况不佳”,公司“单纯地摊子铺得太大了”。她描述的不是一个糟糕的季度。裁员3200人、关闭四家工作室,以及明确聚焦于最大IP系列,描绘出一幅业务正被剥离待售而非扭亏为盈的景象。

15 juil. 2026

MiniMax发布M2.7模型,拥有强大的软件工程和办公生产力能力

MiniMax发布了M2.7,一款在真实世界软件工程任务和复杂办公生产力工作流中表现出色的新型AI模型。该模型在关键基准测试中取得最高分,包括在SWE-Pro上获得56.22%的分数,几乎达到最佳Opus级性能。

15 juil. 2026

MiniMax 新模型 M2.5 编程基准测试夺冠,价格仅为竞争对手的 5%

中国人工智能实验室 MiniMax 发布了 M2.5,一个专为编程和自主代理工作流设计的大型语言模型。该模型在多语言基准测试 Multi-SWE-Bench 上夺得榜首,而 API 成本仅为同类模型的十分之一到二十分之一。

15 juil. 2026

MiniMax M3 突破开源权重天花板:CUDA 加速 9.4 倍,全程无需人工干预

中国人工智能实验室 MiniMax 发布了 M3,这是一款基础模型,融合了最先进的编程与智能体能力、100 万 token 的上下文窗口以及原生多模态特性。在早期基准测试中,M3 在 BrowseComp 智能体评估上超越了 OpenAI 的 Opus 4.7,标志着开源权重大型模型竞赛进入新前沿。

15 juil. 2026

MiniMax发布Hailuo 2.3视频模型:增强动态与风格支持

MiniMax发布了Hailuo 2.3,其AI视频生成模型的最新版本,在动态动作、风格范围及面部微表情方面带来重大升级。此次发布还包括Media Agent,一个全模态创作工具,取代了此前的Hailuo Video Agent。

15 juil. 2026

MiniMax Speech 2.8:原生语气词与高保真克隆,为AI语音注入人性温度

MiniMax 推出了 Speech 2.8,这款新语音模型旨在让合成语音听起来真正像人。该更新引入了对“嗯”“呃”等语气词的原生支持、仅需10秒音频即可实现的高保真音色克隆、录音室级清晰度,以及从中文到日文合成等跨语言能力的提升。

15 juil. 2026

那些缺失的‘嗯’和‘啊’终于让AI语音听起来像人类了

MiniMax 发布了 Speech 2.8,这是一个语音模型,能够将自然的填充词、犹豫和呼吸声融入合成语音中。此次更新针对四个领域:原生非流利性建模、10秒语音克隆、录音室级音频质量以及跨语言准确性改进,首先从中文到日语的合成开始。

16 juil. 2026

群聊成为AI代理的新前沿

阿里云与Anthropic正在将AI代理融入企业实际工作的群聊中。结果看起来更像一种新型的组织模式, , 拥有角色、权限和异步工作流, , 而非简单的聊天机器人。

16 juil. 2026

为什么扩散模型能插值而非简单记忆:创造力的数学理论

谷歌研究的一篇新论文证明,扩散模型的创造能力, , 即生成训练集之外新颖图像和分子的能力, , 并非偶然,而是神经网络正则化的可预测结果。这一发现为构建平衡新颖性与真实性的模型提供了严谨基础。

16 juil. 2026

英伟达市值飙升,表明AI需求远未降温

英伟达的市值周二突破3万亿美元,得益于投资者对AI基础设施支出的持续信心。这一里程碑事件表明,尽管竞争对手竞相开发更便宜的替代产品,企业对GPU计算的需求并未显示出放缓迹象。

16 juil. 2026

微软测试更简洁、少广告的Windows 11搜索菜单

微软正在测试经过重新设计的Windows 11搜索菜单,该菜单去除了推广内容和广告,专注于本地文件、应用和设置。这一实验性版本正在向Windows Insider用户推送,旨在通过精简搜索体验重建用户信任。

16 juil. 2026

Opencode 引入标签页导航,为开发者带来更流畅的工作流

开源编程智能体平台 Opencode 悄悄在其界面中添加了标签页导航功能。这一小小的用户体验变更,对开发者如何并排管理多个智能体会话和代码审查具有重大意义。