Axiom Math, fundada por Hong en marzo, se ha convertido rápidamente en una estrella en ascenso en la industria de la inteligencia artificial, recaudando 64 millones de dólares en financiación inicial en septiembre. Hong, de 24 años, ha formado un equipo de 17 empleados, muchos de los cuales provienen del laboratorio central de investigación de IA de Meta, el equipo GenAI de Meta y Google Brain, que se fusionó con DeepMind en 2023.
Axiom aborda las matemáticas avanzadas, que los investigadores de IA consideran cruciales para lograr la superinteligencia. «Las matemáticas son el entorno de pruebas perfecto para desarrollar la superinteligencia», afirmó Hong. Forbes.
Pasión temprana por las matemáticas.
Al crecer en Guangzhou, China, Hong ha sido un apasionado de las matemáticas desde la infancia. Aprendió inglés por su cuenta para leer libros de texto de matemáticas avanzados y asistió a la escuela secundaria afiliada a la Universidad Normal del Sur de China. En la escuela secundaria, fue una de las cuatro chicas de su equipo provincial de Matemáticas en la Olimpiada y logró buenos resultados en competencias como la Copa Hua Luogeng y la Liga Nacional de Matemáticas de Escuelas Secundarias, según informes de los medios chinos. 36 cr.
Mientras se formaba en los programas de la Olimpiada de Matemáticas, desarrolló una fascinación por las matemáticas de investigación.
«Siempre he estado muy interesado en los descubrimientos matemáticos», dijo en una entrevista reciente con El diario de Wall Street. «Las matemáticas de los Juegos Olímpicos son un golpe constante de dopamina, pero las matemáticas de investigación te golpean la cabeza contra la pared. Es dolor y sufrimiento. Me gusta esa parte».
El talento de Hong en matemáticas le valió la admisión en el Instituto Tecnológico de Massachusetts (MIT), donde se especializó en matemáticas y física. Allí, el estudiante universitario de primera generación se destacó, escribió nueve artículos de investigación y tomó 20 cursos avanzados de matemáticas. En 2023, ganó el prestigioso Premio Frank y Brennie Morgan, otorgado por investigaciones destacadas en teoría de números y probabilidad.
Como becario Rhodes en la Universidad de Oxford, Hong obtuvo una maestría en neurociencia computacional antes de dirigirse a Stanford para obtener una licenciatura en derecho y un doctorado en matemáticas.
 |
Carina Hong, fundadora de la startup de inteligencia artificial Axiom Math. Foto cortesía del MIT |
El punto de inflexión
Los fines de semana, Hong estudiaba en una cafetería cerca del campus de Stanford, donde bebía regularmente matcha latte. Fue allí donde conoció a Shubho Sengupta, un investigador de IA en Meta, que más tarde se uniría a Axiom como uno de los primeros miembros. A menudo hablaban del potencial de desarrollar una IA que pudiera resolver los problemas matemáticos más difíciles del mundo y descubrir otros nuevos.
Durante una de sus salidas matutinas, mientras consideraba dejar la escuela para iniciar una empresa, Hong recordó el consejo de Lisa Su, directora ejecutiva del gigante de chips AMD: corre hacia los problemas más difíciles. Se fue tan pronto como se cerró la ronda de financiación inicial de Axiom el verano pasado.
La empresa de Hong lleva el nombre del término matemático que designa una verdad básica que puede ser el punto de partida de toda una teoría. Dijo que el objetivo de Axiom es construir un «matemático de IA» capaz de resolver problemas matemáticos complejos, generar pruebas y verificar su propio trabajo.
La idea es convertir el conocimiento matemático de libros de texto, artículos de investigación y revistas en un programa de software que pueda crear y verificar nuevos problemas. En última instancia, Hong espera que la IA genere conjeturas, teorías que probablemente sean ciertas pero que aún no se han demostrado.
«No estamos construyendo otro chatbot que imite soluciones», afirmó Hong. «Estamos enseñando a la IA a demostrar teoremas. Este es un desafío fundamentalmente diferente y vale la pena seguirlo».
La búsqueda del talento
En menos de un año, Hong ha reclutado a los mejores talentos del laboratorio FAIR de Meta, incluido Sengupta. Otras contrataciones clave incluyen a Francois Charton, quien resolvió un problema matemático de hace 100 años, y Aram Markosyan, un científico de inteligencia artificial que dirigió la investigación de seguridad y equidad en Meta.
El éxito de Hong en el reclutamiento ha llamado la atención de Silicon Valley y más allá. Ken Ono, un matemático de renombre mundial y antiguo mentor de Hong, se unió a Axiom para ayudar a superar los límites de sus sistemas de inteligencia artificial. El profesor de 57 años de la Universidad de Virginia dijo que su decisión fue motivada por curiosidad intelectual más que por ganancias financieras. «No lo hago por dinero», dijo Ono, explicando que rechazó ofertas más lucrativas de grandes empresas de inteligencia artificial.
El trabajo de Ono en Axiom es desarrollar problemas complejos que desafíen a la IA y crear puntos de referencia para evaluar su desempeño. «Piense en ello como un mapa para un marinero», dijo. «Antes de empezar a descubrir una nueva tierra, es necesario saber dónde se encuentra y qué ya se ha explorado».
La ambición de Hong ha sido clave para atraer talentos tecnológicos de primer nivel a Axiom desde sus inicios, cuando la oficina consistía en una mesa plegable de plástico y el sofá libre de un amigo, dice. Información privilegiada sobre negocios. Hong dijo que las aplicaciones comerciales de la compañía se extienden más allá de las matemáticas, otro atractivo para los reclutas, incluyendo «cualquier dominio donde se necesite un razonamiento demostrablemente correcto», como la verificación de hardware y software, las finanzas cuantitativas y la criptografía.
«Una cosa que he escuchado de algunos de los principales investigadores y matemáticos que contraté para Axiom es que resolver la superinteligencia matemática será su legado», dijo Hong. «Cuando el problema es bastante difícil, la densidad de talento aumenta mucho y eso te convierte en un imán para otros grandes pensadores».
