待验证60% 置信基准精确时间
MATH数据集由Hendrycks等人于2021年提出，包含12500道竞赛级数学题，涵盖七个子领域
2
来源数
60%
置信度
长期有效
时效性
2026/7/18
首次发现
来源
相关事实
待验证HumanEval由164道Python编程题组成，GSM8K包含8,500道小学数学应用题64% 相似待验证MMLU由加州大学伯克利分校的Dan Hendrycks等人于2020年提出，涵盖57个学科领域、约15,000道选择题63% 相似待验证MMLU涵盖57个学科、近16,000道选择题；HumanEval由OpenAI开发包含164个编程题；GSM8K包含8,500道小学数学应用题63% 相似待验证陶哲轩在2021年参与的Lean数学库项目成功形式化验证了多个重要定理60% 相似待验证论文将对比学习、指数族分布和信息几何三个数学工具串联，建立了锚点上的概率分布与表示空间上Bregman几何之间的严格映射关系58% 相似
引用此条事实
Stable URI
https://kongchang.com/claim/551123API
curl https://kongchang.com/api/v1/knowledge/claims/551123MCP
get_claim(id=551123)