Open Source

生产力

AI可以为开源库生成数学安全证明，增强软件验证并减少漏洞。

Rock Matrix 开源了 EdgeRock-4B，该模型基于 Qwen3.5-4B 构建，由 HKUST 和 CMU 参与开发。据该公司称，该模型在 256K 上下文下保持固定的 72 MiB KV 缓存，从 8 GiB 降低，吞吐量提高了 6.42 倍，同时保留了大部分推理得分。

AI 模型 • Pandaily

生产力

Survival LLM是一款免费的开源AI助手和应急资料库，完全在您的本地计算机上运行，答案来自可信来源，并列出每个答案所引用的文章。

Nvidia发布了Nemotron 3.5 Transcribe，这是一个用于多语言音频转录和翻译的开放权重模型，该公司称其在基准测试排行榜上领先，同时还发布了Granary v2，即其开源语音数据集。

AI Models • Techmeme

基于转录摘录：Matthew Berman展示了DeepSeek最新的开源模型，测试其在单个网页中生成详细交互式3D机械手表图表的能力。该视频展示了该模型的空间感知能力、3D生成能力和内部知识，将其定位为领先的开源选项。

AI Models & Capabilities • Matthew Berman