Leanstral – Mistral AI推出的首个开源AI代码智能体
Leanstral是什么 Leanstral 是Mistral AI推出的首个开源AI代码智能体，专为Lean 4定理证明器设计。模型采用120B总参数/6B激活参数的稀疏架构，能自动生成形式化证明并...
AI工具集
共 388 篇文章
Covo-Audio – 腾讯开源的端到端语音模型
Covo-Audio是什么 Covo-Audio 是腾讯开源的70亿参数端到端语音大模型，可直接处理连续音频输入并生成音频输出。模型核心创新包括分层三模态语音-文本交错架构、智能与说话人解耦技术，以及...
AgentScope Java – 阿里开源的企业级智能体开发框架
AgentScope Java是什么 AgentScope Java是阿里巴巴开源的面向企业级智能体开发的Java框架，让Java开发者能轻松构建生产级AI应用。框架采用领先的ReAct范式，使大模型...
NemoClaw – 英伟达开源的企业级AI Agent框架
NemoClaw是什么 NemoClaw是英伟达开源的企业级AI Agent框架。NemoClaw作为OpenClaw插件运行，通过OpenShell运行时提供安全沙箱和策略引擎，解决企业使用AI A...
KiKi – 腾讯云推出的 AI Agent 自动化助手
KiKi是什么 KiKi 是腾讯云推出的 AI Agent 自动化助手，源自企业级平台 Helix。用户只需用自然语言描述目标，KiKi 可自动拆解任务、规划步骤并执行，覆盖资源查询、服务购买、应用部...
Mistral Small 4 – Mistral AI开源的多模态大模型
Mistral Small 4是什么 Mistral Small 4 是 Mistral AI 开源的多模态大模型，模型首次将推理（Magistral）、多模态（Pixtral）和智能体编码（Devs...
秒悟Meoo – 阿里巴巴推出的云端 AI 开发工具
秒悟是什么 秒悟 （Meoo ）是阿里巴巴推出的云端 AI 开发工具，定位为”会编程、懂设计、自部署的全能 AI 伙伴”。工具聚合 Kimi K2.5、Qwen3-Coder、GLM-5 等主流大模型...
GLM-5-Turbo – 智谱推出面向OpenClaw深度优化的基座模型
GLM-5-Turbo是什么 GLM-5-Turbo（代号：Pony-Alpha-2）是智谱AI推出的面向OpenClaw（龙虾）Agent场景深度优化的基座模型。模型从训练阶段就针对工具调用、复杂指...
OpenMAIC – 清华开源的多智能体AI课堂平台
OpenMAIC是什么 OpenMAIC是清华团队开源的多智能体AI课堂平台，能将任意主题或文档一键转化为沉浸式交互课程。平台支持AI教师语音授课、AI同学举手讨论、白板实时绘图，可生成幻灯片、测验...
Fun-CineForge – 阿里通义开源的影视级多模态配音模型
Fun-CineForge是什么 Fun-CineForge是通义实验室开源的首个影视级多模态配音大模型，基于CosyVoice3构建，创新引入”时间模态”实现精准音画同步。模型支持独白、旁白、对话及...