plataforma de inteligencia artificial armónico‘de 100 millones de dolares para decirte que has invertido nosotros habíamos transferido. La empresa salió a la palestra con una nueva noticia de inversión.
armónico, $120 millones inversión recibida. La ronda de inversión serie C de 120 millones de dólares de la empresa Gestión de capital Ribbit condujo. La ronda de inversión de Harmonic, con sede en Estados Unidos, incluyó a Sequoia Capital Operations, Index Ventures Management, Kleiner Perkins Caufield & Byers y Emerson Collective. Fundada en 2023, la empresa aumentó su valoración a 1.450 millones de dólares.
Harmonic dijo que utilizará la nueva inversión para avanzar rápidamente en su modelo avanzado de razonamiento matemático y hacer que la IA de Aristóteles esté ampliamente disponible en industrias donde la confiabilidad es crítica.
La empresa también es la directora ejecutiva de Robinhood. Vlad Tenev con Tudor Achim fue implementado por. Harmonic aplica inteligencia artificial al razonamiento matemático formal y produce pruebas matemáticas confiables y verificables por computadora.
La empresa desarrolló Aristóteles El motor de inteligencia artificial transforma problemas matemáticos presentados en lenguaje natural en pruebas formales y verificables utilizando el asistente de pruebas Lean 4.
La principal diferencia de Harmonic es que produce problemas y soluciones matemáticos artificiales en la educación en lugar de datos en Internet. De esta forma, el modelo de inteligencia artificial mejora sus capacidades a partir de preguntas sencillas y puede resolver problemas matemáticos cada vez más difíciles.
Aristóteles obtuvo una medalla de oro en la Olimpiada Internacional de Matemáticas, se puso a disposición de los investigadores como API y recientemente se amplió con importantes actualizaciones, como soporte de lenguaje natural y generación automática de lemas.