媒体量子位2026/03/14 20:457940
• 挑战赛聚焦AI数学推理能力
• 2200万题目测试模型表现
SAIR Foundation于国际数学日启动‘数学蒸馏挑战赛’，旨在提升AI的数学推理能力。赛事聚焦等式理论，提供2200万道题目，要求参赛者将复杂代数知识浓缩于A4纸大小的策略指南中，以增强弱模型的推理能力。挑战赛分为策略测试与形式化验证两个阶段，强调开放合作与全球科研协作。
专题：lean-proof-assistant
按该标签聚合的大模型资讯列表（自动分类与标签提取）。共 1 篇文章。