Topic · 主题全部主题 →

开源生态

开源模型、框架与仓库动态:权重开放、社区项目爆火、开源与闭源的力量消长。

4,269条收录
621条精选

近期焦点

近 14 天 · 按多源报道热度

最新精选

120 条 · 共 621

9月8日

星期二 · 1 条
13:06
Mistral AI:News(网页)精选
AI 评分 72/100
Mistral 完成 30 亿欧元 D 轮融资,估值超 210 亿欧元

Mistral 宣布完成 30 亿欧元 D 轮融资,投后估值超过 210 亿欧元,公司称这是欧洲科技公司有史以来最大的股权融资,距其成立三年。

另有 6 家信源报道Hacker News 热门(buzzing.cc 中文翻译)X:Mistral AI (@MistralAI)X:Arthur Mensch(Mistral CEO) (@arthurmensch)X:Testing Catalog (@testingcatalog)IT之家(RSS)The Decoder:AI News(RSS)
推荐理由:融资公告由公司官方发布,给出了金额、估值、领投方和资金用途,读者可以据此了解欧洲主权 AI 阵营的资本动向。

9月5日

星期六 · 1 条
02:58
Anthropic@AnthropicAI精选
AI 评分 76/100
Claude 完成 Fermat 大定理的形式化证明,生成超 1300 万行 Lean 代码Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help.Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written.Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized.We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before.You can read about the process on our Science Blog: https://www.anthropic.com/research/formalizing-fermats-last-theoremAnd see the complete proof on GitHub: https://github.com/anthropics/fermats-last-theoremAnthropic 宣布 Claude 上月完成了 Fermat 大定理的首个形式化证明,这是迄今最大的 Lean 证明。
另有 5 家信源报道Hacker News 热门(buzzing.cc 中文翻译)X:Kim (@kimmonismus)X:Rohan Paul (@rohanpaul_ai)IT之家(RSS)X:Ethan Mollick (@emollick)
推荐理由:原文给出证明规模、验证范围和完整代码入口,读者可以据此了解 AI 形式化数学论证的实际能力边界。

9月4日

星期五 · 3 条
02:01
Hacker News 热门(buzzing.cc 中文翻译)精选
AI 评分 78/100
IFM 发布 K2 Horizon 六款开源模型,覆盖 0.9B 到 375B-A23B 并开放完整训练生命周期

IFM 发布 K2 Horizon 模型系列,共六个模型:375B-A23B、36B-A4B、32B、7B、3.7B 和 0.9B,均以 Apache 2.0 开源,其中 0.9B、3.7B 和 7B 宣称在其规模上达到 SOTA,36B-A4B 采用新提出的稀疏注意力架构 MoVA。

另有 3 家信源报道MarkTechPost(RSS)X:Kim (@kimmonismus)X:Testing Catalog (@testingcatalog)
推荐理由:原文在发布模型之外还放出从预训练到智能体后训练的全流程产物,研究者可以据此复现和改造整套训练方法。
01:55
00:04
Artificial Intelligence News(网页)精选
AI 评分 83/100
NVIDIA 以 129.3 亿美元收购 Hugging Face

NVIDIA 已同意以 129.3 亿美元收购 Hugging Face,以扩展该开源模型仓库的平台与基础设施。交易目标是平台增长和基础设施投资,旨在为全球企业开发者、软件工程师和研究机构扩大 AI 访问机会。Hugging Face 由 Clem Delangue、Julien Chaumond、Thomas Wolf 等人在过去十年间打造。

另有 1 家信源报道Hacker News 热门(buzzing.cc 中文翻译)
推荐理由:原文报道 NVIDIA 收购 Hugging Face 的金额与用途,读者可以据此了解开源模型平台归属变化的方向。

9月3日

星期四 · 3 条
20:09
NVIDIA Blog(RSS)精选
AI 评分 91/100
NVIDIA 宣布以 129.303 亿美元收购 Hugging Face

