2026年3月14日国际数学日,SAIR Foundation在‘圆周率时刻’正式启动首届‘数学蒸馏挑战赛’。赛事由菲尔兹奖得主陶哲轩等专家组织,聚焦AI逻辑推理瓶颈,旨在通过2200万道代数题和‘一张A4纸’策略指南的极限挑战,提升弱模型推理能力。比赛分为两阶段:策略测试(即日起至4月20日)与形式化验证(4月下旬)。主办方强调开放合作,欢迎全球学者和科学爱好者参与,并将公开研究数据以推动数学与AI交叉领域发展。
原文链接
本文链接:https://kx.umi6.com/article/33750.html
转载请注明文章出处
相关推荐
换一换
AI 数学推理新王:英伟达发布两款 OpenMath-Nemotron 模型,刷新 AIME 准确率纪录
2025-04-25 16:17:36
量子位专访陶哲轩:我为什么现在创办一个AI x Science组织
2026-03-14 15:00:36
硅谷2026开年重磅:全球顶尖科学家与产业领袖巅峰对话,预演AI+科学未来十年
2026-01-30 13:26:15
看了20万小时「人类干活实录」,机器人悟了
2026-07-19 17:24:02
业内首款超算+智算的大规模计算底座,在WAIC上我们找到了
2026-07-22 15:01:30
WAIC重磅成果|仪电智算云在国家人工智能应用中试基地建设中展现全栈服务能力
2026-07-21 18:15:46
供需失衡的窗口期里,商汤大装置把国产算力做成了正毛利生意
2026-07-19 15:20:50
AI医疗卷了10年终于悟了:不用替代医生,而是给医院装上超强buff
2026-07-22 11:52:40
具身智能数据需求暴涨千倍,这家“数据炼油厂”刚拿到近亿元融资
2026-07-23 12:55:21
WAIC 2026|从纳米抗体到环肽:分子之心30天两度验证AI底层设计力,筑牢生物经济“多模态新基建”
2026-07-19 15:19:10
AI Agent要自己刷卡了 但AI 支付宝比想象中更难做 为什么?
2026-07-24 00:15:46
WAIC 2026|智象未来发布全球首个无限时长内容创作智能体——vivago R1
2026-07-20 14:15:54
上海这场大赛有点“野”:让AI自主科研、控核聚变、认甲骨文
2026-07-23 09:36:06
789 文章
868270 浏览
24小时热文
更多
-
2026-07-24 00:15:46 -
2026-07-24 00:14:08 -
2026-07-24 00:12:30