Image Credits:monsitj / Getty Images
Harmonic, una startup de inteligencia artificial cofundada por el CEO de Robinhood, Vlad Tenev, anunció el lunes el lanzamiento en beta de una aplicación de chatbot para iOS y Android donde los usuarios pueden acceder a su modelo de inteligencia artificial, Aristotle.
Con este lanzamiento, la empresa busca ampliar el acceso a Aristotle, que Harmonic afirma ofrecer respuestas “sin alucinaciones” para preguntas que involucran razonamiento matemático, una afirmación audaz considerando los problemas de fiabilidad de los modelos de inteligencia artificial actuales. Harmonic se centra en crear una “superinteligencia matemática” o MSI; la startup planea ayudar a los usuarios en todos los campos que dependen de las matemáticas, incluyendo la física, la estadística y la informática.
”[Aristotle] es el primer producto disponible para las personas que realiza razonamiento y verifica formalmente la salida,” dijo el CEO y cofundador de Harmonic, Tudor Achim, en una entrevista con TechCrunch. “Dentro de los dominios que Aristotle apoya, que son los dominios de razonamiento cuantitativo, garantizamos que no hay alucinaciones.”
Eventualmente, Harmonic dice que también planea lanzar una API para que las empresas puedan acceder a Aristotle, así como una aplicación web para los consumidores.
El lanzamiento en beta llega solo unas semanas después de que Harmonic recaudara $100 millones en una ronda de financiación Serie B liderada por Kleiner Perkins a una valoración de $875 millones. Achim afirma que Harmonic “está avanzando muy rápidamente” en su camino hacia la MSI, y que los inversores consideraron que era una valoración justa dada la ambición de su startup.
Achim dice que Harmonic logra sus soluciones hiperprecisas haciendo que Aristotle produzca respuestas en el lenguaje de programación de código abierto Lean. Antes de que Aristotle dé una respuesta a los usuarios, dice el modelo que verifica que la solución es correcta mediante un proceso algorítmico que no implica inteligencia artificial. El CEO de Harmonic señala que una tecnología similar se utiliza para verificar salidas en campos de alto riesgo como los dispositivos médicos y la aviación.
Incluso en un dominio estrecho, lograr un rendimiento sin alucinaciones de un modelo de inteligencia artificial es una tarea increíblemente difícil. Estudios han encontrado que incluso los mejores modelos de inteligencia artificial alucinan mucho, y el problema no parece mejorar. Los últimos modelos de razonamiento de inteligencia artificial de OpenAI alucinan más que sus versiones anteriores.
Harmonic afirma que Aristotle logró un rendimiento de medalla de oro en la 2025 International Math Olympiad a través de una prueba formal (lo que significa que los problemas se tradujeron a un formato legible por máquina). Google y OpenAI también desarrollaron modelos de inteligencia artificial que lograron un rendimiento de medalla de oro en esta edición de la IMO, pero a través de pruebas informales realizadas en lenguaje natural.