AI工具
VLM-R1 – 浙大 Om AI Lab 推出的视觉语言模型
VLM-R1是什么 VLM-R1 是 Om AI Lab 推出的基于强化学习技术的视觉语言模型，通过自然语言指令精确定位图像中的目标物体，如根据描述“图中红色的杯子”找到对应...
BFS-Prover – 字节豆包推出的自动定理证明系统
BFS-Prover是什么 BFS-Prover 是字节跳动豆包大模型团队推出的基于大语言模型（LLM）的自动定理证明系统，通过改进传统的广度优先搜索（BFS）算法，结合专家...
PySpur – 开源 AI 代理构建工具，拖拽式构建 AI 工作流
PySpur是什么 PySpur 是开源的轻量级可视化 AI 智能体工作流构建器，简化 AI 系统的开发流程。基于拖拽式界面让用户能快速构建、测试和迭代 AI 工作流，无需...
元镜 – AI视频生成系统，支持多模态创意分镜创作服务
元镜是什么 元镜是基于人机共生引擎的AI视频创作系统，支持从创意灵感到成品视频实现高效创作。元镜基于自动化脚本生成、角色风格统一、多模态融合和智能工作...
Wan2.1 – 阿里开源的AI视频生成大模型
Wan2.1是什么 Wan2.1是阿里云开源的AI视频生成大模型，具备强大的视觉生成能力。Wan2.1支持文生视频和图生视频任务，包含两种尺寸的模型，14B参数的专业版擅...
京点点 – 京东推出的AIGC内容生成平台
京点点是什么 京点点是京东零售技术推出的AI内容生成平台，专为电商场景设计，覆盖商品图片、营销文案、等多模态内容生成。基于海量数据训练和先进技术框架，...
Gemini Code Assist – 谷歌推出免费的 AI 编程工具
Gemini Code Assist是什么 Gemini Code Assist 是 Google 推出的 AI编程工具，能帮助开发者更高效地编写代码、提升代码质量。Gemini Code Assist 基于 Gemini...
DeepGEMM – DeepSeek 开源的 FP8 通用矩阵乘法库
DeepGEMM是什么 DeepGEMM是DeepSeek开源的为高效简洁的FP8矩阵乘法（GEMM）设计的库，目前仅支持NVIDIA Hopper张量核心。DeepGEMM支持普通和混合专家（MoE）...
AgentRefine – 北京邮电大学联合美团推出的智能体合成框架
AgentRefine是什么 AgentRefine 是北京邮电大学和美团联合提出的智能体合成框架，通过“精炼调整”（Refinement Tuning）提升基于大型语言模型（LLM）的智能体...
TinyR1-Preview – 奇虎360联合北大团队推出的推理模型
TinyR1-Preview是什么 TinyR1-Preview是北京大学计算机学院与360公司联合推出的32B参数量的推理模型。模型仅用5%的参数量，逼近Deepseek-R1-671B的性能，Tiny...
一站式AI工具导航平台！汇聚超800+免费AI工具，涵盖AI写作、智能绘画、论文生成、视频制作、编程辅助、音频处理等全场景工具。每日更新热门 AIGC工具（如 Sora、AI Agent），助您快速找到提升办公、创作、学习效率的实用工具！立即访问ai-nav.net，探索 AI 新可能！