ChatGPT Agent
ChatGPT Agent是OpenAI推出的强大的AI智能体工具。工具整合Operator、Deep Research和ChatGPT本体的能力,能自主选择工具(如可视化浏览器、文本浏览器、终端...
Goedel-Prover-V2
Goedel-Prover-V2 是普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的开源定理证明器。Goedel-Prover-V2通过分层式数据合成、验证器引导的自我修正和模型...
Kimi Playground
Kimi Playground 是为开发者提供的工具调用能力体验平台。平台能让 AI 通过调用各种工具(如天气查询、酒店预订、数据分析等)完成复杂的任务,不仅仅是进行...
EXAONE 4.0
EXAONE 4.0是韩国LG AI Research推出的自研混合推理大模型。模型融合通用自然语言处理和高级推理能力,支持韩语、英语和西班牙语。模型分为32B的专业版和1.2B...
RoboBrain 2.0
RoboBrain 2.0 是强大的开源具身大脑模型,能统一感知、推理和规划,支持复杂任务的执行。RoboBrain 2.0 包含 7B(轻量级)和 32B(全规模)两个版本,基于异...