产品库

人工智能入门教程网站，提供全面的机器学习与深度学习知识。

该网站由作者从 2015 年开始学习机器学习和深度学习,整理并编写的一系列实战教程。涵盖监督学习、无监督学习、深度学习等多个领域,既有理论推导,又有代码实现,旨在帮助初学者全面掌握人工智能的基础知识和实践技能。网站拥有独立域名,内容持续更新,欢迎大家关注和学习。

推动人工智能安全治理，促进技术健康发展

《人工智能安全治理框架》1.0版是由全国网络安全标准化技术委员会发布的技术指南，旨在鼓励人工智能创新发展的同时，有效防范和化解人工智能安全风险。该框架提出了包容审慎、确保安全，风险导向、敏捷治理，技管结合、协同应对，开放合作、共治共享等原则。它结合人工智能技术特性，分析风险来源和表现形式，针对模型算法安全、数据安全和系统安全等内生安全风险，以及网络域、现实域、认知域、伦理域等应用安全风险，提出了相应的技术应对和综合防治措施。

智能编码助手，提升开发效率

通义灵码是一款专为开发者设计的智能编码助手，支持多种开发环境，包括JetBrains IDEs、Visual Studio Code、Visual Studio等。它通过集成先进的AI技术，帮助开发者快速完成编码任务，提高编码效率和质量，适用于各种编程语言和开发场景。

GPT 5是下一代AI模型，提供卓越的编码、数学和推理性能。

GPT 5是AI发展的下一个里程碑，具有无与伦比的能力。其优点包括增强的推理能力、先进的问题解决能力和前所未有的理解能力。价格信息请参考官方网站。

Grok 4是xAI推出的革命性AI模型，具备先进的推理能力、多模态功能和专业编码特性。

Grok 4是xAI推出的最新版本大型语言模型，于2025年7月正式发布。它具有领先的自然语言、数学和推理能力，是顶级模型AI。Grok 4代表了巨大的进步，跳过了预期的Grok 3.5版本，以在激烈的AI竞争中加快进展。

京东自主研发的人工智能开放平台

京东人工智能开放平台NeuHub,汇聚京东自主研发的人工智能核心技术,包含语音、图像、视频、NLP等技术,通过平台向外开放,助力行业智能升级。平台还提供数据标注、模型开发、训练和发布等全流程服务,以及创新应用案例,帮助企业实现智能化转型。

无需编码，为您的网站增加生成式人工智能能力

AppGenius 是一个无需编码的解决方案，可为您的网站增加生成式人工智能能力。您可以完全自定义 UI 和提示，构建交互式内容，如计算器、推荐应用、知识库、互动调查等。使用 AppGenius，您可以将自己的数据与生成式人工智能相结合，定制化您的应用响应。通过嵌入 AppGenius 提供的应用程序，您可以在几分钟内将生成式人工智能应用程序嵌入到现有的网站上。此外，您还可以利用 AI 应用程序捕获合格的潜在客户，并为潜在客户提供有吸引力的 AI 内容。通过将生成式人工智能应用程序嵌入到您的现有网站中，让您的客户可以在您的网站上与 AI 应用程序进行互动，推荐产品、提供咨询建议以及教育客户。

OLAMI是一个人工智能开放平台

OLAMI是一个提供云端API、管理界面、多元机器感知解决方案的人工智能软件开发平台。OLAMI平台具有语音识别、自然语言理解、对话管理、语音合成等语音AI技术,以及图像识别、语义理解等视觉AI技术,可以轻松地为产品加入人工智能,提升用户体验。

提供AI和机器学习课程

Udacity人工智能学院提供包括深度学习、计算机视觉、自然语言处理和AI产品管理在内的AI培训和机器学习课程。这些课程旨在帮助学生掌握人工智能领域的最新技术，为未来的职业生涯打下坚实的基础。

绘图，问答，图片处理一站式 AI 服务

小门道 AI 是一个提供 AI 服务的网站，包括 Midjourney 和 Stable Diffusion 绘图，chatgpt 对话，抠图，去除水印，魔法抹除，图片变清，无损放大等功能。我们提供智能问答功能，可联网搜索，任务式 (基于 AutoGPT)，学术助理，上传文件，数学解题等。同时，我们还提供抠图、放大变清、转矢量图、人脸融合等图片处理功能。产品定价根据具体功能和使用情况而定，定位于提供高质量的 AI 服务。

上海人工智能实验室开发的强推理AI模型

InternThinker是上海人工智能实验室（上海AI实验室）研发的一款强推理AI模型，致力于通过“通专融合”路径探索开放、可控、可信的通用人工智能（AGI）。该模型具备长思维能力，并能在推理过程中进行自我反思和纠正，从而在数学、代码、推理谜题等多种复杂推理任务上取得更优结果。InternThinker的创新之处在于其元动作思考能力，能够自主生成高智力密度数据，并通过大规模沙盒环境获取反馈，实现高质量思维链的独立构建，大幅提升模型的复杂任务处理性能。

增强LLM推理能力的ReFT

ReFT是一种增强大型语言模型（LLMs）推理能力的简单而有效的方法。它首先通过监督微调（SFT）对模型进行预热，然后使用在线强化学习，具体来说是本文中的PPO算法，进一步微调模型。ReFT通过自动对给定问题进行大量推理路径的采样，并从真实答案中自然地得出奖励，从而显著优于SFT。ReFT的性能可能通过结合推理时策略（如多数投票和重新排名）进一步提升。需要注意的是，ReFT通过学习与SFT相同的训练问题而获得改进，而无需依赖额外或增强的训练问题。这表明ReFT具有更强的泛化能力。

