待验证50% 置信事实精确时间
Phi-4 是微软研究院开发的小型语言模型，拥有约 140 亿参数，在数学推理和代码任务上表现突出
1
来源数
50%
置信度
长期有效
时效性
2026/9/16
首次发现
来源
涉及实体
相关事实
待验证混元4是腾讯推出的多模态大语言模型，具备文本生成、代码编写、逻辑推理等能力68% 相似待验证小语言模型通常指参数量在1B以下的语言模型，代表性工作包括微软Phi系列（Phi-1至Phi-3，1.3B-3.8B参数）、谷歌Gemma 2B以及MobileLLM62% 相似待验证经过13个涵盖逻辑推理、数学计算和编程能力问题的综合测试后，Llama 3.3 70B表现令人印象深刻，可能是目前最强的开源大型语言模型57% 相似待验证该架构模式的核心是用小型专精模型将自然语言翻译成形式逻辑，再交给求解器（如 Prolog、SMT、Lean）得出确定性答案57% 相似待验证Conversational programming tools like Xiaolongxia are based on Large Language Models (LLMs) and typically comprise three technical layers: a natural language understanding layer, a code generation layer, and an execution layer.56% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/926557API
curl https://kongchang.com/api/v1/knowledge/claims/926557MCP
get_claim(id=926557)