产品库

一个通用框架，用于在测试时调节大型推理模型的思维进度。

AlphaOne（α1）是一种调节大型推理模型（LRMs）在测试时思维进度的通用框架。通过引入 α 时刻和动态安排慢速思维转变，α1 实现了慢速到快速推理的灵活调节。这一方法统一并推广了现有的单调缩放方法，优化了推理能力与计算效率。该产品适用于需要处理复杂推理任务的科研人员和开发者。

ODYSSEA是一款帮助用户了解自己生活的应用程序。

ODYSSEA是一款旨在帮助用户更好地了解自己生活的应用程序。通过科学技术，ODYSSEA提供个性化的分析和建议，让用户更好地理解自己的生活方式和健康状况。

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

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

合作与Accurment，您的AI营销合作战略家，提供基于科学的洞察力。通过已证实的，研究支持的解决方案，改变您的策略，实现卓越的结果。

Accurment是一家AI营销合作战略家，利用科学为客户提供洞察力和解决方案。其主要优点包括基于研究的解决方案、数据驱动的策略和实时市场洞察。

一个用于 PDF 科学论文翻译和双语对比的库。

BabelDOC 是一款旨在简化文档翻译的工具，特别是 PDF 文件。它不仅提供了命令行界面，还支持 Python API，并允许用户进行自我部署。该产品的主要优点在于其支持高达 1000 页的免费在线翻译服务，并具有良好的兼容性和扩展性。BabelDOC 旨在成为各种程序的嵌入式翻译解决方案，适用于学术研究、商业文件翻译等多个场景。

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

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

Pruna 是一个模型优化框架，帮助开发者快速高效交付模型。

Pruna 是一个为开发者设计的模型优化框架，通过一系列压缩算法，如量化、修剪和编译等技术，使得机器学习模型在推理时更快、体积更小且计算成本更低。产品适用于多种模型类型，包括 LLMs、视觉转换器等，且支持 Linux、MacOS 和 Windows 等多个平台。Pruna 还提供了企业版 Pruna Pro，解锁更多高级优化功能和优先支持，助力用户在实际应用中提高效率。

为Firefox浏览器翻译功能优化的CPU加速神经机器翻译模型。

Firefox Translations Models 是由Mozilla开发的一组CPU优化的神经机器翻译模型，专为Firefox浏览器的翻译功能设计。该模型通过高效的CPU加速技术，提供快速且准确的翻译服务，支持多种语言对。其主要优点包括高性能、低延迟和对多种语言的支持。该模型是Firefox浏览器翻译功能的核心技术，为用户提供无缝的网页翻译体验。

AgentSociety是一个基于LLM驱动的智能体社会模拟框架，用于大规模社会行为研究。

AgentSociety是一个由清华大学FIB实验室开发的先进框架，旨在通过LLM驱动的智能体模拟人类行为和社会互动。它利用大型语言模型（LLM）的规划、记忆和推理能力，生成逼真的行为模式，并支持基于数据集、文本和规则的环境设计。该框架在社会科学研究、城市规划和教育领域具有重要意义，能够帮助研究者更好地理解人类行为和社会动态。

AI co-scientist 是一个基于 Gemini 2.0 的多智能体 AI 系统，旨在帮助科学家生成新的研究假设和实验方案，加速科学发现。

AI co-scientist 是谷歌研究团队开发的一款多智能体 AI 系统，旨在通过人工智能技术辅助科学研究。该系统基于 Gemini 2.0 构建，能够模拟科学方法的推理过程，生成新的研究假设和实验方案。它通过多智能体协作，利用生成、反思、排名、进化等多种机制，不断优化输出结果。AI co-scientist 的主要优点包括高效生成新颖的科学假设、强大的跨学科知识整合能力以及与科学家的协作能力。该系统目前处于研究阶段，通过与全球顶尖科研机构合作，验证其在生物医学等领域的应用潜力。

BioEmu 是一个用于可扩展模拟蛋白质平衡系综的生成式深度学习模型。

BioEmu 是微软开发的一种深度学习模型，用于模拟蛋白质的平衡系综。该技术通过生成式深度学习方法，能够高效地生成蛋白质的结构样本，帮助研究人员更好地理解蛋白质的动态行为和结构多样性。该模型的主要优点在于其可扩展性和高效性，能够处理复杂的生物分子系统。它适用于生物化学、结构生物学和药物设计等领域的研究，为科学家提供了一种强大的工具来探索蛋白质的动态特性。

OpenThinker-32B 是一款强大的开源推理模型，专为提升开放数据推理能力而设计。

OpenThinker-32B 是由 Open Thoughts 团队开发的一款开源推理模型。它通过扩展数据规模、验证推理路径和扩展模型大小来实现强大的推理能力。该模型在数学、代码和科学等推理基准测试中表现卓越，超越了现有的开放数据推理模型。其主要优点包括开源数据、高性能和可扩展性。该模型基于 Qwen2.5-32B-Instruct 进行微调，并在大规模数据集上训练，旨在为研究人员和开发者提供强大的推理工具。

大规模深度循环语言模型的预训练代码，支持在4096个AMD GPU上运行。