NVIDIA 宣布已同意以 12,930,300,000 美元收购 Hugging Face,黄仁勋在官方博客公布了这一消息。Hugging Face 目前有超过 1800 万开发者,托管超过 300 万个模型、50 万个数据集和 100 万个应用,服务超过 20 万家企业。

另有 18 家信源报道X:Clément Delangue(Hugging Face CEO) (@ClementDelangue)X:Kim (@kimmonismus)X:Elvis Saravia (@omarsar0, DAIR.AI)Hacker News 热门(buzzing.cc 中文翻译)X:Rohan Paul (@rohanpaul_ai)X:Sundar Pichai (@sundarpichai)X:Satya Nadella (@satyanadella)IT之家(RSS)X:Aravind Srinivas(Perplexity CEO) (@AravSrinivas)The Decoder:AI News(RSS)The Verge:AI(RSS)Ars Technica:AI(RSS)X:Thomas Wolf(Hugging Face 联创/CSO) (@Thom_Wolf)X:Jensen Huang (@JensenHuang)X:Peter Steinberger (@steipete)X:Aidan Gomez(Cohere CEO,@aidangomez)X:Emad Mostaque (@EMostaque)TechCrunch:AI(RSS)
推荐理由:原文来自收购方本人,给出了收购金额和对平台开放性的具体承诺,读者可以据此评估对开源生态的影响。
19:29
Hugging Face:Blog(RSS)精选
AI 评分 72/100
Hugging Face 发布开源工具 funes,为编码智能体提供可本地持有的记忆层

Hugging Face 发布开源工具 funes,为 Claude Code、Codex、pi、Hermes 等编码智能体提供本地记忆层,把已有会话记录索引成 Lance 数据集,一条 funes add 命令即可让 Agent 自主召回原始出处(Agent、时间戳、会话、轮次)。


推荐理由:原文给出本地记忆层的检索机制、跨 Agent 复用方式,以及召回比压缩和交接更省成本的基准数字,方法可直接复用。
16:29
Hugging Face:Blog(RSS)精选
AI 评分 62/100
用 TRL 和 OpenEnv 训练编码模型画水彩:Hugging Face 全流程开源复现

Hugging Face 博客作者基于 Surya Narreddi 的原始想法,用 TRL、OpenEnv 和 Qwen/Qwen3.5-35B-A3B 复现了让语言模型通过 p5.brush 写 JavaScript 画水彩的 RL 训练流程,所有数据集、环境、脚本和模型均开源在 Hub。


推荐理由:作者用 TRL 和 OpenEnv 完整开源复现了让编码模型画水彩的 RL 配方,含数据池、环境和三组奖励对比,可整体迁移复用。

9月2日

星期三 · 2 条
12:05
Meituan LongCat@Meituan_LongCat精选
AI 评分 67/100
美团 LongCat-2.0 上线 Cline 免费试用LongCat-2.0 is now free to try in @cline ! 🐱LongCat-2.0 现已在 @cline 中免费试用!🐱 【引用 @cline】:LongCat-2.0 目前在 Cline 中免费使用。 这是一款来自 @Meituan_LongCat 的 1.6T 开源权重 MoE 模型,拥有 1M 上下文,得分与 Claude Opus 4.7 和 Gemini 3.1 Pro 相近。 立即尝试:npm i -g cline /model 在免费模型下选择 LongCat-2.0

Cline: LongCat-2.0 现在在 Cline 中免费开放使用。 这是一款 1.6T 参数的开源权重 MoE 模型,拥有 1M 上下文窗口,来自 @Meituan_LongCat,得分与 Claude Opus 4.7 和 Gemini 3.1...


推荐理由:官方宣布 LongCat-2.0 可在 Cline 免费试用,并给出安装命令和模型选择路径,读者可直接接入现有编码工作流。

9月1日

星期二 · 1 条
23:29
Hugging Face:Blog(RSS)精选
AI 评分 62/100
Hugging Face 发布 @huggingface/kernels,提供 207 个 WebGPU 内核用于浏览器本地 AI 推理

