Harmonic, una startup de inteligencia artificial cofundada por Vlad Tenev, CEO de Robinhood, anunció el lanzamiento en beta de una aplicación de chatbot para iOS y Android. En esta app, los usuarios pueden acceder a su modelo de IA llamado Aristóteles. Con este lanzamiento, la empresa busca ampliar el acceso a Aristóteles, que, según Harmonic, ofrece respuestas “sin alucinaciones” para preguntas que requieren razonamiento matemático. Esta afirmación es audaz, considerando los problemas de fiabilidad que tienen muchos modelos de IA actuales.

Harmonic se centra en crear “superinteligencia matemática” o MSI, y su objetivo es ayudar a los usuarios en diversas áreas que dependen de las matemáticas, como la física, la estadística y la informática. Tudor Achim, CEO y cofundador de Harmonic, comentó en una entrevista que Aristóteles es el primer producto disponible que realiza razonamientos y verifica formalmente las respuestas. Aseguró que dentro de los dominios que Aristóteles soporta, se garantiza que no hay alucinaciones.

Además, Harmonic planea lanzar una API para que las empresas puedan acceder a Aristóteles y una aplicación web para consumidores. Este lanzamiento en beta se produce pocas semanas después de que Harmonic recaudara 100 millones de dólares en una ronda de financiamiento Serie B, liderada por Kleiner Perkins, con una valoración de 875 millones de dólares. Achim afirmó que Harmonic avanza rápidamente hacia la consecución de la MSI y que los inversores consideraron que esa valoración era justa dada la ambición de la startup.

Harmonic logra soluciones altamente precisas haciendo que Aristóteles genere respuestas en el lenguaje de programación de código abierto Lean. Antes de dar una respuesta a los usuarios, el modelo verifica que la solución sea correcta a través de un proceso algorítmico que no involucra IA. El CEO de Harmonic destacó que tecnologías similares se utilizan para verificar resultados en campos de alto riesgo, como dispositivos médicos y aviación.

Lograr un rendimiento sin alucinaciones en un modelo de IA es una tarea extremadamente difícil. Estudios han demostrado que incluso los modelos de IA más avanzados tienden a alucinar, y el problema no parece estar mejorando. Los últimos modelos de razonamiento de IA de OpenAI alucinan más que los anteriores.

Harmonic también mencionó que Aristóteles logró un rendimiento de medalla de oro en la Olimpiada Internacional de Matemáticas 2025 a través de una prueba formal, donde los problemas se tradujeron a un formato legible por máquinas. Google y OpenAI también desarrollaron modelos de IA que alcanzaron un rendimiento de medalla de oro en la IMO de este año, pero mediante pruebas informales en lenguaje natural.