來聊聊AI4Math和Axiom吧!我們正在招聘,提供極具競爭力的薪酬待遇——如果你從事強化學習、推理、代碼生成、形式化定理證明或自形式化方面的工作,請聯繫我!私訊或寄信至carina@axiommath.ai