Hugging Face WebAI 团队发布 @huggingface/kernels 库及 207 个以独立仓库形式托管在 Hub 上的 WebGPU 内核(Apache-2.0),每个内核带 manifest、正确性测试、基准用例和 WGSL 着色器模板。


推荐理由:原文给出与 ORT WebGPU 的对比数据和开源加载方式,读者可据此评估浏览器本地推理的可行路径。

8月31日

星期一 · 2 条
20:29
IT之家(RSS)精选
AI 评分 76/100
DeepSeek-V4-Flash-Vision-Exp 模型已开源,多模态 Agent 能力接近 Opus-4.8

DeepSeek 于 8 月 31 日在 Hugging Face 开源首个多模态模型 DeepSeek-V4-Flash-Vision-Exp,采用 MIT License,公开模型文件、Tokenizer、Prompt Encoding 参考实现及最小化 PyTorch 推理实现。


推荐理由:原文梳理了模型开源内容与能力定位,读者可据此评估其在多模态 Agent 场景中的可用性。
08:40

8月29日

星期六 · 1 条
13:26
IT之家(RSS)精选
AI 评分 72/100
智谱开源 GLM-5.3 模型权重,主打智能体编程与网络防御

智谱宣布开源 GLM-5.3 模型权重,支持本地运行与个性化定制,擅长复杂编码、防御性网络安全及长程任务。该模型在 AA 综合智能指数中取得 60 分,与 Claude Fable 5、GPT-5.6 Sol 等闭源旗舰同级,并与 Kimi K3 并列开源模型第一。仅年营业额超 100 亿美元的机构将其作为外部模型服务提供时才需安全审查。


推荐理由:许可条款把强制安全审查限定在百亿美元级外部模型服务,自有部署和中小团队实际不受影响,开源可用性比表面限制更宽。

8月28日

星期五 · 3 条
16:55
Hacker News 热门(buzzing.cc 中文翻译)精选
AI 评分 75/100
AI 工程师笔记本:在 Colab 上免费、无需框架即可使用 RAG/智能体/评估工具

一套可运行的 Colab 笔记本,面向 AI 工程师与 FDE 技能栈,用原始 API 而非框架构建基于基础模型的系统,覆盖提示词、RAG、评估、智能体、微调与服务化。全部在免费 Groq API 上运行,无需信用卡;LoRA 微调和自托管服务提供概念讲解及可选的 Colab-GPU 附录。包含三个端到端案例研究,且全程兼容 OpenAI API,模式可直接迁移。


推荐理由:裸 API 写一遍 agent 循环和 RAG,比直接套 LangChain 更能理解框架在封装什么,对于 AI 工程师面试中讲清系统设计和取舍有直接帮助。
14:11
公众号:腾讯混元精选
AI 评分 82/100
腾讯混元发布 Hy4 preview:770B 总参数、1M 上下文,开源上线

腾讯混元发布新一代旗舰模型 Hy4 preview,总参数 770B、激活参数 49B、上下文长度 1M,现已开源并在腾讯云 TokenHub 和 OpenRouter 上线。

另有 7 家信源报道IT之家(RSS)X:opencode (@opencode)Simon Willison 博客X:腾讯混元 (@TencentHunyuan)X:Testing Catalog (@testingcatalog)Hacker News 热门(buzzing.cc 中文翻译)X:Kim (@kimmonismus)
推荐理由:官方盲测中它与 GLM-5.3、Kimi K3 的分差不足 0.1,选型时 1M 上下文和开源部署成本可能比榜单排名更实际。

8月26日

星期三 · 3 条
22:25
智谱:研究(网页内嵌数据)精选
AI 评分 74/100
GLM-5.3-Flash:前沿智能进入普惠时代

智谱上线并开源GLM-5.3-Flash(320B-A18B),这是GLM-5系列首个原生多模态模型,在AA综合智能指数取得57分,与Claude Opus 4.8持平。其定价为GLM-5.3的1/10(限时1/20),为Opus 4.8的1/40,并首次在大规模流量中由国产芯片集群提供算力支持。模型已接入ZCode等平台,同步开放API调用。

