开放AI的GPT-OSS-120B和GPT-OSS-20B提供强大的推理能力,开发人员友好的功能,并采用Apache 2.0许可证,实现人工智能的民主化访问。
GPT OSS是OpenAI推出的开源语言模型,具有强大的推理能力和Apache 2.0许可。该模型具有高效性、安全性、API兼容性等特点,是未来开源语言模型的先驱。
构建具有下一代人工智能的平台,为创作者提供快速、可靠且未来准备就绪的解决方案。
Horizon Alpha是一款集成了下一代人工智能的平台,为现代创作者提供快速、可靠的解决方案。其主要优点在于引领人工智能技术发展,提供卓越的推理、编码和自然语言理解能力。该产品定位于企业级AI平台,并具有卓越的性能和灵活性。
GPT 5是下一代AI模型,提供卓越的编码、数学和推理性能。
GPT 5是AI发展的下一个里程碑,具有无与伦比的能力。其优点包括增强的推理能力、先进的问题解决能力和前所未有的理解能力。价格信息请参考官方网站。
Edgen是一个AI驱动的市场情报中心,将实时交易见解、社交信号和链上分析结合在一起,为交易者提供机构级别的清晰度。
Edgen是一个AI驱动的市场情报中心,结合实时交易见解、社交信号和链上分析,为交易者提供机构级别的清晰度。其AI交叉参考实时社交和链上数据,识别趋势在它们飙升之前。Edgen的Aura挖掘系统将影响力独特地与实时市场影响联系起来,奖励社区驱动的阿尔法,将参与转化为可量化的影响力。
Grok 4是xAI推出的革命性AI模型,具备先进的推理能力、多模态功能和专业编码特性。
Grok 4是xAI推出的最新版本大型语言模型,于2025年7月正式发布。它具有领先的自然语言、数学和推理能力,是顶级模型AI。Grok 4代表了巨大的进步,跳过了预期的Grok 3.5版本,以在激烈的AI竞争中加快进展。
TAIX是TOY生态系统中重新定义游戏体验的前沿人工智能基础设施。
TAIX是为Citizen Conflict、AneeMate和未来基于TOY的游戏设计的前沿人工智能基础设施,可帮助开发人员创建AI代理,并引入中央AI影响者,以提升玩家表现、观众参与度和区块链交互。
一个通用框架,用于在测试时调节大型推理模型的思维进度。
AlphaOne(α1)是一种调节大型推理模型(LRMs)在测试时思维进度的通用框架。通过引入 α 时刻和动态安排慢速思维转变,α1 实现了慢速到快速推理的灵活调节。这一方法统一并推广了现有的单调缩放方法,优化了推理能力与计算效率。该产品适用于需要处理复杂推理任务的科研人员和开发者。
全球最强的编程和推理模型,提升开发效率。
Claude 4 是 Anthropic 最新推出的 AI 模型系列,具备强大的编程和推理能力,能够高效处理复杂任务。其卓越的性能使其在编程基准测试中名列前茅,成为开发者的重要工具。Claude 4 通过多项新功能的引入,提升了信息处理的效率和准确性,适合需要高效编码和逻辑推理的用户。
DMind 是一个开源的 Web3 AGI 研究机构,致力于 AI 与 Web3 的交汇探索。
DMind-1 和 DMind-1-mini 是针对 Web3 任务的领域专用大型语言模型,提供比其他通用模型更高的领域准确性、指令跟随能力及专业理解。DMind-1 经过专家策划的 Web3 数据微调,并通过强化学习与人类反馈对齐,适合复杂指令和多轮对话,适用于区块链、DeFi 和智能合约等领域。DMind-1-mini 作为更轻量的版本,旨在满足实时和资源高效的应用场景,特别适合代理部署和链上工具。产品定价及具体信息需进一步确认。
一个旨在推动人工智能民主化的开源项目。
DeepSeek-Prover-V2-671B 是一个先进的人工智能模型,旨在提供强大的推理能力。它基于最新的技术,适用于多种应用场景。该模型是开源的,旨在促进人工智能技术的民主化与普及,降低技术壁垒,使更多开发者和研究者能够利用 AI 技术进行创新。通过使用该模型,用户可以提升他们的工作效率,推动各类项目的进展。
小米首个推理大模型MiMo开源,专为推理任务设计,性能卓越。
Xiaomi MiMo是小米公司开源的首个推理大模型,专为推理任务设计,具备卓越的数学推理和代码生成能力。该模型在数学推理(AIME 24-25)和代码竞赛(LiveCodeBench v5)公开测评集上表现出色,仅用7B的参数规模就超越了OpenAI的o1-mini和阿里Qwen的QwQ-32B-Preview等更大规模的模型。MiMo通过预训练和后训练阶段的多层面创新,包括数据挖掘、训练策略和强化学习算法等,显著提升了推理能力。该模型的开源为研究人员和开发者提供了强大的工具,推动了人工智能在推理领域的进一步发展。
LockChain提供安全的数字身份验证和基于区块链的身份验证,确保您的内容和身份安全。
LockChain利用先进的数字身份验证确保您的数字内容和身份安全。采用区块链技术创建可验证的QR码,保护您的品牌,并通过确保内容真实性和防篡改来建立与受众的信任。
智元机器人发布的具身智能一站式开发平台,覆盖数据采集到模型推理全链路
Genie Studio 是智元机器人专为具身智能场景打造的一站式开发平台,具备数据采集、模型训练、仿真评测、模型推理的全链路产品能力。它为开发者提供从‘采’到‘训’到‘测’再到‘推’的标准化解决方案,极大地降低了开发门槛,提升了开发效率。该平台通过高效的数据采集、灵活的模型训练、精准的仿真评测和无缝的模型推理,推动了具身智能技术的快速发展和应用。Genie Studio 不仅提供了强大的工具,还为具身智能的规模化落地提供了支持,加速了行业向标准化、平台化、量产化的新阶段跃进。
利用强化学习提升扩散大语言模型的推理能力。
该模型通过强化学习和高质量推理轨迹的掩蔽自监督微调,实现了对扩散大语言模型的推理能力的提升。此技术的重要性在于它能够优化模型的推理过程,减少计算成本,同时保证学习动态的稳定性。适合希望在写作和推理任务中提升效率的用户。
一份综合性的 MCP 基础 AI 工具安全检查清单。
MCP 安全检查表是由 SlowMist 团队编制和维护的,旨在帮助开发者识别和减轻 MCP 实施过程中的安全风险。随着基于 MCP 标准的 AI 工具迅速发展,安全问题愈发重要。该检查表提供了详尽的安全指导,涵盖 MCP 服务器、客户端及多种场景的安全需求,以保护用户隐私并提升整体系统的稳定性和可控性。
通过生成推理扩大过程奖励模型的测试时间计算。
GenPRM 是一种新兴的过程奖励模型(PRM),通过生成推理来提高在测试时的计算效率。这项技术能够在处理复杂任务时提供更准确的奖励评估,适用于多种机器学习和人工智能领域的应用。其主要优点是能够在资源有限的情况下优化模型性能,并在实际应用中降低计算成本。
昆仑万维开源的高性能数学代码推理模型,性能卓越
Skywork-OR1是由昆仑万维天工团队开发的高性能数学代码推理模型。该模型系列在同等参数规模下实现了业界领先的推理性能,突破了大模型在逻辑理解与复杂任务求解方面的能力瓶颈。Skywork-OR1系列包括Skywork-OR1-Math-7B、Skywork-OR1-7B-Preview和Skywork-OR1-32B-Preview三款模型,分别聚焦数学推理、通用推理和高性能推理任务。此次开源不仅涵盖模型权重,还全面开放了训练数据集和完整训练代码,所有资源均已上传至GitHub和Huggingface平台,为AI社区提供了完全可复现的实践参考。这种全方位的开源策略有助于推动整个AI社区在推理能力研究上的共同进步。
一款高效的推理与聊天大语言模型。
Llama-3.1-Nemotron-Ultra-253B-v1 是一个基于 Llama-3.1-405B-Instruct 的大型语言模型,经过多阶段的后训练以提升推理和聊天能力。该模型支持高达 128K 的上下文长度,具备较好的准确性和效率平衡,适用于商业用途,旨在为开发者提供强大的 AI 助手功能。
全新多模态推理模型,支持图文输入、文字输出,具备高精度图像感知与复杂推理能力。
Step-R1-V-Mini是阶跃星辰推出的全新多模态推理模型,支持图文输入和文字输出,具备良好的指令遵循和通用能力。该模型在多模态协同场景下的推理表现上进行了技术优化,采用了多模态联合强化学习和充分利用多模态合成数据的训练方法,有效提升了模型在图像空间的复杂链路处理能力。Step-R1-V-Mini在多个公开榜单中表现亮眼,特别是在MathVision视觉推理榜单上位列国内第一,展现了其在视觉推理、数学逻辑和代码等方面的优异表现。该模型已正式上线阶跃AI网页端,并在阶跃星辰开放平台提供API接口,供开发者和研究人员体验和使用。
© 2025 AIbase 备案号:闽ICP备08105208号-14