美团开源560B参数推理模型LongCat：融合Agent工具调用，登顶Lean4定理证明SOTA
美团正式开源代号为LongCat-Flash-Prover的5600亿参数MoE模型。该模型将形式化推理拆解为自动形式化、草图生成及完整证明生成三大核心能力，并创新性地通过Agent工具集成推理与Lean4编译器进行实时交互验证。在训练上，...
标签索引 / 第 5 页
开源模型
这个标签下有 93 篇文章。按时间回看相关判断与实践记录。
标签精选
相关内容
实测MiMo V2 Pro：搞定GitHub自动化工作流，表现优于GPT与Claude
一位开发者在实际代码维护中发现，OpenCode 平台上的免费模型 MiMo V2 Pro 表现出人意料的强劲。在修复 GitHub Actions 自动化工作流时，此前使用 Claude 和 GPT 等主流大模型，均未能实现“自动携带 R...
英伟达携手 Mistral AI 成立 Nemotron 联盟，全新 Mistral Small 4 模型强势开源
欧洲 AI 独角兽 Mistral AI 宣布与 NVIDIA 达成深度战略合作，并作为创始成员加入 NVIDIA Nemotron 联盟。双方将结合 Mistral 卓越的模型架构与 NVIDIA 顶尖的算力基础设施（DGX Cloud）...
硬核横评｜10款轻量开源大模型翻译能力实测：Qwen 3.5 夺冠，长文本仍是短板
本报告基于 AMD EPYC 和 Nvidia A10 硬件环境，对 10 款轻量级开源大模型进行了系统化翻译测评。研究不仅对比了基础分数，更从语义还原、上下文连贯、Markdown 结构保真及并发性能六个维度进行深度剖析。结果显示，Qwe...
何时能像装 NAS 一样部署家用 LLM？成本与性能的双重博弈
V2EX 社区近期引发了关于“家用 LLM 部署”的讨论，用户展望未来能像搭建 NAS 一样，在家庭环境中轻松运行私有化大模型。这一愿景的实现取决于两大关键变量：硬件成本的显著降低（如高显存芯片普及）以及开源模型能力的全面跃升（媲美顶尖闭源...
实战测评：Mac本地部署AI翻译模型，专用小模型表现力压DeepSeek
针对个人用户在Mac mini M4（16G内存）上本地部署翻译模型的需求，本文提供了详尽的测评报告。作者筛选了Mistral、Qwen、DeepSeek及GLM等主流开源的小参数模型（14B以下），通过自动化脚本对社区长文本进行翻译测试，...
印度首个全栈自研开源大模型：Sarvam AI 发布 30B 与 105B 推理模型
印度AI初创公司Sarvam AI正式发布了Sarvam 30B与Sarvam 105B两款开源大语言模型。作为推理模型，它们完全基于高质量数据集从零开始训练，并利用印度本土的“IndiaAI”算力任务完成了全流程训练。除了模型本身，团队还...
全网“催更”Deepseek：在竞品加速迭代下，开源模型能否守住性能高地？
近期，Deepseek因较长时间未进行重大模型更新而引发社区广泛关注。与此同时，国内竞争对手如GLM和Minimax等已连续发布了多个新版本，这种迭代速度的反差让部分开发者产生了“掉队”的担忧。Deepseek之所以备受期待，是因为它被普遍...
拒绝付费订阅：如何零成本调用Gemini、Grok等主流大模型构建AI应用
本文深入探讨了如何利用“白嫖”精神，通过CPA、gpt-load等工具整合多方免费API资源，实现AI智能体的低成本运行。作者实测了包括Gemini 3 Flash、通义千问Qwen 3.5 Plus、Grok 4.2、DeepSeek在内...
IQuestLab发布IQuest-Coder-V1全系列：7B/14B基座与40B思维模型全面开源
IQuestLab近日正式开源了IQuest-Coder-V1系列代码大模型，涵盖7B、14B轻量级基座模型及具备深度推理能力的40B“思维”模型。目前所有模型权重已在GitHub发布，供开发者自由下载。该系列中的40B-Thinking模...