一款面向数学推理与证明的专用模型,主要帮助研究者、开发者和高阶学习者产出更可检查的解题步骤、证明草稿与形式化推理尝试。
Tuleo Signal Board
发现最值得关注的AI 工具/项目
Tuleo 已收录 4246 个 AI 工具/项目,覆盖 10 个分类。榜单基于社媒讨论和公开来源整理。
支持关键字搜索。AI 搜索请使用 MCP,让你的 AI 用 Tuleo 数据继续查找。
DSpark
开源项目DSpark 是 DeepSeek 的推测解码系统,主要帮助模型服务与推理基础设施团队为 DeepSeek V4 一类模型产出更高吞吐的在线推理服务。
A developer SDK from Vercel for building AI applications, with version 7 highlighting realtime user interactions, speech generation, and transcription features.
一款面向开发者的 AI 基础设施网关,主要帮助需要同时接入多家模型的团队,用单一入口产出聊天、语音、转写和多模态应用能力。
一组开源/开放权重推理大模型,主要帮助开发者、研究者和本地部署用户产出更强的代码、数学解题和复杂分析回答。
一款低成本视频生成模型,主要帮助短视频创作者、商家和小团队批量产出电商素材、社媒短视频草稿与漫剧片段。
GPT-4o
模型一款原生多模态大模型,主要帮助开发者、产品团队和创作者生成对话、看图理解、语音交互与图像创作类产出。
月之暗面开源的多模态编程模型,主要帮助开发者和 AI 编程产品生成代码、前端页面,并结合截图等多模态输入完成修改结果。
SGLang
开源项目一款高性能开源 LLM/多模态 serving 框架,主要帮助模型平台、推理工程师和基础设施团队把自托管模型部署成可调用的 OpenAI 兼容 API 服务。
LocalAI
开源项目一款面向开发者与自建团队的开源本地推理引擎,帮助在自有机器上部署多模态模型并产出兼容 OpenAI API 的服务接口。