Harmonic, una startup de IA cofundada por el CEO de Robinhood, Vlad Tenev, ha lanzado una versión beta de su aplicación AI Chatbot para iOS y Android, proporcionando a los usuarios acceso a su modelo AI, Aristóteles. La compañía tiene como objetivo ampliar el acceso a Aristóteles, que afirma que ofrece respuestas “sin alucinaciones” para preguntas de razonamiento matemático. Esta es una afirmación significativa, dados los problemas de confiabilidad en curso con los modelos de IA actuales.
La misión central de Harmonic es crear “superinteligencia matemática” (MSI). La startup planea expandir las capacidades de Aristóteles para ayudar a los usuarios con varios campos que dependen de las matemáticas, incluidas la física, las estadísticas y la informática. El CEO y cofundador de Harmonic, Tudor Achim, dijo TechCrunch Ese Aristóteles es “el primer producto disponible para las personas que hace razonamiento y verifica formalmente la salida”, y agrega: “Dentro de los dominios que Aristóteles admite, que son dominios de razonamiento cuantitativo, en realidad garantizamos que no hay alucinaciones”.
La compañía también tiene la intención de lanzar una API para que las empresas accedan a Aristotle y una aplicación web para los consumidores generales en el futuro. Armonic anunció que Aristóteles logró el rendimiento de la medalla de oro en la Olimpiada Internacional de Matemáticas de 2025 (IMO) a través de una prueba formal, donde los problemas se tradujeron en un formato legible por máquina. Este logro coloca a Aristóteles junto con modelos de IA desarrollados por Google y OpenAI, que también alcanzó el rendimiento de las medallas de oro en la OMI de este año a través de pruebas informales en lenguaje natural. A pesar de esto, Harmonic no ha lanzado otros puntos de referencia para Aristóteles en este momento.
Este lanzamiento beta sigue de cerca la exitosa ronda de financiación de la Serie B de Harmonic, que recaudó $ 100 millones. La ronda fue dirigida por Kleiner Perkins, valorando a la compañía en $ 875 millones. Achim indicó que Harmonic está “avanzando muy rápidamente” a lo largo de su camino para lograr MSI, y los inversores creían que la valoración era justa dado el alcance de la ambición de la startup.
Varias compañías tecnológicas líderes se centran activamente en capacitar a los modelos de IA para resolver problemas matemáticos. La capacidad de la IA para realizar matemáticas es valiosa en sí misma, y las matemáticas también se considera un dominio único verificable que exige habilidades de razonamiento central. Los sistemas capaces de desarrollar estas habilidades también podrían resultar útiles en otros dominios. Achim explicó que Harmonic logra su alta precisión al hacer que Aristóteles produzca respuestas en Lean, un lenguaje de programación de código abierto. Antes de proporcionar una respuesta a los usuarios, el modelo algorítmicamente verifica la solución para la corrección, un proceso que no involucra IA. Achim señaló que una tecnología de verificación similar se usa en campos de alto riesgo, como dispositivos médicos y aviación.
Lograr el rendimiento libre de alucinación de un modelo de IA, incluso dentro de un dominio estrecho, es una tarea increíblemente difícil. Los estudios han demostrado que incluso los principales modelos de IA alucinan con frecuencia, y este problema no ha mostrado signos de mejora significativa, y algunos de los últimos modelos de razonamiento de OpenAI incluso exhiben más alucinaciones que sus predecesores.
Source: Esta startup afirma que ha resuelto el problema de alucinación de la IA
