产品库

非技术测试人员的自动化浏览器测试平台

Magic Inspector是一个专为非技术测试人员设计的自动化浏览器测试平台。它利用人工智能技术来提前发现潜在的错误，并通过自然语言控制浏览器，实现无需编程知识的自动化测试。此外，它还支持测试套件的定时运行、测试失败通知、内置变量和秘密信息配置，以及与多种通讯工具的集成。它还提供了每个测试运行的视频录制，以便用户可以详细查看测试过程中发生的情况。

简化和增强 Playwright 测试的 AI 助手

ZeroStep 是一个基于人工智能的测试工具，通过集成 GPT3.5 和 GPT4 技术，使 Playwright 测试更简单和更具适应性。它使用自然语言指令来脚本复杂的交互和断言，减少对选择器的依赖，使测试更具弹性。ZeroStep 可以直接集成到 Playwright 中，无需改变开发流程。

腾讯开源的大型视频生成模型训练框架

HunyuanVideo是腾讯开源的一个系统性框架，用于训练大型视频生成模型。该框架通过采用数据策划、图像-视频联合模型训练和高效的基础设施等关键技术，成功训练了一个超过130亿参数的视频生成模型，是所有开源模型中最大的。HunyuanVideo在视觉质量、运动多样性、文本-视频对齐和生成稳定性方面表现出色，超越了包括Runway Gen-3、Luma 1.6在内的多个行业领先模型。通过开源代码和模型权重，HunyuanVideo旨在缩小闭源和开源视频生成模型之间的差距，推动视频生成生态系统的活跃发展。

将你的食材瞬间变成食谱

EasyChef是一款利用人工智能技术，根据用户家中已有的食材推荐定制化食谱的应用程序。它通过分析用户输入的食材，智能推荐符合个人口味和烹饪条件的食谱，帮助用户减少食物浪费，节省时间和金钱。EasyChef以其用户友好的界面和个性化服务，在全球范围内受到560多个家庭厨师的欢迎。该应用提供全球各式美食选项，从墨西哥菜到印度菜，满足不同用户的国际美食需求。同时，EasyChef还提供定制饮食食谱，包括无麸质和原始人饮食等，以及根据用户厨房设备（如微波炉、烤箱）定制的餐计划。EasyChef的订阅费用为每月2.99欧元或年度订阅29.99欧元，为用户提供经济实惠的持续服务。

全球合作训练的10B参数语言模型聊天工具

INTELLECT-1 Chat是一个由全球合作训练的10B参数语言模型驱动的聊天工具。它代表了人工智能领域中大规模语言模型的最新进展，通过分散式训练，提高了模型的多样性和适应性。这种技术的主要优点包括能够理解和生成自然语言，提供流畅的对话体验，并且能够处理大量的语言数据。产品背景信息显示，这是一个首次展示分散式训练可能性的演示，易于使用且富有趣味性。价格方面，页面提供了登录以保存和重访聊天的功能，暗示了可能的付费或会员服务模式。

高性能英文语言模型，适用于多样化任务

OLMo-2-1124-13B-DPO是经过监督微调和DPO训练的13B参数大型语言模型，主要针对英文，旨在提供在聊天、数学、GSM8K和IFEval等多种任务上的卓越性能。该模型是OLMo系列的一部分，旨在推动语言模型的科学研究。模型训练基于Dolma数据集，并公开代码、检查点、日志和训练细节。

从单张图片重建逼真的3D人体模型

PSHuman是一个创新的框架，它利用多视图扩散模型和显式重构技术，从单张图片中重建出逼真的3D人体模型。这项技术的重要性在于它能够处理复杂的自遮挡问题，并且在生成的面部细节上避免了几何失真。PSHuman通过跨尺度扩散模型联合建模全局全身形状和局部面部特征，实现了细节丰富且保持身份特征的新视角生成。此外，PSHuman还通过SMPL-X等参数化模型提供的身体先验，增强了不同人体姿态下的跨视图身体形状一致性。PSHuman的主要优点包括几何细节丰富、纹理保真度高以及泛化能力强。

