已过期50% 置信事实精确时间
Mathlib包含超过17万条定理和定义，涵盖分析、代数、拓扑、数论等数学分支
1
来源数
50%
置信度
短期 (~14 天)
时效性
2026/9/6
首次发现
有效期至：2026/9/20(已过期)
来源
涉及实体
相关事实
待验证经过13个涵盖逻辑推理、数学计算和编程能力问题的综合测试后，Llama 3.3 70B表现令人印象深刻，可能是目前最强的开源大型语言模型55% 相似待验证小米MiMo专注于数学推理增强的代码生成，擅长算法类任务；MiniMax的MoE架构在长上下文代码理解上具有成本优势55% 相似待验证语言模型将数字视为token序列而非数学对象处理，例如数字1234可能被分词为12和34两个token53% 相似待验证MMLU（Massive Multitask Language Understanding）基准包含超过1.4万道题目52% 相似待验证GitNexus在构建知识图谱时执行多层次静态分析：语法层面通过AST解析，语义层面通过符号解析追踪跨文件引用，模块层面分析import/require/include依赖声明52% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/865932API
curl https://kongchang.com/api/v1/knowledge/claims/865932MCP
get_claim(id=865932)