「DeepSeek R1」共找到 2175 篇相关文章
LangChain 彻底重写：从开源副业到独角兽，一次“核心迁移”干到 12.5 亿估值
本周，LangChain 宣布完成 1.25 亿美元融资，投后估值 12.5 亿美元，还发布了里程碑式更新 LangChain 1.0，这是一次从零开始的重写。LangChain 最初是副业，发展成热门开源项目，此次重写解决了此前问题，有诸多升级。
24B模型编程超DeepSeek全家桶，32G内存苹果电脑就能跑，专门针对真实GitHub Issue训练
Mistral发布最新开源编程模型Devstral，参数24B，能在单卡RTX4090甚至32G内存Mac上运行。它专为编程智能体推出，针对真实GitHub Issue训练，在SWE - Bench Verified测试中表现出色，还可与All Hands AI框架配合。
拉 DeepSeek 和通义“组队”斗 OpenAI？小扎首届 AI 大会变“大型商战现场”，和微软 CEO 疯狂互曝！
4月30日凌晨Meta举办首届AI开发者大会LlamaCon，推出面向消费者的Meta AI聊天机器人和面向开发者的Llama API，欲扩大开源Llama模型应用范围、挑战OpenAI。扎克伯格还与微软CEO纳德拉就开源闭源生态、AI生产力等展开讨论。
9.1K Star 调参师集体失业！亚马逊造出机器学习“核弹”，3行代码打造高精度模型！
在机器学习普及的当下，自动化机器学习框架降低开发门槛。AutoGluon由AWS AI开发并开源，仅3行代码就能训练和部署高精度模型，支持多类型数据，有诸多亮点，已获9.1K Star。
全面拥抱AI Agent，从0到1动手用GPTBots搭建企业数字助理智能体，办公效率翻倍~
文章指出当下Agent/Agentic AI是热门风口，企业级智能体受资本追捧。重点分享运用GPTBots平台从0到1搭建企业数字助理智能体，涵盖架构、流程、设计、测试等内容，介绍选择该平台的原因及实践成功关键。
刷新SOTA高出19.05分！英伟达开源OmniVinci全模态理解模型，只用1/6的数据，实现全方位超越
英伟达研究团队发布OmniVinci研究，该全模态理解大语言模型用六分之一训练数据，在全模态理解基准测试成绩超现有顶尖模型19.05分。它靠创新架构和数据策略实现效率与性能双突破。
AI写CUDA算子准确率92%，到国产芯片只剩4%？上交方法直线拉升，DeepSeek也适用
GPT-5.2写CUDA算子正确率92%，给华为Ascend NPU写算子仅4%，因公开数据少等致‘新硬件冷启动’难。上海交大团队EvoKernel不训新模型、不标新数据，将GPT-5.2正确率从4%拉到83%，还拓展到DeepSeek架构算子。
GUI智能体训练迎来新范式！半在线强化学习让7B模型媲美GPT-4o
浙江大学与通义实验室团队推出UI - S1，提出半在线强化学习训练范式。它融合离线与在线学习优势，用三项关键技术构建核心架构，新评测指标SOP更贴近真实表现，实验显示UI - S1 - 7B性能卓越，逼近GPT - 4o。
普林斯顿团队领衔发布最强开源数学定理证明模型：32B性能大幅超越前代SOTA DeepSeek 671B
近日，普林斯顿大学牵头多机构推出开源数学定理证明模型 Goedel-Prover-V2。其 32B 旗舰模型在多基准测试超 DeepSeek-Prover-V2-671B，8B 小模型特定基准性能与之持平。该模型有三项关键创新，团队已公开模型及数据集。
狂揽17.1K Star!!开源逆向工程神器，Rizin引擎驱动、跨平台调试反编译、图形化操作，爽翻了！
在信息安全等领域，传统逆向工具价格贵或操作复杂。开源君分享免费开源逆向工程神器Cutter，由Rizin框架驱动，有强大功能与现代化界面，在GitHub获17.1K Star。