产品库

NovaSky 是一个专注于代码生成和推理模型优化的人工智能技术平台。

NovaSky 是一个专注于提升代码生成和推理模型性能的人工智能技术平台。它通过创新的测试时扩展技术（如 S*）、强化学习蒸馏推理等技术，显著提升了非推理模型的性能，使其在代码生成领域表现出色。该平台致力于为开发者提供高效、低成本的模型训练和优化解决方案，帮助他们在编程任务中实现更高的效率和准确性。NovaSky 的技术背景源于 Sky Computing Lab @ Berkeley，具有强大的学术支持和前沿的技术研究基础。目前，NovaSky 提供多种模型优化方法，包括但不限于推理成本优化和模型蒸馏技术，满足不同开发者的需求。

私密且无审查的人工智能平台，提供文本、图像和代码生成等功能。

Venice 是一个以隐私保护为核心的人工智能平台，提供文本生成、图像生成和代码生成等多种功能。它强调用户数据的私密性，所有数据仅存储在用户设备上，不会上传至服务器。该平台利用领先的开源 AI 技术，提供无审查、无偏见的智能服务，旨在为用户提供一个自由探索创意和知识的环境。Venice 提供免费和付费两种账户选项，付费用户可享受更高分辨率的图像、无水印、无限制的提示次数等高级功能。

VisionAgent是一个用于生成代码以解决视觉任务的库，支持多种LLM提供商。

VisionAgent是一个强大的工具，它利用人工智能和大语言模型（LLM）来生成代码，帮助用户快速解决视觉任务。该工具的主要优点是能够自动将复杂的视觉任务转化为可执行的代码，极大地提高了开发效率。VisionAgent支持多种LLM提供商，用户可以根据自己的需求选择不同的模型。它适用于需要快速开发视觉应用的开发者和企业，能够帮助他们在短时间内实现功能强大的视觉解决方案。VisionAgent目前是免费的，旨在为用户提供高效、便捷的视觉任务处理能力。

Huginn-0125是一个35亿参数的潜变量循环深度模型，擅长推理和代码生成。

Huginn-0125是一个由马里兰大学帕克分校Tom Goldstein实验室开发的潜变量循环深度模型。该模型拥有35亿参数，经过8000亿个token的训练，在推理和代码生成方面表现出色。其核心特点是通过循环深度结构在测试时动态调整计算量，能够根据任务需求灵活增加或减少计算步骤，从而在保持性能的同时优化资源利用。该模型基于开源的Hugging Face平台发布，支持社区共享和协作，用户可以自由下载、使用和进一步开发。其开源性和灵活的架构使其成为研究和开发中的重要工具，尤其是在资源受限或需要高性能推理的场景中。

将你的想法快速转化为代码

Code2.AI是一个创新的在线平台，它通过人工智能技术帮助开发者将想法快速转化为代码。该平台通过压缩代码库，使AI能够理解并与开发者一同编程。Code2.AI的主要优点包括加速开发进程、无限制的编码能力以及与现有项目的无缝集成。它支持任何编程语言，无论是Web还是移动开发，都能提供完整的函数代码，而不仅仅是代码片段。此外，Code2.AI还提供了详细的使用指南，帮助用户更有效地利用AI进行编程。

高效编码的开源大型语言模型

Yi-Coder是一系列开源的代码大型语言模型（LLMs），在少于100亿参数的情况下提供最先进的编码性能。它有两种尺寸—1.5B和9B参数—提供基础和聊天版本，旨在高效推理和灵活训练。Yi-Coder-9B在GitHub的代码库级别代码语料库和从CommonCrawl筛选的代码相关数据上，额外训练了2.4万亿高质量token。Yi-Coder在多种编程任务中表现出色，包括基础和竞技编程、代码编辑和仓库级完成、长上下文理解以及数学推理。

使用AI秒速生成VBA代码

VBA Code Generator是一个利用人工智能技术，帮助用户快速生成VBA代码的在线工具。它为Excel自动化和Access数据库管理等提供了广泛的应用，通过简单的文本指令即可生成复杂的VBA代码，大大节省了用户的编程时间。

自动化科学发现的前沿系统

The AI Scientist 是一个全面的系统，旨在实现完全自动化的开放式科学发现。它使得基础模型，如大型语言模型（LLMs），能够独立进行研究。该系统代表了人工智能在科学研究领域的一个重大挑战，通过自动化的方式辅助人类科学家进行思考和编码，同时减少了对人工监督的依赖。

开源的多语言代码生成模型

CodeGeeX4-ALL-9B是CodeGeeX4系列模型的最新开源版本，基于GLM-4-9B持续训练，显著提升了代码生成能力。它支持代码补全、生成、代码解释、网页搜索、函数调用、代码问答等功能，覆盖软件开发的多个场景。在公共基准测试如BigCodeBench和NaturalCodeBench上表现优异，是参数少于10亿的最强代码生成模型，实现了推理速度与模型性能的最佳平衡。

