AI
  1. 首页
  2. AI

列表

Lobe Chat

Lobe Chat

Lobe Chat 是一个免费开源的高性能 AI 聊天机器人框架，具备多种功能，如 GPT-4 视觉识别、文字语音转换、灵活的插件系统及个性化主题模式。用户能够轻松部署和扩展功能，适用于各种场景。该框架已在 GitHub 上获得近 14K 星标，展示了其受欢迎程度和实用性。
AI项目与工具 2025年06月12日
Goedel

Goedel

Goedel-Prover是一款由多所高校联合开发的开源大型语言模型，专注于自动化数学问题的形式化证明生成。它通过将自然语言数学问题转化为形式语言（如Lean 4），生成准确且完整的证明过程。采用专家迭代方法持续优化模型性能，在多项基准测试中表现优异。该工具可应用于数学研究、教学、软件验证及AI算法验证等领域，具备强大的数学推理能力和广泛的应用前景。
AI项目与工具 2025年06月12日
TokenSwift

TokenSwift

TokenSwift是由北京通用人工智能研究院开发的超长文本生成加速框架，可在90分钟内生成10万Token文本，效率较传统模型提升3倍，且保持输出质量。其核心优势包括多Token并行生成、动态KV缓存管理、上下文惩罚机制等技术，支持多种模型架构。适用于内容创作、智能客服、学术研究及编程辅助等场景。
AI项目与工具 2025年06月12日
HRAvatar

HRAvatar

HRAvatar是由清华大学联合IDEA团队推出的单目视频重建技术，能够从普通单目视频中生成高质量、可重光照的3D头像。它采用可学习的形变基和线性蒙皮技术，结合精确的表情编码器和物理渲染模型，实现高精度重建和实时渲染（约155 FPS）。支持材质编辑、跨视角渲染和动画化，适用于数字人、虚拟主播、AR/VR、游戏开发和影视制作等领域。
AI项目与工具 2025年06月11日
Zapier MCP

Zapier MCP

Zapier MCP 是一种 AI 工具，允许 AI 助手安全、快速地连接至 7000 多个应用程序，无需复杂 API 集成。它支持自动化任务如发送消息、管理数据、安排事件，并提供细粒度权限控制与安全验证。适用于开发者、AI 用户和企业团队，提升工作效率与协作能力。
AI项目与工具 2025年06月12日
Llama 4

Llama 4

Llama 4 是 Meta 推出的多模态 AI 模型系列，采用混合专家（MoE）架构，提升计算效率。包含 Scout 和 Maverick 两个版本，分别适用于不同场景。Scout 支持 1000 万 token 上下文，Maverick 在图像理解和创意写作方面表现优异。Llama 4 支持 200 种语言，具备强大的语言生成与多模态处理能力，适用于对话系统、文本生成、代码辅助、图像分析等多个
AI项目与工具 2025年06月12日
Documind

Documind

Documind是一款基于人工智能技术的智能文档搜索工具，适用于需要处理大量文本资料的专业人士。它提供了智能搜索、精准结果、多语言支持和严格的数据安全保障等功能，用户能够与文档进行互动，获取详细的答案和摘要，支持生成内容和训练聊天机器人。Documind强调用户隐私和数据保护，符合欧盟的GDPR标准。
AI项目与工具 2025年06月12日
星搭

星搭

星搭致力于构建一套基础设施，将AI模型搭建与应用开发的过程可视化地整合在一起
AI服务商 2025年06月05日
书生·浦像

书生·浦像

书生·浦像是由多家科研机构联合开发的超高动态成像算法，核心为浦像HDR（UltraFusion HDR）。它结合AIGC与HDR技术，在极端光照条件下实现图像细节修复和高质量输出，有效解决动态场景中的运动伪影问题。适用于摄影、手机成像和自动驾驶等领域，具有多曝光融合、动态处理、色调映射等功能，提升了图像的鲁棒性与真实感。
AI项目与工具 2025年06月12日
NotebookMLX

NotebookMLX

NotebookMLX 是一款基于 MLX 技术开发的开源工具，支持将 PDF 文档转换为音频播客。它通过 PDF 预处理、播客脚本生成、文本优化以及文本转语音等功能，实现了从 PDF 文件到高质量音频内容的全流程自动化处理，适用于教育、播客创作、有声书制作等多个领域，显著提升了信息传播效率和用户体验。
AI项目与工具 2025年06月12日