【活动预告｜“数学蒸馏挑战赛”第二阶段正式启幕】

由菲尔兹奖得主陶哲轩教授等专家与SAIR Foundation联合发起的首届“数学蒸馏挑战赛（Mathematics Distillation Challenge）”第二阶段现已正式启动。即日起至2026年8月31日，诚邀全球数学与AI爱好者参与形式化验证的终极挑战。

📋 赛事进阶
第一阶段聚焦策略发现，参赛者以10KB“策略指南”赋予弱模型跨越式推理能力。第二阶段则将竞赛推向更深层次：从“答案正确”跃迁至“逻辑可溯”，要求参赛者使用Lean定理证明器提交形式化证明，或提供明确反例，确保推理链条的每一步都可被机器核验。

⚙️ 核心任务：求解器与形式化证明
第二阶段的核心任务是提交一个“求解器”（Solver）：对于任意一对等式，判断其代数蕴含关系，并输出完整的推导序列。评审维度包括判定结果的正确性与推理路径的完整可验证性，考验参赛者兼顾数学洞察力与形式化严谨性的双重能力。

🎯 两阶段回顾
第一阶段：策略测试（已截止，优胜者评选中）
全球千余位参赛者提交答卷

第二阶段：形式化验证（5月1日—8月31日）
使用Lean定理证明器提交证明或反例，使逻辑链条透明、可追溯、可追责

🌍 为何参与
这不仅是一场比赛，更是一场开放透明的全球科研协作。陶哲轩指出，AI与数学的真正融合不应止步于正确答案，而应追求逻辑路径的全程可理解与可验证。我们期待与全球学者共同探索：如何将复杂的代数逻辑“蒸馏”为人类可迁移的智慧。

📌 关键信息
预注册开启：2026年4月23日
第二阶段启动：2026年5月1日
提交截止：2026年8月31日 23:59（Anywhere on Earth）
参赛地址：http://t.cn/AXJvs4Iz
合作联系：press@sair.foundation

“从策略指南到形式化验证，从答案正确到路径可溯，一场跨越模型能力鸿沟的极限挑战，邀您共同见证。”

期待与思考者同行。

#数学蒸馏挑战赛##陶哲轩##AIforscience##SAIR##AI推理##Lean证明器##等式理论#