Harmonic, una startup de inteligencia artificial cofundada por el CEO de Robinhood, Vlad Tenev, ha lanzado la versión beta de su app de chatbot para iOS y Android, que incorpora a Aristotle, un modelo de IA diseñado específicamente para el razonamiento matemático sin alucinaciones.
La empresa, que recientemente recaudó 100 millones de dólares en una ronda de financiación Serie B con una valoración de 875 millones, se diferencia de los modelos de IA convencionales al centrarse en la superinteligencia matemática (MSI). A diferencia de los grandes modelos de lenguaje tradicionales, que suelen tener dificultades con cálculos complejos, Aristotle ha sido desarrollado desde cero para garantizar la precisión en dominios cuantitativos.
"Aristotle es el primer producto disponible para el público que razona y verifica formalmente las respuestas", afirma Tudor Achim, CEO y cofundador de Harmonic. "Dentro de los dominios que soporta Aristotle, que son los de razonamiento cuantitativo, realmente garantizamos que no hay alucinaciones".
El sistema logra esta notable precisión mediante un proceso en dos pasos. Primero, Aristotle traduce los problemas matemáticos en lenguaje natural al lenguaje de programación de código abierto Lean 4, un asistente de pruebas que permite comprobar la corrección de definiciones y teoremas matemáticos. Después, antes de ofrecer las respuestas a los usuarios, el modelo verifica las soluciones mediante un proceso algorítmico que no implica IA, similar a los métodos de verificación utilizados en sectores críticos como dispositivos médicos y aviación.
Harmonic afirma que Aristotle logró un rendimiento de medalla de oro en la Olimpiada Internacional de Matemáticas (IMO) de 2025 a través de pruebas formales, en las que los problemas se tradujeron a un formato legible por máquina. Este logro coincide con un año en el que modelos de IA de Google DeepMind y OpenAI también alcanzaron estándares de medalla de oro en la IMO, aunque mediante pruebas informales realizadas en lenguaje natural.
Las ambiciones de la empresa van más allá de las matemáticas. Harmonic cree que la MSI ayudará a los usuarios en todos los campos que dependan del razonamiento matemático, incluyendo física, estadística e informática. A largo plazo, la compañía planea lanzar una API para acceso empresarial y una aplicación web para consumidores, lo que podría transformar la forma en que las industrias abordan problemas que requieren razonamiento cuantitativo preciso.