“Francois Charton, who co-authored a 2019 paper on using Transformers for symbolic math, is a full-time member of the technical staff at Axiom.”