Constantly wandering in bookshops — Indicates a deep appreciation for literature beyond his academic focus.
Defended PhD on AI for formal mathematics, now working on reasoning at Mistral AI — Shows the transition from theoretical research to practical applications of AI.
He might explore integrating literary analysis with AI techniques.
