Hugging Face 2026春季报告：中国模型下载量首次超过美国
Hugging Face刚出了2026年春季的开源生态报告，几组数据很有冲击力： 平台规模 用户：1300万 公开模型：200万+ 公开数据集：50万+ 三项数据同比都接近翻倍。 最大的变化：中国模型下载量占41%中国模型在Hugging
第 49 页
查看归档 →中国的AI监管速度比你想的快得多
Nature的一篇分析指出：中国2025年上半年发布的AI国家级法规数量，等于之前三年的总和。 监管框架从2022年开始，中国已经建立了一套相当完整的AI监管体系： 生成式AI模型上线前必须提交监管审查 AI生成的内容必须带可见的、不可去除
MiniMax M1推理模型：闷声干活的实力派
MiniMax在推理模型赛道上的存在感不算高，但M1的成绩单说明他们是认真在做事的。 M1的定位M1是MiniMax的推理模型系列，对标的是OpenAI的o系列和DeepSeek的R1。核心能力集中在数学推理、代码生成和逻辑分析。 在SWE
MiniMax海螺AI：视频生成领域杀出来的国产黑马
MiniMax这家公司在国内AI圈一直比较低调，但海螺AI的视频生成能力在圈内已经有了不小的口碑。 产品形态海螺AI是MiniMax面向C端的产品，涵盖文本对话、语音合成和视频生成。其中视频生成是最拿得出手的。 用户可以通过文字描述生成短视
OpenClaw遭遇安全信任危机：开源AI框架的供应链风险
OpenClaw爆火之后没多久就遇到了一个棘手的问题——有人在npm上发布了名称相似的恶意包，试图冒充OpenClaw的官方依赖。 事件经过攻击者注册了几个和OpenClaw官方包名称非常接近的npm包（典型的typosquatting攻击
DeepSeek-Prover-V2：用AI来做数学定理证明，靠谱吗
DeepSeek在数学定理证明领域搞了个专用模型Prover-V2，目标是用AI在Lean 4形式化验证系统里自动证明数学定理。 这个方向为什么重要？数学定理证明是AI能力的一个极端测试场。因为数学不接受”差不多对”——证明要么完全正确，要
GitHub在CLI和Agent方向的野心：Copilot不只是IDE插件了
2026年的GitHub Copilot和两年前已经不是同一个产品了。 从补全到Agent最初Copilot就是个代码补全工具——你写一行，它补下一行。现在它能： 接收GitHub issue作为输入，自主完成整个开发流程 在VS Code
智谱发布GLM-5同时传出赴港上市消息
智谱AI最近有两件大事：发布了新一代的GLM-5模型，同时传出了赴港交所上市的消息。 GLM-5的升级GLM-5相比4.7系列的提升主要在： 推理能力进一步加强，数学和代码benchmark有明显提升 多模态能力扩展，支持图文理解和生成 A
METR研究：用了AI工具的老程序员反而慢了19%
AI安全研究组织METR做了一个实验，结论让不少人大跌眼镜：有经验的开发者使用AI编程工具后，完成任务的速度反而下降了19%。 实验设计METR找了一批有经验的软件开发者，让他们在两种条件下完成相同的编程任务： 实验组：可以自由使用AI编程
Codex从代码补全走向实时协作，这一步跨得够大
Codex在OpenAI产品线里的定位一直在变。最早是代码补全工具，后来变成独立的编程模型（GPT-5.3-Codex），现在又并入了GPT-5.4的统一架构。 Codex CLI值得一提的是OpenAI后来开源的Codex CLI——一个