该产品是一个用于大规模深度循环语言模型的预训练代码库，基于Python开发。它在AMD GPU架构上进行了优化，能够在4096个AMD GPU上高效运行。该技术的核心优势在于其深度循环架构，能够有效提升模型的推理能力和效率。它主要用于研究和开发高性能的自然语言处理模型，特别是在需要大规模计算资源的场景中。该代码库开源且基于Apache-2.0许可证，适合学术研究和工业应用。

Google DeepMind推出的最先进的AI天气预报技术。

WeatherNext是Google DeepMind和Google Research开发的最新AI天气预报技术。它通过先进的AI模型提供快速、准确的天气预测，帮助应对极端天气事件，提升可再生能源的可靠性，并增强全球粮食安全。该技术免费提供给科学家和预报员，以加速全球天气预报的研究和应用。

Shimmer 是一个专为成人 ADHD 设计的个性化辅导平台，提供一对一视频辅导和科学支持。

Shimmer 是一款针对成人 ADHD 的专业辅导平台，结合 AI 技术，由 ADHD 专家和辅导心理学家设计。它通过个性化的一对一视频辅导、手工打造的生产力工具和科学支持的学习模块，帮助用户构建理想的生活。该平台强调小步前进，逐步实现目标，同时提供持续的支持和资源，帮助用户更好地管理时间、提高优先级、增强决策能力等。Shimmer 的价格相对传统 ADHD 辅导更具竞争力，每月仅需 230 美元，首月享受 25% 的折扣。

Spell 是一个 AI 模型，可从图像生成 3D 世界，支持多种渲染技术。

Spell 是 Spline 推出的 AI 模型，能够从单张图像生成完整的 3D 场景。它基于扩散模型技术，通过结合真实数据和合成数据进行训练，能够在几分钟内生成具有多视图一致性的 3D 世界。该技术的主要优点是能够快速生成高质量的 3D 场景，并支持多种渲染技术如高斯绘制和神经辐射场等。Spell 的出现为 3D 设计领域带来了革命性的变化，使创作者能够更高效地生成和探索 3D 场景。目前，Spell 仍处于开发阶段，团队计划频繁更新模型以提升质量和一致性。

一个基于DeepSeek API的Manim动画生成工具，用于快速创建数学和科学动画。

DeepSeek-Manim-Animation-Generator是一个结合了DeepSeek语言模型和Manim动画引擎的工具。它允许用户通过简单的文本指令生成复杂的数学和科学动画。该工具的主要优点是能够将复杂的科学概念转化为直观的动画，极大地简化了动画制作流程。DeepSeek的API提供了强大的语言理解能力，而Manim则负责将这些概念转化为高质量的视觉内容。该工具主要面向教育工作者、学生以及任何需要将科学概念可视化的专业人士。它不仅提高了动画制作的效率，还降低了技术门槛，使得更多人能够轻松创建动画。

用于评估Windows PC或Apple Mac上AI推理引擎性能的基准测试工具。

Procyon AI Computer Vision Benchmark是由UL Solutions开发的一款专业基准测试工具，旨在帮助用户评估不同AI推理引擎在Windows PC或Apple Mac上的性能表现。该工具通过执行一系列基于常见机器视觉任务的测试，利用多种先进的神经网络模型，为工程团队提供独立、标准化的评估手段，以便他们了解AI推理引擎的实施质量和专用硬件的性能。产品支持多种主流的AI推理引擎，如NVIDIA® TensorRT™、Intel® OpenVINO™等，并可比较浮点和整数优化模型的性能。其主要优点包括易于安装和运行、无需复杂配置、可导出详细结果文件等。产品定位为专业用户，如硬件制造商、软件开发者和科研人员，以助力他们在AI领域的研发和优化工作。

一个AI驱动的数据科学团队，帮助用户更快地完成常见数据科学任务。

该产品是一个AI驱动的数据科学团队模型，旨在帮助用户以更快的速度完成数据科学任务。它通过一系列专业的数据科学代理（Agents），如数据清洗、特征工程、建模等，来自动化和加速数据科学工作流程。该产品的主要优点是能够显著提高数据科学工作的效率，减少人工干预，适用于需要快速处理和分析大量数据的企业和研究机构。产品目前处于Beta阶段，正在积极开发中，可能会有突破性变化。它采用MIT许可证，用户可以在GitHub上免费使用和贡献代码。

NeuralSVG：从文本提示生成矢量图形的隐式表示方法。

NeuralSVG是一种用于从文本提示生成矢量图形的隐式神经表示方法。它受到神经辐射场（NeRFs）的启发，将整个场景编码到一个小的多层感知器（MLP）网络的权重中，并使用分数蒸馏采样（SDS）进行优化。该方法通过引入基于dropout的正则化技术，鼓励生成的SVG具有分层结构，使每个形状在整体场景中具有独立的意义。此外，其神经表示还提供了推理时控制的优势，允许用户根据提供的输入动态调整生成的SVG，如颜色、宽高比等，且只需一个学习到的表示。通过广泛的定性和定量评估，NeuralSVG在生成结构化和灵活的SVG方面优于现有方法。该模型由特拉维夫大学和MIT CSAIL的研究人员共同开发，目前代码尚未公开。