Harmonic recauda 75 millones de dólares para crear IA con superinteligencia matemática y eliminar alucinaciones

Harmonic, una startup de inteligencia artificial que persigue el objetivo de la superinteligencia matemática, o MSI, dijo hoy que cerró una ronda de financiación inicial de 75 millones de dólares.

La ronda Serie A de hoy fue liderada por Sequoia Capital y contó con la participación de Index Ventures, Jasper Lau’s Era Funds, GreatPoint Ventures, DTS Global Partners y Palo Alto Networks Inc. El director ejecutivo Nikesh Arora y el actor Jared Leto, lo que eleva la valoración de la empresa a 325 millones de dólares.

La startup dice que su objetivo principal es lograr MSI mediante la construcción del primer sistema de IA con capacidades matemáticas superiores a las humanas, como una forma de superar las limitaciones tradicionales en torno a las «alucinaciones», que es cuando los modelos de IA fabrican respuestas a preguntas que no pueden responder. correctamente. .

En una publicación de blog, Harmonic explica que el MSI es esencial para permitir el razonamiento lógico, lo que puede ayudar a garantizar que las respuestas del modelo de IA sean siempre correctas y veraces. Añadió que los sistemas de IA deberían tener «capacidades de razonamiento sólidas y verificables».

Dado que el lenguaje del razonamiento son las matemáticas, y las matemáticas son el medio a través del cual los humanos han descubierto muchas verdades fundamentales sobre el universo, se deduce que un sistema de IA con MSI debería poder avanzar en gran medida el conocimiento y nuestra comprensión en campos como la ciencia y la ciencia. ingeniería. , cree la empresa.

Los grandes modelos de lenguaje existentes, como la familia GPT de OpenAI, no razonan a nivel humano, por lo que a menudo generan alucinaciones cuando se atascan en una pregunta o sugerencia. Harmonic cree que las alucinaciones pueden ser peligrosas, ya que pueden hacer que los sistemas de inteligencia artificial actúen de manera impredecible. Además, el riesgo de sufrir alucinaciones aumenta a medida que la IA adquiere un papel más importante en la vida de las personas.

Harmonic dice que si puede proporcionar a los modelos de IA la capacidad de realizar razonamiento matemático, debería poder garantizar que sus reacciones siempre serán correctas y, por lo tanto, libres de alucinaciones. Afirma que estos modelos, con «rastros de razonamiento» transparentes y verificables, serán «fundamentalmente seguros», a diferencia de los modelos actuales.

Los modelos de IA con MSI serán útiles de inmediato en una amplia gama de industrias que hoy en día no pueden depender de la IA, afirma la compañía, incluida la aeroespacial, el diseño de chips de computadora, los sistemas industriales y la atención médica, donde la confiabilidad del software es de suma importancia. Además, MSI ayudará a ampliar los límites de la propia investigación de la IA, permitiendo la creación de sistemas más potentes que incluso pueden crear sus propios datos sintéticos para mejorar el conocimiento y su aprendizaje.

Harmonic está dirigida por su cofundador y director ejecutivo, Tudor Achim, quien dijo que la comunidad de IA se ha dado cuenta de que las matemáticas son el eslabón perdido necesario para construir una superinteligencia genuina. «Harmonic lidera estos desarrollos y, al mismo tiempo, resuelve las limitaciones que se encuentran comúnmente en otros modelos de IA», dijo.

La compañía ya ha avanzado en el camino del desarrollo de MSI con su primer modelo, llamado Aristóteles, en honor al filósofo y matemático griego. Cuando se le plantean problemas matemáticos en lenguaje natural, Aristóteles tiene la capacidad de formalizar esos problemas en Lean 4, un lenguaje de programación funcional basado en cálculo.

Al hacerlo, puede resolver problemas de una manera que sea formalmente verificable, por lo que esencialmente puede verificar por sí misma que sus respuestas sean correctas. Luego emitirá sus respuestas tanto en Lean 4 como en lenguaje natural, asegurándose de que su razonamiento pueda verificarse.

Aristóteles ya obtuvo una impresionante puntuación del 90% en el punto de referencia de matemáticas MiniF2F, que está diseñado para medir las habilidades básicas de resolución de problemas de los sistemas de inteligencia artificial con problemas formalmente especificados tomados de competencias nacionales y matemáticas internacionales de secundaria, junto con la escuela secundaria y los posgrados. clases de matemáticas. Como resultado, el punto de referencia MiniF2F puede comparar el desempeño de Aristóteles tanto con humanos como con investigaciones anteriores.

La startup dijo que los fondos de la ronda de hoy la ayudarán a acelerar el desarrollo de Aristóteles y crear el primer sistema de inteligencia artificial con habilidades matemáticas superiores a las de los humanos.

Andrew Reed, socio de Sequoia, dijo que invirtió en Harmonic porque cree que la IA puede acelerar las capacidades matemáticas de los humanos, allanando el camino para nuevas aplicaciones de IA. «Harmonic es pionero en MSI y reúne a un increíble equipo de investigadores, ingenieros y matemáticos que trabajan en estrecha colaboración en esta importante empresa», afirmó.

Imagen: SiliconANGLE/Microsoft Designer