AI项目和框架

Goedel-Prover-V2

Goedel-Prover-V2 是普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的开源定理证明器。Goedel-Prover-V2通过分层式数据合成、验证器引导的自我修正和模型...
阅读原文

Voxtral

Voxtral 是 Mistral AI 推出的先进音频模型,基于卓越的语音转录和深度理解能力,推动语音作为自然的人机交互方式。Voxtral提供 24B 和 3B 两种版本,分别适...
阅读原文

EXAONE 4.0

EXAONE 4.0是韩国LG AI Research推出的自研混合推理大模型。模型融合通用自然语言处理和高级推理能力,支持韩语、英语和西班牙语。模型分为32B的专业版和1.2B...
阅读原文

RoboBrain 2.0

RoboBrain 2.0 是强大的开源具身大脑模型,能统一感知、推理和规划,支持复杂任务的执行。RoboBrain 2.0 包含 7B(轻量级)和 32B(全规模)两个版本,基于异...
阅读原文

RoboOS 2.0

RoboOS 2.0 是智谱开源的跨本体大小脑协同框架,专为具身智能设计。框架支持多机器人协作,基于集成MCP协议和无服务器架构实现轻量化部署,降低开发门槛。
阅读原文

k2

k2是月之暗面Kimi推出的具备超强代码和 Agent 能力的 MoE 架构基础模型,总参数 1T,激活参数 32B。在通用知识推理、编程、数学、Agent 等主要类别的基准性能...
阅读原文

PromptForge

PromptForge 是 AI 提示工程工作台,支持帮助用户高效地创建、测试和优化 AI 提示。平台基于智能生成功能提供 AI 辅助的提示构建和优化建议,具备高级分析工...
阅读原文

TradingAgents-CN

TradingAgents-CN是基于多智能体大模型的中文金融交易决策框架,在TauricResearch/TradingAgents的基础上进行了开发,为中文用户提供了完整的文档体系和本地...
阅读原文

Grok 4

Grok 4 是 xAI 推出的最新人工智能大模型。Grok 4 的推理能力相较于前代提升 10 倍。模型具备卓越的推理能力,能在 SAT、GRE 等高难度考试中接近满分,在多项...
阅读原文

Skywork-R1V 3.0

Skywork-R1V 3.0 是昆仑万维开源的多模态推理模型,具备强大的跨模态推理能力和跨学科泛化能力。模型在高考数学中取得142分的高分,在多学科推理评测 MMMU 中...
阅读原文

HumanOmniV2

HumanOmniV2 是阿里通义实验室开源的多模态推理模型。模型基于强制上下文总结机制、大模型驱动的多维度奖励体系及基于 GRPO 的优化训练方法,解决多模态推理...
阅读原文

Gen CLI

Gen CLI 是基于谷歌 Gemini  CLI技术的命令行工具,支持基于 AI 加速开发工作流程。Gen CLI支持代码生成、项目管理和自动化任务等功能。用户用简单的命令与 G...
阅读原文

MetaStone-S1

MetaStone-S1是原石科技推出的反思型生成式大模型,首次融合深度推理与推理链自筛选能力。模型核心用自监督反思范式,基于共享主干的策略模型和过程评分模型...
阅读原文

Hunyuan3D-PolyGen

Hunyuan3D-PolyGen是腾讯混元团队推出的业界首个美术级3D生成大模型。结合自研的高压缩率表征技术(BPT),能生成面数高达上万面的复杂几何模型,支持三边面...
阅读原文

WebSailor

WebSailor 是阿里通义实验室开源的网络智能体,专注于复杂信息检索与推理任务。通过创新的数据合成方法(如 SailorFog-QA)和训练技术(如拒绝采样微调和 DUP...
阅读原文
145678136