Sharenet.ai

Goedel-Prover-V2 是普林斯顿大学、清华大学和英伟达等顶尖机构联合推出的开源定理证明模型。模型基于创新技术如分层式数据合成、验证器引导的自我修正和模型平均等，显著提升自动形式化证明的性能...

BytePlus 是字节跳动推出的企业级智能服务平台，面向海外提供多元化服务。平台涵盖内容分发与加速（CDN）、个性化推荐、增强现实、数据处理与分析、实时音视频通信、人工智能与机器学习等强大功能。

飞书妙搭是飞书推出的企业级 AI 原生系统搭建平台。平台通过多 Agent 架构，快速将企业的业务需求转化为实际应用，支持从需求分析到功能设计、应用开发及问题修复的全流程。用户用对话方式，轻松搭建轻量...

Kimi Playground 是月之暗面推出的面向开发者的 AI 工具调用体验平台。Kimi Playground 能让 AI 调用各种工具（如天气查询、酒店预订、数据分析等）完成复杂的任务，不只是...

ChatGPT Agent 是 OpenAI 推出的通用AI Agent，融合多种能力，能自主完成复杂任务。用户只需用自然语言描述需求，Agent 能自动选择合适工具，比如浏览网页、提取信息、运行代码...

GLM-Experimental 是智谱 AI 推出的实验性大语言模型，已在 Z.ai 平台上线。模型具备自动生成 PPT 的能力，用户输入主题或要点后，模型能快速生成结构清晰、格式规范的演示文稿，将...

PromptForge 是强大的 AI提示工程工作台，能帮助用户高效地创建、测试和优化 AI 提示词。PromptForge通过智能生成功能提供优化建议，支持多模型比较和动态参数调整，让用户灵活对比不...

VikingDB 是火山引擎推出的高性能云原生向量数据库，专为处理海量高维向量数据而设计。VikingDB 具备多种数据写入方式，包括实时同步、异步写入等，满足不同场景下的数据处理需求。VikingD...

RoboBrain 2.0 是智谱开源的先进具身大脑模型，为机器人提供强大的感知、推理和规划能力。RoboBrain 2.0包含 7B 和 32B 两个版本，采用异构架构，融合视觉编码器和语言模型，支...

RoboOS 2.0 是智谱开源的跨本体大小脑协同框架，推动机器人从单一智能向群体协作智能转变。框架用“大小脑”架构实现高效分工，云端大脑负责复杂决策与协同，小脑模块专注于执行具体技能。