Harmonic, una startup de inteligencia artificial cofundada por Vlad Tenev, CEO de Robinhood, ha lanzado la versión beta de su app de chatbot para iOS y Android con 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 Serie B con una valuación de 875 millones, se distingue de los modelos de IA convencionales al enfocarse en la superinteligencia matemática (MSI). A diferencia de los modelos de lenguaje grandes tradicionales, que suelen tener dificultades con cálculos complejos, Aristotle fue construido desde cero para garantizar precisión en dominios cuantitativos.
"Aristotle es el primer producto disponible para las personas que realiza razonamiento y verifica formalmente las respuestas", afirmó 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 precisión notable a través de un proceso de dos pasos. Primero, Aristotle traduce problemas matemáticos en lenguaje natural al lenguaje de programación de código abierto Lean 4, un asistente de pruebas que permite verificar la corrección de definiciones y teoremas matemáticos. Luego, antes de proporcionar respuestas a los usuarios, el modelo vuelve a comprobar las soluciones mediante un proceso de verificación algorítmica que no involucra 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ó desempeño de medalla de oro en la Olimpiada Internacional de Matemáticas (IMO) 2025 mediante pruebas formales, donde los problemas se tradujeron a un formato legible por máquina. Este logro se da en un año en que modelos de IA de Google DeepMind y OpenAI también alcanzaron estándares de medalla de oro en la IMO, aunque a través de pruebas informales 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 y ciencias computacionales. Eventualmente, la compañía planea lanzar una API para acceso empresarial y una aplicación web para consumidores, lo que podría transformar la manera en que las industrias abordan problemas que requieren razonamiento cuantitativo preciso.