谷歌为Earth平台集成Gemini大模型，用户可通过自然语言对话实现地理推理，如识别风暴威胁、分析干旱风险。该功能基于地理空间推理模型，整合天气预报、卫星图像和人口数据等AI能力，提升交互效率。
Google Earth AI升级集成Gemini模型，将静态地图转变为具备主动推理能力的“地球智能中枢”。用户通过自然语言提问，即可快速获取灾害风险分析等复杂地理信息，大幅提升科学家和应急团队的效率。
蚂蚁集团开源dInfer框架，专用于扩散大语言模型高效推理。该框架将推理速度提升10倍，在保持同等模型性能下超越传统自回归模型。自回归模型逐字生成文本速度受限，扩散模型通过去噪过程实现更高效推理，推动自然语言处理技术发展。
蚂蚁集团开源万亿参数推理大模型Ring-1T-preview，为全球首个开源万亿参数推理模型。预览版在自然语言推理表现突出，AIME25测试获92.6分，超越所有已知开源模型如Gemini2.5Pro，接近GPT-5的94.6分；CodeForces测试也成绩优异。
DeepSeek-R1-Distill-Qwen-1.5B 是一款高效推理的开源语言模型，适用于多种自然语言处理任务。
将自然语言描述转化为可执行的shell命令的本地推理命令行工具。
Openai
$2.8
Input tokens/M
$11.2
Output tokens/M
1k
Context Length
Xai
$1.4
$3.5
2k
$7.7
$30.8
200
-
Anthropic
$7
$35
Google
$2.1
$17.5
$21
$105
$0.7
Alibaba
$4
$16
$1
$10
256
$6
$24
$2
$20
Baidu
128
Moonshot
Bytedance
$0.8
32
noctrex
Aquif-3.5-Max-42B-A3B是一个420亿参数的大型语言模型，经过MXFP4_MOE量化处理，在保持高质量文本生成能力的同时优化了推理效率。该模型基于先进的混合专家架构，适用于多种自然语言处理任务。
GilbertAkham
这是一个基于DeepSeek-R1-Distill-Qwen-1.5B的多任务微调模型，通过LoRA适配器在多个数据集上进行训练，具备强大的多任务泛化和推理能力，能够处理广泛的自然语言和基于推理的任务。
dleemiller
FineCat-NLI Large是基于tasksource/ModernBERT-large-nli模型微调的自然语言推理模型，在高质量的FineCat-NLI数据集上训练，结合了多个优秀模型的优势，在NLI任务中表现出色，同时保持了ModernBERT架构的高效特性。
nightmedia
Huihui-gpt-oss-20b-mxfp4-abliterated-v2-qx86-hi-mlx是一个基于20B参数的大语言模型，采用量化技术优化，专门针对MLX框架进行格式转换。该模型通过高精度量化技术，在保持模型精度的同时显著提升推理效率，适用于多种自然语言处理任务。
mlx-community
这是Qwen3-4B-Thinking-2507模型的4位量化版本，专为MLX框架优化。原模型是Qwen团队开发的40亿参数大语言模型，具备思维链推理能力，支持多种自然语言处理任务。
cpatonn
Qwen3-30B-A3B-Thinking-2507-AWQ是基于Qwen3-30B-A3B-Thinking-2507模型进行AWQ量化处理后的版本。该模型在推理能力、通用能力和长上下文理解能力等方面有显著提升，支持256K上下文长度，可应用于多种自然语言处理任务。
NoemaResearch
Nous-V1 8B是由Apexion AI开发的80亿参数语言模型，基于Qwen3-8B架构构建。该模型专为处理各种自然语言处理任务而设计，在对话式AI、知识推理、代码生成和内容创作等方面表现出色，在模型能力和实际部署效率之间取得了良好平衡。
QuantTrio
基于DeepSeek-R1-0528-Qwen3-8B开发的量化版本模型，在推理能力、减少幻觉率等方面有显著提升，适用于多种自然语言处理任务。
unsloth
Cosmos-Reason1是NVIDIA开发的物理AI模型，能够理解物理常识并通过长链思维推理生成具身决策自然语言。
boltuix
NeuroBERT-Mini 是从 google/bert-base-uncased 衍生的轻量级自然语言处理模型，专为边缘和物联网设备的实时推理优化。
tiiuae
Falcon-H1是由tiiuae开发的一系列语言模型，采用创新的混合Transformer + Mamba架构，支持多语言处理，在推理、数学、代码生成等多种任务中表现出色，为自然语言处理提供了高效且强大的解决方案。
MaagDeveloper
支持100种语言的自然语言推理模型，适用于多语言零样本分类任务
Mungert
Phi-4-reasoning-plus GGUF是基于Phi-4微调的高性能推理模型，采用先进的量化技术，支持自然语言处理、数学推理和代码生成等多种任务。该模型在超低比特量化方面有显著创新，能在不同硬件条件下提供灵活部署方案。
lmstudio-community
基于microsoft/Phi-4-reasoning-plus模型转换的MLX 4bit量化版本，专为Apple Silicon优化，在自然语言处理、数学推理、代码生成和对话等多个领域具有高效性能
clouditera
全球首个网络安全开源大模型，专为网络安全场景打造，融合自然语言理解、代码生成、安全知识推理等核心能力。
patrickmlml
基于Mamba状态空间模型在COMP34812数据集上微调的二元自然语言推理分类器
wwwyyy
TimeZero是一种基于推理引导的大型视觉语言模型（LVLM），专为时间视频定位（TVG）任务设计，通过强化学习方法实现视频中与自然语言查询相对应的时序片段识别。
mjwong
基于facebook/drama-large在XNLI和ANLI数据集上微调的零样本分类模型，支持15种语言的自然语言推理任务。
该模型是基于Alibaba-NLP/gte-multilingual-base在XNLI和ANLI数据集上微调的版本，支持多语言自然语言推理任务。
该模型是基于Alibaba-NLP/gte-multilingual-base在XNLI数据集上微调的版本，支持多语言自然语言推理任务。
MCP逻辑求解器是一个结合大型语言模型与形式化定理证明能力的强大推理系统，支持自然语言和一阶逻辑输入，通过Prover9/Mace4进行自动验证，并提供结构化推理和解释。
IntelliGlow是一个基于MCP协议的智能照明系统，通过AI助手控制真实智能灯泡，支持语音命令、AI推理和直接硬件控制，实现自然语言交互和智能灯光管理。
IntelliGlow是一个基于MCP协议的AI智能照明控制系统，通过UDP网络直接控制真实智能灯泡，支持语音命令、AI推理和硬件控制，实现自然语言交互与智能家居的无缝对接。
Mlx%20--%3e%3cdefs%3e%3cstyle%3e%20.st0%20{%20fill:%20%23061b40;%20}%20.st1%20{%20fill:%20%23306af1;%20}%20.st2%20{%20fill:%20%235ce5cf;%20}%20%3c/style%3e%3c/defs%3e%3cg%3e%3cpath%20class='st0'%20d='M55,10.5h9v3h-9v9h12V7.5h-12v3ZM64,19.5h-6v-3h6v3Z'/%3e%3cpolygon%20class='st0'%20points='69%2016.5%2078%2016.5%2078%2019.5%2069%2019.5%2069%2022.5%2081%2022.5%2081%2013.5%2072%2013.5%2072%2010.5%2081%2010.5%2081%207.5%2069%207.5%2069%2016.5'/%3e%3cpolygon%20class='st0'%20points='95%2010.5%2095%207.5%2083%207.5%2083%2022.5%2095%2022.5%2095%2019.5%2086%2019.5%2086%2016.5%2095%2016.5%2095%2013.5%2086%2013.5%2086%2010.5%2095%2010.5'/%3e%3cpath%20class='st0'%20d='M40,1.5v21h11.6l1.4-1.4v-7.6h0c0,0-1.4-1.5-1.4-1.5l1.4-1.4V2.9l-1.4-1.4h-11.6ZM50,19.5h-7v-6h7v6ZM50,10.5h-7v-6h7v6Z'/%3e%3c/g%3e%3cpath%20class='st1'%20d='M23.1,24L14.7,4.8l-4.9,11.2h3.8l-1.8,4H3.3L12.1,0H2C.9,0,0,.9,0,2v20c0,1.1.9,2,2,2h21.1Z'/%3e%3cpath%20class='st2'%20d='M34,0h-16.8l10.6,24h6.2c1.1,0,2-.9,2-2V2C36,.9,35.1,0,34,0ZM32.5,20h-4V4h4v16Z'/%3e%3c/svg%3e)
