在Build2026大会上,微软发布首款高级推理模型MAI-Thinking-1,拥有350亿参数,在软件工程基准测试中达领先水平。该模型基于干净数据从零训练,未使用外部来源数据,标志着微软在自研AI及全场景矩阵构建上迈出关键一步。
2026年5月20日,OpenAI的推理模型成功推翻数学大师保罗·Erdős于1946年提出的“单位距离猜想”,解决了离散几何领域近80年的核心难题。与以往不同,该成果获学术界广泛认可,标志着AI从“检索”到“原创”的关键突破。
OpenAI最新推理模型成功推翻数学家保罗·Erdős在1946年提出的单位距离猜想,首次依靠自身长链推理能力自主攻克数学核心开放难题。这一里程碑式突破经专家独立验证,标志着人工智能从检索式解答迈入原创性证明阶段。
加拿大初创企业Cohere与德国初创企业Aleph Alpha达成200亿美元合作,共同开发“主权”人工智能系统,旨在建立不依赖美国和中国的人工智能架构,推进跨大西洋技术自主性。Cohere专注自然语言处理,Aleph Alpha擅长推理模型,双方将结合技术优势,加速AI自主发展。
NovaSky 是一个专注于代码生成和推理模型优化的人工智能技术平台。
基于LLaMA-3.1 8B的小型推理模型,实现透明可控的AI推理。
AI推理模型,解决复杂问题的新系列。
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
$105
$525
Google
$0.7
$7
$35
$2.1
$17.5
$21
Alibaba
$4
$16
$1
$10
256
$2
$20
Baidu
128
$6
$24
Bytedance
$1.2
$3.6
4
danielkty22
TARS-SFT-7B是一个基于监督微调的安全推理模型,作为强化学习训练的基础模型,专门设计用于增强AI系统的安全性。该模型从Qwen2.5-7B-Instruct开始训练,通过推理过程作为自适应防御机制来提升模型的安全性能。
Smilyai-labs
SmilyAI实验室开发的第二代推理模型,具有讽刺反派风格AI人格,采用结构化推理输出
unsloth
MAI-DS-R1 是 DeepSeek-R1 推理模型,经过微软 AI 团队的后续训练,以提升其在受限话题上的响应能力并优化其风险表现,同时保持其推理能力和竞争性能。
nvidia
基于Qwen2.5-14B微调的数学推理模型,在AIMO-2 Kaggle竞赛中获得第一名
microsoft
MAI-DS-R1是微软AI团队对DeepSeek-R1推理模型进行后训练的成果,旨在提升其对敏感话题的响应能力并优化风险表现,同时保持原有的推理能力和竞争优势。
MAI-DS-R1是微软AI团队对DeepSeek-R1推理模型进行后训练的成果,旨在提升其对敏感话题的响应能力并优化风险表现,同时保持原有推理能力和竞争优势。
scb10x
台风T1 3B是SCB 10X开发的新型开放推理模型系列的首款产品。该模型基于Llama 3.2架构,具备跨领域推理能力,在GPQA、MMLU Pro和AI数学奥林匹克等基准测试中表现优异,特别支持泰语推理过程生成。
mismayil
Atomic 2020是一个基于常识知识图谱的神经符号推理模型,由Allen AI研究所开发。该模型基于BART架构训练,能够生成和理解日常事件之间的因果关系、社会常识和心理状态推理。