57岁的日裔美国数学家小野健曾是弗吉尼亚大学终身教授，在解析数论、模形式等领域是权威学者。他还曾参与好莱坞电影制作、担任奥运选手顾问，甚至拍过啤酒广告，极具传奇色彩。此前他对AI持怀疑态度，曾调侃“AI是不如人脑的玩具”，后被相关AI模型的数学能力震撼，辞去终身教职，以公司第15名员工的身份加入Axiom Math，负责将公司研发的各类AI模式打磨到极致。
24岁华裔创业者洪乐潼，出生成长于广州，中学就读于华南师范大学附属中学，多次斩获奥数竞赛奖牌。她3年完成麻省理工学院数学与物理学位，获摩根奖、罗德奖学金等荣誉，还曾在斯坦福大学攻读法学与数学双博士学位，后为创业辍学。她筹集6400万美元创办Axiom Math，挖来Meta等公司的资深AI研究员，还成功邀请到自己的启蒙导师小野健加盟，公司目标是打造能自主推理、发现并证明数学问题的“AI数学家”。当年在MIT校园。大一新生洪乐潼加入小野健的数论项目组，在导师指导下解决拉马努金理论猜想，获得拉马努金精神奖学金。