基于大型语言模型的主动式代理，预测用户需求并主动提供帮助。

ProactiveAgent是一个基于大型语言模型（LLM）的主动式代理项目，旨在构建一个能够预测用户需求并主动提供帮助的智能代理。该项目通过数据收集和生成管道、自动评估器和训练代理来实现这一目标。ProactiveAgent的主要优点包括环境感知、协助标注、动态数据生成和构建管道，其奖励模型在测试集上达到了0.918的F1分数，显示出良好的性能。该产品背景信息显示，它适用于编程、写作和日常生活场景，并且遵循Apache License 2.0协议。

个性化面部年龄变换技术

MyTimeMachine是一个基于人工智能技术的面部年龄变换模型，它能够通过约50张个人自拍照片个性化地进行年龄回退（减龄）和年龄前进（增龄），在保持高保真度和身份特征的同时，生成与目标年龄相似的面部图像。这项技术在电影和电视特效等虚拟年龄应用领域具有重要价值，能够提供高质量的、身份保持一致的、时间上连贯的年龄效果。

SUSE AI是为GenAI工作负载设计的安全可靠的企业级部署和运行平台。

SUSE AI是一个为企业级部署和运行任何生成性人工智能（GenAI）工作负载而设计的安全可靠的平台。它提供了零信任安全和可观测性，作为一个集成解决方案，SUSE AI是一个灵活且模块化的平台，提供了可扩展性。SUSE AI让您控制自己的AI解决方案，赋予选择和主权。SUSE AI的价值基于三个基础支柱：选择、安全和信任。这个结构让企业可以选择最适合它们的AI模型和使用方式。SUSE AI提供了工具，帮助企业满足合规要求，简化了复杂的监管环境。SUSE AI不仅是满足当前需求，更是为未来的AI投资提供保障。它是一个开放的企业AI基础设施平台，让您可以选择轻松集成新兴技术和模型。

科学文献综合检索增强型语言模型

Ai2 OpenScholar是由艾伦人工智能研究所与华盛顿大学合作开发的检索增强型语言模型，旨在帮助科学家通过检索相关文献并基于这些文献生成回答来有效导航和综合科学文献。该模型在多个科学领域中表现出色，特别是在引用准确性和事实性方面。它代表了人工智能在科学研究中应用的重要进步，能够加速科学发现并提高研究效率。

多功能大规模扩散模型，支持双向图像合成与理解。

OneDiffusion是一个多功能、大规模的扩散模型，它能够无缝支持双向图像合成和理解，覆盖多种任务。该模型预计将在12月初发布代码和检查点。OneDiffusion的重要性在于其能够处理图像合成和理解任务，这在人工智能领域是一个重要的进步，尤其是在图像生成和识别方面。产品背景信息显示，这是一个由多位研究人员共同开发的项目，其研究成果已在arXiv上发表。

文本图像到视频生成模型

Allegro-TI2V是一个文本图像到视频生成模型，它能够根据用户提供的提示和图像生成视频内容。该模型以其开源性、多样化的内容创作能力、高质量的输出、小巧高效的模型参数以及支持多种精度和GPU内存优化而受到关注。它代表了当前人工智能技术在视频生成领域的前沿进展，具有重要的技术价值和商业应用潜力。Allegro-TI2V模型在Hugging Face平台上提供，遵循Apache 2.0开源协议，用户可以免费下载和使用。

智能生成爆款视频，提升内容吸引力

AI爆款视频是一款利用人工智能技术，帮助用户添加任意素材，智能生成具有吸引力的视频内容的产品。它通过分析流行趋势和用户偏好，自动生成视频，提高视频的传播力和观看率。产品背景信息显示，随着短视频平台的兴起，视频内容的制作和传播变得越来越重要，AI爆款视频正是为了满足这一市场需求而诞生的。产品的主要优点包括智能化生成、高效率和低成本，适合各类视频内容创作者和营销人员。目前产品提供免费试用，具体价格根据用户需求定制。

最先进的全开放语言模型

