Guangdong "00s generation" academic achiever Hong Letong: Entered MIT at 17, dropped out of Stanford to start a business, AI company raised $200 million in financing to join the unicorn club

Le domaine de l’intelligence artificielle connaît l’émergence d’une nouvelle génération de jeunes entrepreneurs, dont l’un, Hong Letong, originaire de Guangzhou en Chine, est un « post-2000 ». Grâce à la création de son entreprise d’IA, Axiom (axiommath.ai), elle a réussi une levée de fonds de 200 millions de dollars lors du tour de série A, devenant rapidement un point focal dans le monde de la technologie. Ce tour de financement a été mené par le célèbre fonds de capital-risque Menlo Ventures, avec la participation de tous les actionnaires existants. Après cette levée, la valorisation de l’entreprise atteint 1,6 milliard de dollars, la classant officiellement parmi les licornes.

Le parcours académique de Hong Letong est remarquable. Née en 2001 à Guangzhou, cette entrepreneure dont les parents sont des travailleurs ordinaires s’est distinguée dès le lycée grâce à son talent exceptionnel en mathématiques. En première année, elle a été sélectionnée pour le programme de jeunes talents du Guangdong, sous la tutelle du professeur Wang Xueqin de l’Université Sun Yat-sen. Elle a également été l’une des seules quatre filles sélectionnées lors de la compétition nationale d’olympiades de mathématiques pour lycéens dans la province du Guangdong. En 2018, à 17 ans, elle a été admise au MIT, où elle a étudié en double licence en mathématiques et physique, terminant ses études en seulement trois ans. Elle a publié neuf articles académiques dans des domaines fondamentaux tels que la théorie des nombres et la combinatoire, dont certains portent sur l’automatisation de la preuve mathématique, un défi clé.

Pendant son séjour au MIT, ses réalisations dépassent le cadre académique. Elle a reçu le prestigieux prix Alice T. Schafer pour les femmes mathématiciennes et, en 2021, est devenue l’une des quatre seules boursières Rhodes de Chine, poursuivant des études en neurosciences à l’Université d’Oxford. Par la suite, son parcours académique a traversé plusieurs disciplines : mathématiques, physique, neurosciences, et même sciences humaines. Après avoir lancé un double doctorat en mathématiques et droit à Stanford, elle a finalement choisi de quitter ses études pour se lancer dans l’entrepreneuriat. Elle a également été récompensée par la médaille Morgan de l’AMS-MAA-SIAM pour ses recherches exceptionnelles en mathématiques, et en décembre 2025, elle a été listée parmi les « 30 under 30 » de Forbes.

La fondation d’Axiom découle d’une profonde compréhension des enjeux du secteur de l’IA par Hong Letong. Aujourd’hui, bien que les grands modèles aient connu une croissance rapide, leur fiabilité reste un problème non résolu — notamment dans des domaines critiques comme la finance et la défense, où des erreurs probabilistes peuvent avoir des conséquences graves. Pour répondre à cette contradiction, Axiom propose un modèle de « mathématiques en tant que service » : en entraînant l’IA à maîtriser une logique rigoureuse, elle peut construire et vérifier des preuves comme un mathématicien. Le premier produit de l’entreprise, AxiomProver, a déjà montré un potentiel impressionnant : en décembre dernier, ce système a utilisé le langage vérifiable Lean pour réaliser, sans intervention humaine, la formalisation des problèmes 124 et 481 de l’ensemble d’Erdős en une journée et cinq heures respectivement. Ce résultat est d’une importance capitale — l’ensemble d’Erdős comprend 1109 problèmes en combinatoire et théorie des nombres, dont seulement 266 ont été prouvés à ce jour, et seulement 10 ont été convertis en versions formelles vérifiables par ordinateur.

Le modèle commercial d’Axiom cible principalement une clientèle haut de gamme, notamment des fonds spéculatifs et des traders quantitatifs dans la finance. La société affirme que sa technologie peut fournir des solutions quantitatives efficaces pour résoudre des problèmes mathématiques complexes. Ce positionnement est en parfaite adéquation avec le parcours académique de Hong Letong : elle a notamment souligné, lors de ses études à Stanford, les lacunes de modèles comme ChatGPT en matière de raisonnement mathématique, insistant sur le fait que l’IA actuelle manque d’un système d’entraînement logique rigoureux.

Hong Letong n’est pas la seule « post-2000 » à émerger dans le secteur de l’IA. Récemment, une autre startup, Lingchu Intelligent, a annoncé avoir levé 2 milliards de yuans lors de ses tours d’amorçage et Pre-A, avec des investisseurs tels que China Development Financial, Guozhong Capital et Xuhui Capital de Shanghai. Son co-fondateur, Chen Yuanpei, également né en 2001, a étudié à l’Université de Pékin puis à Stanford, sous la direction du célèbre chercheur en IA Li Feifei. Yang Fengyu, diplômée d’un doctorat à Yale, a fondé en 2024 la société d’intelligence incarnée Uliqi, levant plusieurs centaines de millions de yuans lors de son tour d’ange. La plateforme de recrutement IA Mercor, créée par trois jeunes nés en 2000, a également annoncé en 2025 une levée de 100 millions de dollars lors de son tour de série B, valorisant l’entreprise à 2 milliards de dollars.

L’émergence de cette génération de jeunes entrepreneurs marque une nouvelle étape dans le secteur de l’IA, dominée désormais par la « génération Z ». Leur parcours, mêlant académique, industriel et financier, ainsi que leur approche technologique, allant de la recherche fondamentale à l’application concrète, contribuent à faire avancer le secteur vers des solutions plus fiables et plus efficaces.