产品库

基于图的科学发现与知识提取

GraphReasoning是一个利用生成式人工智能技术将1000篇科学论文转化为知识图谱的项目。通过结构化分析，计算节点度、识别社区和连接性，评估聚类系数和关键节点的介数中心性，揭示了迷人的知识架构。该图谱具有无标度性质，高度互联，可用于图推理，利用传递性和同构性质揭示前所未有的跨学科关系，用于回答问题、识别知识空白、提出前所未有的材料设计和预测材料行为。

自动化科学研究的多智能体图推理系统。

SciAgentsDiscovery 是一个利用多智能体系统和大规模本体知识图谱，自动化科学研究的系统。它通过整合大型语言模型、数据检索工具和多智能体学习系统，能够自主生成和完善研究假设，揭示潜在的机制、设计原则和意外材料属性。该系统在生物启发材料领域展示了其跨学科关系的发现能力，超越了传统人类驱动的研究方法。

加速人类科学发现的人工智能

xAI是一家专注于构建人工智能以加速人类科学发现的公司。我们由埃隆·马斯克领导，他是特斯拉和SpaceX的CEO。我们的团队贡献了一些该领域最广泛使用的方法，包括Adam优化器、批量归一化、层归一化和对抗性示例的发现。我们进一步引入了Transformer-XL、Autoformalization、记忆变换器、批量大小缩放、μTransfer和SimCLR等创新技术和分析。我们参与并领导了AlphaStar、AlphaCode、Inception、Minerva、GPT-3.5和GPT-4等该领域一些最大的突破性发展。我们的团队由AI安全中心主任Dan Hendrycks提供咨询。我们与X公司紧密合作，将我们的技术带给超过5亿X应用用户。

结合文本提取、网络分析和大型语言模型提示与总结的端到端系统

GraphRAG (Graphs + Retrieval Augmented Generation) 是一种通过结合文本提取、网络分析以及大型语言模型（LLM）的提示和总结，来丰富理解文本数据集的技术。该技术即将在GitHub上开源，是微软研究项目的一部分，旨在通过先进的算法提升文本数据的处理和分析能力。

人工智能助手,帮助金融分析师提高工作效率

Finpilot是一个人工智能助手,专为金融分析师设计,可以帮助他们快速搜集和分析金融数据、编写报告以及进行数据可视化,大大提高工作效率。它可以自动化搜集和分析公开的财务数据,节省大量手动工作时间,同时提供可验证的信息来源,保证研究质量。用户只需与Finpilot聊天即可获得直接的答复和可靠的洞见,从而简化金融分析工作流程。

使用知识探索API通过自然语言输入实现对结构化数据的交互式搜索体验。

Project Knowledge Exploration是由Microsoft Research开发的一个用于结构化数据的交互式搜索API。它通过自然语言输入，解释用户的查询并返回相关的结果。该API支持自动完成查询、快速检索匹配对象的详细信息、使用属性直方图进行可视化和交互式的细分体验等功能。该产品可以广泛应用于各种场景，包括知识图谱、数据分析、智能搜索等。

智能语义，知识图谱，AI+内容创作

智搜AI是一款基于人工智能技术的内容创作工具，通过智能语义和知识图谱技术，帮助用户快速生成高质量的文章、PPT等内容，提高生产力。同时，智搜AI还提供多种解决方案，包括AI+媒体、AI+金融等，满足不同领域的需求。

智能搜索引擎和AI助手

Seek AI是一款智能搜索引擎和AI助手，利用先进的人工智能技术，为用户提供高效准确的搜索结果和智能助手功能。其主要功能包括：智能搜索、自然语言处理、知识图谱构建等。Seek AI的优势在于提供个性化的搜索结果，提高工作效率，节省时间。定价方面，Seek AI提供免费试用和付费套餐。它适用于个人和企业，能够满足不同用户的需求。

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

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的创新之处在于其元动作思考能力，能够自主生成高智力密度数据，并通过大规模沙盒环境获取反馈，实现高质量思维链的独立构建，大幅提升模型的复杂任务处理性能。

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

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致力于通过人工智能技术优化客户服务，让经销商能够专注于核心业务，同时提升团队的工作效率。