先进的人工智能大模型系列

智源悟道3.0是智源研究院开发的先进人工智能大模型系列，包括AquilaChat对话模型、AquilaCode文本代码生成大模型以及多种视觉大模型。产品功能涵盖流畅的文本对话、多语言生成任务、文本代码生成、多模态和视觉处理等。其特点包括多样化、高性能、开源、多语言支持和可扩展性。适用于多种芯片架构和深度学习框架，主要面向科研和开发社区，开源免费。

前端开发利器，使用 AI 加速 UI 构建

Coffee 是一个使用人工智能加速前端开发的工具，能够以 10 倍的速度构建和迭代用户界面。它可以与任何 React 代码库一起使用，并生成干净、可维护的代码。Coffee 的设计目标是成为一个更加人性化的工具，能够写和交互真实的代码。

解锁人工智能技术的全部潜力

Krater.ai 是一款全能的人工智能超级应用，集成了各种人工智能工具。无论是创作者还是写手，还是任何追求效率和优化工作流程的人，都能从 Krater.ai 中获益。轻松在点击按钮时生成所需的内容，无复杂性、纯粹的人工智能力量。不再支付多个应用程序的费用，切换到一体化解决方案并节省大量费用。在我们的所有应用程序中生成 100% 无抄袭的内容，并通过一致的界面无缝切换应用程序，无缝流畅地进行工作。

使用ChatGPT将开发工作效率提升100倍

Bito AI是一个帮助开发人员使用GPT-4和ChatGPT的工具，它能够提供代码生成、语法解释、测试用例生成、代码解释、性能优化、安全检查等功能。Bito AI可以节省每天一个小时的工作时间。

AI生成UI/UX设计，基于PRD和设计系统

Magify Design是一款基于人工智能的UI/UX设计平台，能够根据您的PRD和设计系统生成设计，减少繁琐的工作，让您专注于创造性和用户需求的解决。它可以与Figma协同工作，提供AI生成的设计、文案和代码，支持React和React Native框架。

AI博客写手，让你更专注于你所热爱的事情。

Writeasily是一款基于人工智能的博客写作工具，用户只需输入简单的提示或上下文，即可生成高质量的博客内容。Writeasily提供多种模板，包括博客内容、电子邮件模板、社交媒体、视频内容、网站内容、趣味语录等，支持语音转文字、生成代码等功能。Writeasily的优势在于可以帮助用户更快地撰写高质量的内容，节省时间和精力。Writeasily提供免费和付费两种套餐，付费套餐包括更多的模板、更多的字数、更多的图片和语音转文字次数等。

释放人工智能的力量

Disperto是一个全能AI平台，可以在几秒钟内生成AI内容。它提供了AI写作、AI图像生成、AI代码生成和AI聊天等功能。用户界面友好，无需技术专业知识即可使用。价格实惠，适合个人和企业使用。支持多种语言，能够生成各种内容。体验Disperto.com带来的无限可能，开启创新的新纪元。

大规模聚合AI和Open API的代码生成工具

GenPen.AI是第一个大规模集成开发环境（IDE），通过无缝聚合访问VLLM和Open API代码生成、序列文档和无代码全代码解决方案，实现高度灵活的代码解决方案。使用该工具可以快速测试多个不同配置的形状，而不是等待几个月才发现设计中的缺陷。自动化GIT/代码/文档，使您的分支保持最新状态。多个狭义AI代理同时使用，代理根据输入进行投票，用户反馈有助于训练我们的投票算法。

AI编程助手

SpellBox使用人工智能从简单提示中创建所需的代码，帮助您在几秒钟内解决最困难的编程问题。功能强大，易于使用。

AI 设计工具，让 React 代码库的设计与开发更高效

Tempo 是一个基于人工智能的设计工具，可以直接在你的 React 代码库中生成和编辑高质量的 React 代码，让你能在几分钟内完成 UI 的开发。它与你现有的代码协同工作，可以根据你代码库的规范生成新的代码或者直接在现有代码上进行编辑。你可以通过可视化方式编辑样式和布局代码，从而更专注于编写业务逻辑而非 CSS。你可以自带设计系统，也可以使用 MUI、Chakra、Radix 或 Headless UI 来生成定制库。此外，Tempo 还提供了数百个组件和模板供你选择，快速启动项目。Tempo 旨在简化设计师和开发者之间的协作，让你的产品快速上线。

强大的语言模型，支持多种自然语言处理任务。

GLM-4-32B 是一个高性能的生成语言模型，旨在处理多种自然语言任务。它通过深度学习技术训练而成，能够生成连贯的文本和回答复杂问题。该模型适用于学术研究、商业应用和开发者，价格合理，定位精准，是自然语言处理领域的领先产品。

通过生成推理扩大过程奖励模型的测试时间计算。