另有 13 家信源报道X:智谱 Z.ai (@Zai_org)X:X.PIN (@thexpin)IT之家(RSS)X:OpenRouter (@OpenRouter)公众号:智谱(GLM)X:Elvis Saravia (@omarsar0, DAIR.AI)MarkTechPost(RSS)X:Kim (@kimmonismus)The Decoder:AI News(RSS)X:Artificial Analysis (@ArtificialAnlys)X:硅基流动 SiliconFlow (@SiliconFlowAI)公众号:数字生命卡兹克X:Testing Catalog (@testingcatalog)
推荐理由:价格降到 Opus 4.8 的四十分之一后,模型选型不必把同等能力等同于同等成本,长上下文和视觉任务可以按普通预算规划。
20:37
Qwen@Alibaba_Qwen精选
AI 评分 84/100
Qwen3.8-Flash 开源,Qwen4 架构预览API is live on QwenCloud: https://www.qwencloud.com/models/qwen3.8-flash 🙌Let's build something!通义千问发布 Qwen3.8-Flash,一款多模态 MoE 模型,作为 Qwen4 架构的早期预览并开放权重。该模型总参数 125B,每 token 仅激活 6B,训练成本仅为 Qwen3.7-Plus 的 1/9,性能全面超越后者。生产版 API 定价 $0.16/1M 输入 tokens 和 $0.47/1M 输出 tokens,原生上下文 262K,可扩展至 1M。

Qwen: ⚡️认识一下 Qwen3.8-Flash,一个多模态 MoE 模型,也是 Qwen4 架构的早期预览版,现已开放权重! 生产版本 Qwen3.8-Flash 即将通过 QwenCloud API 提供,价格仅为每 100 万输入 token...

另有 4 家信源报道X:Testing Catalog (@testingcatalog)X:阿里云 / Alibaba Cloud (@alibaba_cloud)X:通义千问 / Qwen (@Alibaba_Qwen)IT之家(RSS)
推荐理由:训练成本降到前代的九分之一,同时编码和办公任务基准分数更高,对成本敏感的 API 调用场景提供了一个新的权衡参考点。
02:53
Andrew Ng@AndrewYNg精选
AI 评分 67/100
OpenWorker 新版发布,内置网络安全智能体OpenWorker -- an open source agent that doesn't just chat but completes tasks on your laptop -- just released a new version with many features for security workflows.After our initial release, many users found it especially useful for cybersecurity. Attackers are already using AI; OpenWorker is committed to giving defenders the same leverage. Running an agent requires both (i) A model and (ii) A harness (the software around the model). Because the OpenWorker harness is fully open source, security teams can audit it to make sure we haven't built any backdoors that exfiltrate your code and data to some company or even a foreign adversary.OpenWorker now comes with built-in cybersecurity agents for (i) Scanning your code for vulnerabilities. (ii) Scanning dependencies for supply chain injections. (iii) Checking your cloud security configuration for attack surfaces. This enables developers to do much more security work before deployment (part of what's called the "shift left" movement).You choose the model: you can run open weight models fully locally so sensitive code never leaves your machine. This helps with legitimate security work (like reproducing a known exploit to defend against it) that can trigger refusals in leading closed models. Or use your ChatGPT subscription, or stealth preview models like Ox Alpha, or any model via API key.Thanks also to all the open source contributors!Join work with @rohitcprasad so please follow him too to get more frequent updates.Try it out: https://openworker.com/ Code: https://github.com/andrewyng/openworkerAndrew Ng 旗下开源智能体 OpenWorker 发布新版,强化安全工作流。其 harness 完全开源,安全团队可审计无后门。新版内置代码漏洞扫描、依赖供应链注入检测和云安全配置检查三类网络安全智能体,并支持本地运行开源权重模型以保护敏感代码。
推荐理由:OpenWorker 把漏洞、依赖和云配置检查放进可本地运行的开源 agent,安全团队能在代码不出本机的前提下审计工具链,比闭源方案多一层透明。