Goedel-Prover-V2 是普林斯顿大学、清华大学、英伟达等顶尖机构联合推出的开源定理证明器。Goedel-Prover-V2通过分层式数据合成、验证器引导的自我修正和模型...

Kimi Playground 是为开发者提供的工具调用能力体验平台。平台能让 AI 通过调用各种工具（如天气查询、酒店预订、数据分析等）完成复杂的任务，不仅仅是进行...

TizzyAI是百度推出的全新AI智能搜索助手应用。基于百度多个大模型能力生成，最大的特点是App内没有广告。TizzyAI的主要功能包括深度思考、智能总结、查找资源...

Voxtral 是 Mistral AI 推出的先进音频模型，基于卓越的语音转录和深度理解能力，推动语音作为自然的人机交互方式。Voxtral提供 24B 和 3B 两种版本，分别适...

EXAONE 4.0是韩国LG AI Research推出的自研混合推理大模型。模型融合通用自然语言处理和高级推理能力，支持韩语、英语和西班牙语。模型分为32B的专业版和1.2B...

VikingDB 是火山引擎推出的高性能向量数据库，专为处理海量高维向量数据设计。VikingDB 支持实时同步、异步写入等多种数据写入方式，具备自研的 HNSW、IVF 等...

RoboBrain 2.0 是强大的开源具身大脑模型，能统一感知、推理和规划，支持复杂任务的执行。RoboBrain 2.0 包含 7B（轻量级）和 32B（全规模）两个版本，基于异...

RoboOS 2.0 是智谱开源的跨本体大小脑协同框架，专为具身智能设计。框架支持多机器人协作，基于集成MCP协议和无服务器架构实现轻量化部署，降低开发门槛。

飞搜侠是专注于飞书文档搜索的高效工具，帮助用户快速找到所需的高质量飞书文档资源。具备智能搜索功能，能精准匹配用户输入的关键词，快速定位相关文档，提...

Skala 是专为全球创业者设计的 AI 法律平台，把公司注册、融资、合同、商标等高频法律需求整合在一处。用户可在几分钟内完成美国、阿联酋等多地公司设立，用 ...

万象驭影是北京矩阵像素科技推出的基于多模态智能体工程的智能视频创作工具，以技术创新重构视频内容生产流程，解决行业高门槛、低效率的创作痛点。独创代理...

观猹（watcha.cn）00后团队打造的下一代内容社交平台，自称“AI 应用的大众点评”。涵盖热门 Agent，平台按“通用助手、效率工具、虚拟陪伴”等板块卡片式陈列，...

扣子播客是扣子空间推出的AI播客生成工具。用户只需输入简单的主题、文章链接、文本内容，或上传图片、文档、视频等文件，可在几分钟内生成专业级的播客节目。

k2是月之暗面Kimi推出的具备超强代码和 Agent 能力的 MoE 架构基础模型，总参数 1T，激活参数 32B。在通用知识推理、编程、数学、Agent 等主要类别的基准性能...

PromptForge 是 AI 提示工程工作台，支持帮助用户高效地创建、测试和优化 AI 提示。平台基于智能生成功能提供 AI 辅助的提示构建和优化建议，具备高级分析工...