Harmonic, un ambicioso AI-Startup que fue cofundado por Vlad Teev, el CEO de Robinhood, ha anunciado el lanzamiento beta de una aplicación de chatbot innovadora para iOS y Android. Con esta aplicación, los usuarios pueden tratar con el modelo AI de armónico, llamado Aristóteles, que afirma proporcionar respuestas «sin alucinaciones» a las preguntas de razonamiento matemático. Tal declaración está en marcado contraste con los problemas de confiabilidad que a menudo se asocian con los sistemas de IA existentes.
El objetivo principal de Harmonic es desarrollar lo que llama como «Super Inteligencia Matemática» (MSI). La compañía propone un futuro en el que su tecnología ayuda a los usuarios en diferentes áreas que dependen altamente de conceptos matemáticos, como la física, las estadísticas y la informática.
El CEO y cofundador de Harmonic, Tudor Achim, enfatiza en una entrevista que Aristóteles es el primer modelo que no solo realiza razonamiento sino que también verifica formalmente su exportación. «Dentro de los dominios que Aristóteles apoya, que son áreas cuantitativas de razonamiento, en realidad garantizamos que no hay alucinaciones», afirmó, lo que subrayó el significado de su confiabilidad.
Además de la aplicación móvil, Harmonic tiene planes de implementar una API para brindar a las empresas acceso a Aristóteles, así como una aplicación web diseñada para el uso de los consumidores. Este anuncio sigue al reciente éxito financiero de la startup, después de haber recogido $ 100 millones en una ronda de la serie B dirigida por Perkins más pequeños, que los ayudó a alcanzar una impresionante apreciación de $ 875 millones. Achim afirmó que el rápido progreso para lograr la súper inteligencia matemática justificó esta apreciación, lo cual es un reflejo de la confianza de los inversores en los ambiciosos objetivos del armónico.
Una característica importante del enfoque de Harmonic es que utiliza un lenguaje de programación de código abierto llamado Lean para generar respuestas. Antes de que Aristóteles dé una respuesta, Aristóteles verifica rigurosamente la precisión de sus soluciones a través de un proceso no algorítmico. Este método es similar a las técnicas de verificación de calidad en sectores críticos, como la producción de dispositivos médicos y la aviación.
A pesar de las afirmaciones de armónica, eliminar las alucinaciones en la IA sigue siendo un desafío formidable, incluso en áreas muy definidas. La investigación indica que muchos modelos de IA principales continúan produciendo reacciones alucinadas y los desarrollos recientes muestran poca mejora; Supuestamente alucominar los modelos más nuevos de OpenAI, por ejemplo, con más frecuencia que sus predecesores.
Armonic contó con sus elogios y anunció que Aristóteles ha demostrado con éxito logros excepcionales al lograr el estado de la medalla de oro en la Olimpiada Internacional de Matemáticas de 2025 mediante pruebas formales, un proceso en el que los problemas se traducían en un formato legible por máquina. Otros gigantes técnicos, incluidos Google y OpenAI, también han desarrollado modelos de IA competitivos que alcanzaron puntos de referencia similares, aunque a través de revisiones informales basadas en el lenguaje.
