Amazon Nova 是新一代基础模型，具备前沿智能和行业领先的性价比。通过自然语言提示生成文本、代码和图像。

提供 61 个替代方案

SWI-Prolog 提供了一个完整的自由软件 Prolog 环境，用于进行逻辑推理的软件编程。结合其图形工具包 XPCE，该开发始于1987年，并始终围绕实际应用需求推进。

提供 1 个替代方案

OpenCyc 是 Cyc 技术的简化开放版本，Cyc 是世界上最大、最完整的通用知识库和常识推理引擎。Cyc 的开发公司 Cycorp 已成立了一个独立组织，即 OpenCyc。

提供 3 个替代方案

一款原生macOS应用程序，允许用户与本地大语言模型聊天，无需安装其他软件即可从Mac上的文件、文件夹和网站获取信息。

提供 28 个替代方案

AI Suite 是您的一体化离线利器，将完整的本地 AI 功能带到了您的 Windows 桌面。

SHL准备提供免费的全面练习测试、专家策略和深入指导，帮助您在数字、语言和归纳推理测试中取得成功。

MiniMax-M1 是世界上首个开源的大规模混合注意力推理模型。在复杂、注重生产力的场景中，M1 的能力在开源模型中处于顶尖水平，超越了国内闭源模型，接近国际领先水平……