AI项目和框架
Goedel-Prover-V2
Goedel-Prover-V2 是普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的开源定理证明器。Goedel-Prover-V2通过分层式数据合成、验证器引导的自我修正和模型...
EXAONE 4.0
EXAONE 4.0是韩国LG AI Research推出的自研混合推理大模型。模型融合通用自然语言处理和高级推理能力,支持韩语、英语和西班牙语。模型分为32B的专业版和1.2B...
RoboBrain 2.0
RoboBrain 2.0 是强大的开源具身大脑模型,能统一感知、推理和规划,支持复杂任务的执行。RoboBrain 2.0 包含 7B(轻量级)和 32B(全规模)两个版本,基于异...
PromptForge
PromptForge 是 AI 提示工程工作台,支持帮助用户高效地创建、测试和优化 AI 提示。平台基于智能生成功能提供 AI 辅助的提示构建和优化建议,具备高级分析工...
TradingAgents-CN
TradingAgents-CN是基于多智能体大模型的中文金融交易决策框架,在TauricResearch/TradingAgents的基础上进行了开发,为中文用户提供了完整的文档体系和本地...
Skywork-R1V 3.0
Skywork-R1V 3.0 是昆仑万维开源的多模态推理模型,具备强大的跨模态推理能力和跨学科泛化能力。模型在高考数学中取得142分的高分,在多学科推理评测 MMMU 中...
HumanOmniV2
HumanOmniV2 是阿里通义实验室开源的多模态推理模型。模型基于强制上下文总结机制、大模型驱动的多维度奖励体系及基于 GRPO 的优化训练方法,解决多模态推理...
MetaStone-S1
MetaStone-S1是原石科技推出的反思型生成式大模型,首次融合深度推理与推理链自筛选能力。模型核心用自监督反思范式,基于共享主干的策略模型和过程评分模型...
Hunyuan3D-PolyGen
Hunyuan3D-PolyGen是腾讯混元团队推出的业界首个美术级3D生成大模型。结合自研的高压缩率表征技术(BPT),能生成面数高达上万面的复杂几何模型,支持三边面...