近年来，“AI for Science”的新范式在赋能科学研究方面取得了飞速发展。然而，在数学领域，尤其是定理证明方面，人工智能仍面临诸多挑战。传统上，数学的形式化和定理证明是数学家的职责，但这种方法既耗时又费力，且容易受到人为疏漏和错误的影响。人工智能的进步为数学形式化和定理证明提供了新的可能性。

在这样的背景下，AI4M项目应运而生，并迅速展现出其蓬勃发展的势头。随着项目的发展，对于AI4M评测实习生的需求也在不断增加。董彬教授领导的AI4M项目组现正面向全校全日制本科生和研究生招募大模型评测实习生。

如果你对人工智能结合数学的前沿技术充满热情，我们诚挚邀请你加入AI4M项目组。在这里，你将与我们一起探索未来大模型的无限可能，共同推动科学研究的新突破。加入我们，开启你的AI4M之旅！

【岗位要求】：模型评测实习生（3-4名，长期招募）

【相关工作】：

1. 参与数据的收集、整理、组织构建数据库。

2. 结合业务需求，学习数据逻辑，根据评测规则，对模型产生的数学的Q-A进行赋分。

3. 从用户角度涉及并执行模型功能的测试，收集反馈以指导产品迭代。

【要求】：

1. 熟悉大语言模型的使用； 

2. 对教育和AI技术有浓厚兴趣和热情，能够独立进行需求调研和产品测试；

3.  能够清晰的整理和呈现评测结果，具备良好的书面表达能力；

4.  能够与不同的团队成员有效沟通，具备产品思维；

【收获】：

1.  深入了解AI前沿技术，以及AI与数学结合的最新动态和应用需求；

2.  提升数据分析与调研能力，对大模型创新有更全面的理解。

简历投递邮箱：q17317063475@163.com

联系电话/微信：17317063475