OLMo 2是由Ai2推出的最新全开放语言模型，包括7B和13B两种规模的模型，训练数据高达5T tokens。这些模型在性能上与同等规模的全开放模型相当或更优，并且在英语学术基准测试中与开放权重模型如Llama 3.1竞争。OLMo 2的开发注重模型训练的稳定性、阶段性训练干预、最先进的后训练方法和可操作的评估框架。这些技术的应用使得OLMo 2在多个任务上表现出色，特别是在知识回忆、常识、一般和数学推理方面。

视频生成模型Sora的存档库

SoraVids是一个基于Hugging Face平台的视频生成模型Sora的存档库。它包含了87个视频和83个对应的提示，这些视频和提示在OpenAI撤销API密钥前被公开展示。这些视频均为MIME类型video/mp4，帧率为30 FPS。SoraVids的背景是OpenAI的视频生成技术，它允许用户通过文本提示生成视频内容。这个存档库的重要性在于它保存了在API密钥被撤销前生成的视频，为研究和教育提供了宝贵的资源。

智能律师办案平台

律呗是一个专为法律专业人士设计的智能办案平台，它通过结合人工智能、大数据、云计算和互联网技术，提供法律检索、案例分析、文书生成等服务。该平台能够快速提升案件分析能力，帮助律师高效处理法律事务，是法律行业数字化转型的重要工具。律呗以其直观的法律检索、快速案情分析报告制作、拍照录音提取文字等功能，满足了律师在案件处理中的多样化需求。

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

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

无需编码的跨浏览器自动化测试工具

Autoflow是一个为现代QA设计的跨浏览器自动化测试工具，它允许用户无需编码即可进行复杂的测试流程。该工具以其快速、高效的测试能力，帮助开发者、QA和产品经理加速测试周期，提高产品质量，同时减少测试成本和时间。Autoflow以其易用性、灵活性和强大的功能，成为测试领域的重要工具。

使用Anthropic API进行Playwright测试的AI工具

playwright-ai是一个集成了Anthropic的AI能力的Playwright测试插件。它允许开发者使用自然语言描述测试步骤，通过AI来执行复杂的测试任务，提高了测试的效率和准确性。该技术的主要优点包括简化测试流程、减少重复代码和提高测试覆盖率。产品背景是基于Playwright测试框架和Anthropic的AI技术，适用于需要进行自动化测试的软件开发项目。目前该项目是开源的，因此对于开发者来说是免费的。

先进的指令遵循模型，提供开源数据和代码。

Llama-3.1-Tulu-3-8B是Tülu3指令遵循模型家族的一部分，专为多样化任务设计，包括聊天、数学问题解答、GSM8K和IFEval等。这个模型家族以其卓越的性能和完全开源的数据、代码以及现代后训练技术的全面指南而著称。模型主要使用英文，并且是基于allenai/Llama-3.1-Tulu-3-8B-DPO模型微调而来。

基于DiT的视频生成模型，实时生成高质量视频。

LTX-Video是由Lightricks开发的首个基于DiT的视频生成模型，能够实时生成高质量的视频内容。该模型以24 FPS的速度生成768x512分辨率的视频，速度超过观看速度。模型经过大规模多样化视频数据集的训练，能够生成高分辨率且内容真实多样的视频。LTX-Video支持文本到视频(text-to-video)以及图像+文本到视频(image+text-to-video)的应用场景。

先进的文本到图像模型工具套件

FLUX.1 Tools是Black Forest Labs推出的一套模型工具，旨在为基于文本的图像生成模型FLUX.1增加控制和可操作性，使得对真实和生成的图像进行修改和再创造成为可能。该工具套件包含四个不同的特性，以开放访问模型的形式在FLUX.1 [dev]模型系列中提供，并作为BFL API的补充，支持FLUX.1 [pro]。FLUX.1 Tools的主要优点包括先进的图像修复和扩展能力、结构化引导、图像变化和重构等，这些功能对于图像编辑和创作领域具有重要意义。

AI-based decoder for quantum computing error correction

