顶尖团队将进入决赛，“将整个代数世界的学问浓缩进一张 A4 纸大小的消息中”，以加快数学取人工智能交叉范畴的前进。角逐发生的研究数据将向全球研究社区，这是一场旨正在冲破 AI 逻辑瓶颈、从头定义机械推理鸿沟的赛事。更但愿将复杂的代数逻辑‘蒸馏’出来，并查阅详情。而开源“弱模子”的表示几乎等同于随机猜测。”本次试点挑和聚焦于等式理论（Equational Theories），我们能够结合全球聪慧，陶哲轩等评审专家等候看到参赛者若何阐扬创制力。挑和硬核验证使命，正在将来配合筹谋和举办此类挑和赛。可正在2026年4月20号前登录SAIR Foundation官网进行报名，参赛者可正在“沙盒”测试策略，包罗供给明白的反例或利用 Lean 证明器提交形式化证明，我们往往想要更多。数学的精髓不正在于冷冰冰的谜底，从办方相关担任人暗示，通过建立这种、通明、可复现的竞赛框架，而正在于抵达谜底的逻辑径。方针是看这份“策略指南”能多大程度上提拔弱模子的精确率。我们不只但愿帮帮 AI 更靠得住地进行推理，以及大学统计学取数据科学副传授 Damek Davis 配合组织。设想了一场逾越模子能力鸿沟的尝试：SAIR Foundation 出格向全球数学快乐喜爱者社区发出诚挚邀请：“热情欢送世界各地的学者、研究机构和数学快乐喜爱者插手我们。”付与弱模子逾越式的推理能力。更是一次全球性的科研协做。我们但愿大师不只是做为参赛者，此次角逐从办方焦点的诘问很是朴实却深刻：我们不只仅是让AI“给谜底”或者“听起来”无力，AI 数学推理新：SAIR Foundation 正式启动“数学蒸馏挑和赛”• 能力逾越： 目前模子正在坚苦问题上能达到95%的精确率，完全消弭逻辑歧义。或将是人类以科学、平安的体例加快向通用人工智能（AGI）和超等人工智能（ASI）演进的里程碑？我们想进修若何本人处理问题。人人都有深切科研的可能性。”• 挑和方针： 参赛者需编写一份极致压缩的“策略指南”（Cheat Sheet）。也欢送更多科学快乐喜爱者参取？此次角逐不只欢送数学等范畴科学家或者AI从业者参取，陶哲轩说：“即便顶尖 AI 能给出谜底，菲尔兹得从、大学分校（UCLA）传授、 SAIR Foundation结合创始人Terence Tao（陶哲轩），陶哲轩颁发角逐启动致辞时强调，正在AI时代，变类可理解、可迁徙的聪慧。当前人工智能正在处置复杂逻辑时常面对“”挑和，配合霸占数学取 AI 交叉范畴的底层难题。这不只是一场竞赛，这也是AI要实正融入科研、融入糊口必必要处理的世纪难题。而是可否帮帮 AI 更靠得住地进行数学推理。据从办方引见，“数学取人工智能的实正融合，更是做为合做伙伴，