guillaume lample17mistral ai7mistral6meta4ai3artificial intelligence2experience2funding2seed round2library genesis2multilingual2french1arthur mensch1threats1human involvement1oversight1profile1carnegie mellon1linkedin1facebook ai research1machine translation1symbolic mathematics1theorem proving1machine learning1research1