AlphaQubit是由Google DeepMind和Quantum AI团队共同开发的人工智能系统，它能够以最先进的准确性识别量子计算机中的错误。这项技术结合了机器学习和量子纠错的专业知识，旨在推动可靠量子计算机的构建，这对于解决复杂问题、实现科学突破和探索新领域具有重要意义。AlphaQubit的主要优点包括高准确性和对大规模量子计算的适用性。

视觉语言模型，能够进行逐步推理

LLaVA-o1是北京大学元组团队开发的一个视觉语言模型，它能够进行自发的、系统的推理，类似于GPT-o1。该模型在六个具有挑战性的多模态基准测试中超越了其他模型，包括Gemini-1.5-pro、GPT-4o-mini和Llama-3.2-90B-Vision-Instruct。LLaVA-o1通过逐步推理解决问题，展示了其在视觉语言模型中的独特优势。

Sandra AI，专为汽车分销设计的智能语音代理。

Sandra AI是一个智能语音代理，专为汽车分销行业设计，提供全天候的电话接听服务，帮助经销商不错过任何来电，提高客户满意度和业务机会。Sandra AI具有深厚的行业知识，能够像真正的专家一样与客户交流，并且能够无缝集成到经销商的软件中，实现快速、平滑的部署。产品背景信息显示，Sandra AI致力于通过人工智能技术优化客户服务，让经销商能够专注于核心业务，同时提升团队的工作效率。

构建最节能的人工智能硬件

Rain AI专注于开发高能效的人工智能硬件。在当前能源消耗日益增长的背景下，Rain AI的产品通过优化硬件设计，减少能源消耗，同时保持高性能，这对于数据中心和需要大量计算资源的企业来说至关重要。产品的主要优点包括高能效、高性能和环保。Rain AI的产品背景信息显示，公司致力于推动人工智能技术的可持续发展，通过技术创新减少对环境的影响。产品的价格和定位尚未明确，但可以推测其目标市场为需要高性能计算且对能源效率有高要求的企业。

AI驱动的安全工程师，发现并修复代码库中的漏洞

Gecko Security是一个AI驱动的安全工程师，旨在发现并修复代码库中的漏洞。它通过自动化黑客直觉，构建下一代安全工具，使寻找0-day漏洞成为可能。Gecko Security通过在安全沙箱中验证发现，减少误报，测试代码像黑客一样，发现其他工具可能遗漏的逻辑漏洞，并集成到开发环境中，实时捕捉新出现的漏洞。产品背景信息显示，Gecko Security由一支有安全经验的团队开发，致力于提高代码安全性，同时不减缓开发速度。价格方面，Gecko Security提供免费的Open Beta版本，以及针对企业客户的定制计划。

Qwen Turbo 1M Demo是一个由Qwen提供的Hugging Face空间。

Qwen Turbo 1M Demo是一个基于Hugging Face平台的人工智能模型演示。这个模型代表了自然语言处理技术的最新进展，特别是在中文文本理解和生成方面。它的重要性在于能够提供高效、准确的语言模型，以支持各种语言相关的应用，如机器翻译、文本摘要、问答系统等。Qwen Turbo 1M Demo以其较小的模型尺寸和快速的处理速度而受到青睐，适合需要快速部署和高效运行的场合。目前，该模型是免费试用的，具体价格和定位可能需要进一步的商业洽谈。

快速将设计转换为代码的低代码平台

Locofy.ai是一个利用人工智能技术，将设计文件（如Figma和Adobe XD）快速转换为前端代码的低代码平台。它通过大型设计模型（Large Design Models）技术，训练于数百万的设计和产品，结合多模态和启发式模型，实现设计到代码的高效转换。这一技术的重要性在于它极大地提高了前端开发的效率，减少了重复劳动，让开发者能够专注于更复杂的创造性工作。Locofy.ai支持多种框架和库，如React、React Native、HTML/CSS、Next.js、Angular、Gatsby、Vue等，并且提供了插件直接从设计工具开始工作。它的价格策略包括付费计划，并提供LDM以激励用户。