Harmonic AI, cofundada por Vlad Tenev, obtuvo una financiación significativa para construir sistemas de inteligencia artificial capaces de resolver problemas matemáticos complejos con el objetivo de crear “superinteligencia matemática”.
Introducción: una nueva apuesta por la inteligencia de las máquinas
Harmonic AI, una startup de inteligencia artificial cofundada por el director ejecutivo de Robinhood Markets, Vlad Tenev, ha recaudado 100 millones de dólares en financiación para abordar un problema que a veces ha desconcertado a los modelos de inteligencia artificial: las matemáticas. La ronda de financiación Serie B fue liderada por Kleiner Perkins, con la participación de Sequoia Capital, Index Ventures y Paradigm. La operación valora a la startup de inteligencia artificial en 875 millones de dólares, según indicó Tenev, quien ejerce como presidente de la compañía, un rol no operativo.
Un objetivo ambicioso: la superinteligencia matemática
Fundada en 2023 por Tenev y Tudor Achim, quien dirigió anteriormente la startup de conducción autónoma Helm.ai, la empresa con sede en Palo Alto, California, pretende construir sistemas de inteligencia artificial que puedan resolver problemas matemáticos complejos y crear lo que la compañía denomina «superinteligencia matemática». Harmonic planea poner su modelo insignia, Aristotle, a disposición de los investigadores y del público general a finales de este año.
Tenev declaró a Bloomberg News: «El objetivo a corto plazo es construir una inteligencia artificial que resuelva problemas matemáticos a un nivel superior al de cualquier ser humano. El objetivo final es resolver importantes problemas matemáticos no resueltos y ampliar esto a problemas de física y ciencias de la computación».
Un enfoque diferente para erradicar las alucinaciones
Tenev señaló que el enfoque de Harmonic centrado primero en las matemáticas debería otorgarle una ventaja sobre los grandes modelos de lenguaje, que impulsan los chatbots de inteligencia artificial y por lo general no son diestros en la resolución de problemas matemáticos complejos. Harmonic también busca eliminar el problema de las alucinaciones, es decir, cuando un chatbot inventa información, mediante la adopción de verificación formal, un método matemático utilizado para garantizar que un sistema de inteligencia artificial funcione correctamente.
Tenev afirmó: «Podemos asegurarnos de que cada parte de la salida y cada paso en el razonamiento de nuestro modelo pueda ser verificado. Este es un enfoque completamente diferente para construir modelos de inteligencia artificial que creo que será el que domine en el futuro».
Una valoración meditada
Harmonic había recaudado previamente 75 millones de dólares de Sequoia e Index. La nueva ronda de financiación le otorga una valoración justo por debajo del umbral de los mil millones de dólares que la convertiría en un «unicornio». Tenev indicó que esto fue una elección deliberada. «Nunca quieres aceptar la oferta más alta. Optimizar la valoración nunca es la opción correcta», sostuvo Tenev, quien recaudó miles de millones de dólares en financiación para Robinhood antes de su salida a bolsa en 2021.
Conclusión: una nueva base para la inteligencia
El proyecto Harmonic AI representa un giro fascinante en la investigación de la inteligencia artificial. En lugar de centrarse en el lenguaje natural, la empresa se enfoca en el lenguaje más fundamental del universo: las matemáticas. Al construir una inteligencia artificial arraigada en el rigor lógico y la verificación formal, Harmonic espera no solo crear máquinas capaces de resolver problemas difíciles, sino también construir una base más fiable y segura para la próxima generación de inteligencia artificial.
