定位

- 了解数学形式化定理证明，会写lean，不限定CS还是Math背景

- 主要的工作内容（包括不限于）：写lean，标注模型输出lean代码是否合规

- 可以接受短期3个月实习

- 需求量：1-2个实习生

- 实习地点/工资：北京，500元/天，非京学校学生提供3000元/月房补

简历投递方式：

HR邮箱：mm.han@high-flyer.cn

HR微信：18895606352

主题：AGI大模型实习生-姓名-学校-电话