Jeune fille prodige en mathématiques à Guangzhou, à 25 ans, elle a levé plus de 1,4 milliard d'euros de financement, la valorisation de l'entreprise étant de 11 milliards d'euros

Demandez à l’IA · Comment le système d’IA d’Axiom révolutionne-t-il l’industrie de la vérification de code ?

La prodige de la finance et des mathématiques de Guangzhou, âgée de 25 ans, Hong Letong, diplômée du MIT et d’Oxford, a quitté Stanford pour créer sa société. Il y a quelques semaines à peine, elle a obtenu un tour de financement de 200 millions de dollars, avec une valorisation de 1,6 milliard de dollars, soit environ 11 milliards de yuans renminbi.

Elle a déclaré qu’elle était passionnée par l’usage de l’IA pour faire des mathématiques : « Comment l’on fait de l’argent avec les mathématiques ? Dès le départ, nous avons été confrontés à ce défi. Aujourd’hui, les signaux commerciaux sont beaucoup plus clairs : les mathématiques créent de la valeur parce qu’elles peuvent s’auto-vérifier, s’auto-contrôler. »

La société de Hong Letong s’appelle Axiom (axiome), et son objectif est de créer un « mathématicien IA ». En bref, l’activité sur laquelle s’affairent plusieurs mathématiciens consiste à mettre au point un système d’IA capable de vérifier automatiquement des lignes de code écrites pour ordinateur. Le principe est similaire à celui des mathématiciens qui prouvent des problèmes mathématiques complexes et difficiles.

Sa valeur tient au fait que, avec l’IA, on peut écrire du code, mais on ne sait pas quand le code contient des failles. À partir de cette idée, en août 2024, Hong Letong a décroché un investissement de 9,6 millions de dollars pour le tour de table (seed round), soit environ 66 millions de yuans renminbi. Dans son scénario, à l’avenir, les produits d’Axiom pourront être utilisés par des fonds spéculatifs et des sociétés de trading quantitatif, afin de résoudre rapidement des problèmes mathématiques complexes liés à la tarification des actifs et à la prévision du marché boursier.

À la mi-mars, Hong Letong a annoncé avoir levé 200 millions de dollars en Série A (A round) auprès de sociétés de capital-risque telles que Menlo Ventures, Greycroft et Madrona, soit environ 1,4 milliard de yuans renminbi. À ce jour, Axiom compte plus de 20 employés et Hong Letong est en train de recruter. Elle publie régulièrement des offres d’emploi sur des plateformes de médias sociaux à l’étranger, à la recherche de personnes partageant sa vision : « faire des mathématiques avec l’IA ».