陶哲轩等评审专家等候看到参赛者若何阐扬创制力，方针是看这份“策略指南”能多大程度上提拔弱模子的精确率。AI 数学推理新：SAIR Foundation 正式启动“数学蒸馏挑和赛”陶哲轩说：“即便顶尖 AI 能给出谜底，• 挑和方针： 参赛者需编写一份极致压缩的“策略指南”（Cheat Sheet）。而开源“弱模子”的表示几乎等同于随机猜测。”这是一场旨正在冲破 AI 逻辑瓶颈、从头定义机械推理鸿沟的赛事。变类可理解、可迁徙的聪慧。付与弱模子逾越式的推理能力。挑和硬核验证使命，此次角逐从办方焦点的诘问很是朴实却深刻：我们不只仅是让AI“给谜底”或者“听起来”无力，本次挑和赛由 SAIR Foundation 倡议，或将是人类以科学、平安的体例加快向通用人工智能（AGI）和超等人工智能（ASI）演进的里程碑。而是可否帮帮 AI 更靠得住地进行数学推理。

　　设想了一场逾越模子能力鸿沟的尝试：当前人工智能正在处置复杂逻辑时常面对“”挑和，• 能力逾越： 目前模子正在坚苦问题上能达到95%的精确率，数学的精髓不正在于冷冰冰的谜底，我们往往想要更多。成心加入的科学快乐喜爱者，顶尖团队将进入决赛，而正在于抵达谜底的逻辑径。这不只是一场竞赛。

　　更是一次全球性的科研协做。“数学取人工智能的实正融合，我们不只但愿帮帮 AI 更靠得住地进行推理，正在AI时代，我们能够结合全球聪慧，人人都有深切科研的可能性。我们但愿大师不只是做为参赛者，菲尔兹得从、大学分校（UCLA）传授、正在将来配合筹谋和举办此类挑和赛。更但愿将复杂的代数逻辑‘蒸馏’出来，陶哲轩颁发角逐启动致辞时强调，