提高开发效率的人工智能编码工具

CodeUtils是一个人工智能编码工具，可以帮助开发者提高开发效率。它可以生成单元测试、解释代码、重构代码、编写代码、文档化代码和调试代码。无论是在JavaScript、TypeScript、Kotlin、Java、PHP、Go、Python、C#、C++、Scala、Rust、Dart还是Solidity等语言中，都可以使用CodeUtils。它还可以将代码翻译成其他语言。

人工智能通用推理测试集

ARC-AGI是一个旨在测试人工智能系统是否具备类似人类一般流体智力的抽象和推理能力的数据集。它由400个训练任务和400个评估任务组成，每个任务都以JSON格式存储，包括输入输出对。该数据集可以作为人工智能基准测试、程序合成基准测试或心理测量智力测试。

123B参数的大型语言模型，具备先进推理和编码能力。

Mistral-Large-Instruct-2411是由Mistral AI提供的一款具有123B参数的大型语言模型，它在推理、知识、编码等方面具有最先进的能力。该模型支持多种语言，并在80多种编程语言上进行了训练，包括但不限于Python、Java、C、C++等。它以代理为中心，具备原生函数调用和JSON输出能力，是进行科研和开发的理想选择。

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

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

快速准确 稳定可靠的人工智能翻译平台

讯飞智能翻译是一款快速准确、稳定可靠的人工智能翻译平台。支持文档翻译、文本翻译、语音翻译和图片翻译等多种功能。通过23种文档格式的支持，保留原版格式样式和排版，支持文档内图片翻译。覆盖140种语种互译，支持源语言语种自动检测，实现快速翻译。结合讯飞先进的语音识别和翻译技术，满足跨语言的沟通交流。输入图片，即可快速识别图片中的文本内容，进行翻译。提供SaaS、私有化部署和API接口等多种解决方案，满足不同企业的需求。

Mistral Large是Mistral AI的旗舰模型，具有顶级推理能力。

Mistral Large是Mistral AI团队最新推出的旗舰语言模型，具有顶级推理能力。它可用于复杂的多语言推理任务，包括文本理解、转换和代码生成。该模型在常用基准测试中取得了强大的成绩，是继GPT-4之后全球第二大可通过API进行使用的模型。

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

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

人工智能，简化。

Adfinite AI是一款人工智能产品，提供最先进的模型，无需订阅。没有长期合约或订阅费用，只需按使用量付费。新用户可以免费获得5个积分进行测试，无需信用卡或充值。每条消息收费10美分。目前有特别推出的促销活动，充值20美元或更多即可额外获得5美元的积分。如果遇到问题或有功能请求，请联系我们。

人工智能+人类商业智能

Profit Leap利用首席执行官和首席财务官的专业知识结合AI咨询和定制仪表板，为小企业主提供最佳支持。我们的方法使企业家能够摆脱日常运营，开始做出基于数据的决策。

一个旨在推动人工智能民主化的开源项目。

DeepSeek-Prover-V2-671B 是一个先进的人工智能模型，旨在提供强大的推理能力。它基于最新的技术，适用于多种应用场景。该模型是开源的，旨在促进人工智能技术的民主化与普及，降低技术壁垒，使更多开发者和研究者能够利用 AI 技术进行创新。通过使用该模型，用户可以提升他们的工作效率，推动各类项目的进展。

集成了通用和编程能力的人工智能模型

DeepSeek-V2.5 是一个升级版本，结合了 DeepSeek-V2-Chat 和 DeepSeek-Coder-V2-Instruct 的功能。这个新模型整合了两个先前版本的通用和编程能力，更好地符合人类的偏好，并在写作和指令遵循等多个方面进行了优化。

发现人工智能的未来

Mango AI是一个精选的人工智能网站集合，提供超过3000个人工智能相关网站。探索人工智能领域的最新进展、创新和资源，尽在一处。加入我们，踏上人工智能的精彩旅程。

人工智能（AI）工具平台

探形是行业领先的人工智能（AI）工具平台，提供 AI 对话、AI 绘画、AI 数字人等产品。致力于让机器与人更好的互动，最终目标是让我们把工作交给人工智能而享受更美好的生活。产品定位于为用户提供智能化、高效的工具平台，以满足用户在对话、绘画、数字人等方面的需求。

人工智能配方-魔术

Personal Chef.AI是一款革命性的应用程序，利用人工智能改变您的厨房体验。通过Personal Chef.AI，您可以简化餐饮计划、探索世界各地的菜肴、获得详细的食谱建议等。其主要功能包括成分识别、个性化食谱建议、详细食谱、多语言支持、隐私保护等。该产品定位于提供便捷、个性化的烹饪体验，并且在未来将推出更多的功能来满足用户需求。

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

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

通过自博弈相互推理，提升小型语言模型的解决问题能力。

rStar是一个自我博弈相互推理方法，它通过将推理过程分解为解决方案生成和相互验证，显著提升了小型语言模型（SLMs）的推理能力，无需微调或使用更高级的模型。rStar通过蒙特卡洛树搜索（MCTS）和人类推理动作的结合，构建更高质量的推理轨迹，并通过另一个类似能力的SLM作为鉴别器来验证这些轨迹的正确性。这种方法在多个SLMs上进行了广泛的实验，证明了其在解决多样化推理问题方面的有效性。