La startup de inteligencia artificial Harmonic, cofundada por Vlad Tenev, CEO de Robinhood, ha recaudado con éxito 120 millones de dólares en una ronda de financiación liderada por Ribbit Capital, con contribuciones de Sequoia, Kleiner Perkins y Emerson Collective. Esta última inversión eleva la valoración de Harmonic a 1.450 millones de dólares. La innovadora tecnología de Harmonic, "Superinteligencia Matemática (MSI)", está diseñada para superar los problemas de alucinaciones en la IA utilizando lógica formal en lugar de predicción estadística. Su modelo estrella, Aristotle, ha mostrado resultados impresionantes en la Olimpiada Matemática Internacional, rivalizando con los principales laboratorios de investigación como Google y OpenAI. Aristotle emplea el lenguaje de programación Lean4 para producir pasos de razonamiento verificables, lo que lo hace particularmente valioso para sectores de alto riesgo como la aeroespacial y las finanzas. Actualmente, el modelo está accesible para desarrolladores y matemáticos a través de una API gratuita, con planes de comercialización en marcha.