GenPRM 是一种新兴的过程奖励模型（PRM），通过生成推理来提高在测试时的计算效率。这项技术能够在处理复杂任务时提供更准确的奖励评估，适用于多种机器学习和人工智能领域的应用。其主要优点是能够在资源有限的情况下优化模型性能，并在实际应用中降低计算成本。

昆仑万维开源的高性能数学代码推理模型，性能卓越

Skywork-OR1是由昆仑万维天工团队开发的高性能数学代码推理模型。该模型系列在同等参数规模下实现了业界领先的推理性能，突破了大模型在逻辑理解与复杂任务求解方面的能力瓶颈。Skywork-OR1系列包括Skywork-OR1-Math-7B、Skywork-OR1-7B-Preview和Skywork-OR1-32B-Preview三款模型，分别聚焦数学推理、通用推理和高性能推理任务。此次开源不仅涵盖模型权重，还全面开放了训练数据集和完整训练代码，所有资源均已上传至GitHub和Huggingface平台，为AI社区提供了完全可复现的实践参考。这种全方位的开源策略有助于推动整个AI社区在推理能力研究上的共同进步。

亚马逊全新基础模型理解语气、语调与节奏，提升人机对话自然度。

Amazon Nova Sonic 是一款前沿的基础模型，能够整合语音理解和生成，提升人机对话的自然流畅度。该模型克服了传统语音应用中的复杂性，通过统一的架构实现更深层次的交流理解，适用于多个行业的 AI 应用，具有重要的商业价值。随着人工智能技术的不断发展，Nova Sonic 将为客户提供更好的语音交互体验，提升服务效率。

通过知识与技能帮助教育者有效利用人工智能。

OpenAI Academy 致力于为教育者提供人工智能的知识与技能，帮助他们在教学中有效整合 AI 技术。通过针对 K-12 教育者的工作坊，OpenAI Academy 强调了生成性 AI 模型（如 ChatGPT）的构造和转型潜力，以及它们在课堂上的实际应用。这一平台旨在帮助教育者面对 AI 带来的机遇与挑战，培养他们在不断发展的数字环境中，为学生提供必要的安全性、技能和自主权。此项目是免费的，旨在为教育者和学生创造一个更美好的未来。

利用 AI 将您的创意变为现实，生成美观的应用程序。

HeroUI Chat 是一个利用人工智能生成美观应用程序的平台，无论用户的设计经验如何，都可以轻松创建专业级的应用界面。该产品旨在帮助创业者、开发者及设计师快速实现他们的想法。产品目前提供 30% 的折扣，吸引了众多用户参与和讨论。

加速视频扩散模型，生成速度提升 8.5 倍。

AccVideo 是一种新颖的高效蒸馏方法，通过合成数据集加速视频扩散模型的推理速度。该模型能够在生成视频时实现 8.5 倍的速度提升，同时保持相似的性能。它使用预训练的视频扩散模型生成多条有效去噪轨迹，从而优化了数据的使用和生成过程。AccVideo 特别适用于需要高效视频生成的场景，如电影制作、游戏开发等，适合研究人员和开发者使用。

通过测试时间缩放显著提升视频生成质量。

Video-T1 是一个视频生成模型，通过测试时间缩放技术（TTS）显著提升生成视频的质量和一致性。该技术允许在推理过程中使用更多的计算资源，从而优化生成结果。相较于传统的视频生成方法，TTS 能够提供更高的生成质量和更丰富的内容表达，适用于数字创作领域。该产品的定位主要面向研究人员和开发者，价格信息未明确。

Gemini 2.5 是谷歌最智能的 AI 模型，具备推理能力。

Gemini 2.5 是谷歌推出的最先进的 AI 模型，具备高效的推理能力和编码性能，能够处理复杂问题，并在多项基准测试中表现出色。该模型引入了新的思维能力，结合增强的基础模型和后期训练，支持更复杂的任务，旨在为开发者和企业提供强大的支持。Gemini 2.5 Pro 可在 Google AI Studio 和 Gemini 应用中使用，适合需要高级推理和编码能力的用户。

通过强化学习驱动的金融推理大模型。

Fin-R1 是一个专为金融领域设计的大型语言模型，旨在提升金融推理能力。由上海财经大学和财跃星辰联合研发，基于 Qwen2.5-7B-Instruct 进行微调和强化学习，具有高效的金融推理能力，适用于银行、证券等核心金融场景。该模型免费开源，便于用户使用和改进。

业界首个超大规模混合 Mamba 推理模型，强推理能力。

混元T1 是腾讯推出的超大规模推理模型，基于强化学习技术，通过大量后训练显著提升推理能力。它在长文处理和上下文捕捉上表现突出，同时优化了计算资源的消耗，具备高效的推理能力。适用于各类推理任务，尤其在数学、逻辑推理等领域表现优异。该产品以深度学习为基础，结合实际反馈不断优化，适合科研、教育等多个领域的应用。