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