招聘&找人AI数学方向的开源项目，有大佬，招一个AI scientist

** AI scientist-自动形式化与定理证明的LLM开发**
AI数学方向的开源项目，致力于推动数学领域的人类智能和人工智能的发展。这个项目的参与者有一些大佬；细分领域的一个赛道；做好的话，本是开源，有不错的价值。
全国可以远程居家办公，需要python比较厉害，两轮面试，都有笔试。

你的职责
● 领导开发和训练专注于数学陈述自动形式化和自动定理证明的大型语言模型（LLM）。
● 设计最佳的标注流程，并利用标注数据迭代提升模型性能。
● 实施强化学习技术，如蒙特卡洛树搜索（MCTS），以提高LLM在生成形式证明和优化数学逻辑方面的能力。
● 发表AI驱动数学领域前沿技术的研究，并为全球数学研究社区贡献开源AI工具。

任职要求
● 在生成式AI领域具有专业知识，专注于对大型语言模型（如GPT、BERT或类似架构）的微调及其在数学问题上的应用。
● 拥有强大的软件工程技能，精通Python、深度学习框架（如TensorFlow、PyTorch），并具备构建可扩展的生产级AI系统的经验。
● 熟练掌握MLOps工具和技术，包括模型部署（如Docker、Kubernetes）和性能监控。
● 有相关AI或数学逻辑领域的研究经验和发表记录。
● 熟悉强化学习技术，如蒙特卡洛树搜索（MCTS），并能够迭代提升模型性能。
● 热衷于开源开发和协作研究