Chica prodigio de las matemáticas en Guangzhou, a los 25 años, obtiene más de 1,4 mil millones en financiamiento, con una valoración de la empresa de 11 mil millones

Pregunta a la IA · ¿Cómo el sistema de IA de Axiom está revolucionando la industria de la verificación de código?

La prodigiosa joven de matemáticas de Guangzhou, de 25 años, Hong Letong, se graduó en el MIT y en la Universidad de Oxford; dejó la universidad de Stanford para emprender y hacer negocio, y hace apenas unas semanas acaba de conseguir una ronda de financiación de 200 millones de dólares, con una valoración de 1.600 millones de dólares, lo que equivale aproximadamente a 11.000 millones de renminbi.

Dijo que le apasiona usar la IA para hacer matemáticas: “¿Cómo se gana dinero con las matemáticas? Desde el principio nos enfrentamos a ese reto. Ahora, las señales comerciales ya están mucho más claras; las matemáticas pueden crear valor porque pueden verificarse a sí mismas, pueden comprobarse a sí mismas”.

La empresa de Hong Letong se llama Axiom (axioma) y tiene como objetivo crear “matemáticos de IA”. El trabajo en el que se afana un grupo de matemáticos, dicho de forma sencilla, consiste en construir un sistema de IA capaz de verificar automáticamente el código de un ordenador; el principio es similar al de los matemáticos al demostrar problemas matemáticos complejos.

Su valor radica en que, si se escribe código con IA, no se sabe cuándo el código tendrá vulnerabilidades. Basándose en esta idea, en agosto de 2024, Hong Letong logró conseguir una inversión semilla de 9,6 millones de dólares, aproximadamente 660 millones de renminbi. En su planteamiento, en el futuro los productos de Axiom podrán servir a fondos de cobertura y a empresas de trading cuantitativo, resolviendo con rapidez complejos problemas matemáticos relacionados con la fijación de precios de los activos y la predicción del mercado de valores.

A mediados de marzo, Hong Letong anunció que había recaudado 200 millones de dólares en una ronda A, aproximadamente 1.400 millones de renminbi, procedentes de firmas de capital riesgo como Menlo Ventures, Greycroft y Madrona. En la actualidad, Axiom cuenta con más de 20 empleados, y Hong Letong está ocupada reclutando personal. Publica con frecuencia información de contratación en plataformas sociales del extranjero, buscando a personas con ideas afines que quieran “hacer matemáticas con IA”.