【SAIR贡献者网络：你的科研贡献，值得被看见】

π Day启幕，SAIR携手菲尔兹奖得主陶哲轩，发起一场“蒸馏”挑战：把数学推理能力塞进10KB的速查表，让AI学会判断方程之间的蕴含关系。

在科研的世界里，一项发现的价值往往取决于它能否被他人看见、复用、并在此基础上继续生长。SAIR贡献者网络正在构建一个开放、可追溯的科研协作生态。在这里，每一份知识都能被看见、被复用、被加速。

• 愿景：让科研不再是孤立的论文发表，而是可迭代、可溯源的集体智慧沉淀。每一份“速查表”都是推动科学进步的基石。
• 目标：通过社区驱动的知识图谱，降低科研重复成本，让研究者专注于创新本身，而非单一重复。
• 流程：发现社区共享的速查表 → 在工作台优化并验证 → 发布新版本并保留与原版的关联 → 所有贡献纳入知识图谱，持续演进。

无论你是提出原创发现，还是在前人基础上改进，SAIR贡献者网络都将为你的每一次迭代提供可见的认可与清晰的溯源路径。

比赛详情：
🔹任务： 给定两个方程，判断E₁是否蕴含E₂。你需要提交一份完整提示词（含速查表），让模型输出对/错。
🔹关键日期： 第一阶段3月14日起至4月20日截止（全球任意时区）。5月1日开启难度升级的第二阶段。
🔹参与方式：http://t.cn/AXGtmkTU

加入这个网络，你的每一次迭代，都在为整个科研生态注入新的动力。

#AIforscience##AI##陶哲轩##SAIR##AGI ##SAIRFoundation##数学##陶哲轩##国际数学日# http://t.cn/AXIl4HJ3