“In 2019, a paper co-authored by Francois Charton and Mistral co-founder Guillaume Lempel demonstrated that a Transformer-based model could outperform traditional computer algebra systems like Mathematica in symbolic integration.”