来聊聊AI4Math和Axiom吧!我们正在招聘,提供极具竞争力的薪酬待遇——如果你从事强化学习、推理、代码生成、形式化定理证明或自形式化方面的工作,请联系我!私信或发送邮件至carina@axiommath.ai