Inteligencia synthetic para la startup formal de razonamiento matemático Harmonic Ai Inc. Anunció hoy que había recaudado $ 100 millones en nuevos fondos en una valoración de casi $ 900 millones para acelerar su impulso en la frontera del razonamiento matemático y su rápido progreso hacia la comercialización de su modelo insignia.
Fundada en 2023 y cofundada por Vlad Tenev, director ejecutivo de Robinhood Markets Inc., Harmonic está construyendo Aristóteles, un motor de IA de próxima generación que especifica en el razonamiento matemático formal. Aristóteles usa el Asistente de prueba Lean 4, un asistente de prueba que permite a los usuarios escribir definiciones matemáticas, teoremas y pruebas de una manera que una computadora pueda verificar la corrección, para traducir problemas matemáticos en idioma pure en pruebas formalmente verificables.
El enfoque de Harmonic se centra en la superinteligencia matemática, IA con capacidades de razonamiento que coinciden o superan a los humanos. Aristóteles ha alcanzado una tasa de éxito del 90% de última generación en puntos de referencia estándar como Minif2F mediante la autoformalización y la resolución de la escuela secundaria a problemas matemáticos de nivel de la Olimpiada Matemática Internacional. MINIF2F es un conjunto de datos de referencia diseñado para evaluar modelos de IA en un razonamiento matemático formal mediante la prueba de su capacidad para resolver problemas matemáticos utilizando sistemas de prueba formales como Lean.
La metodología de la Compañía implica el uso de la generación de datos sintéticos para la capacitación. En lugar de confiar en los datos con la internet, el sistema genera autónomos de forma autónoma, pares a prueba de problemas, que permiten la superación automática recursiva. Esencialmente, el modelo AI puede entrenar a sí mismo a través de un “bucle de autoestima” para escalar sus capacidades, trabajando desde simples ejercicios para resolver los teoremas avanzados.
En última instancia, el objetivo para Aristóteles es resolver problemas matemáticos a un nivel que excede mucho las capacidades humanas. La compañía cube que al acelerar las matemáticas, las puertas se abren a conducir avances en múltiples campos dependientes, incluida la física teórica y la ingeniería.
“Nos estamos acercando a la IA que realmente puede razonar, rápidamente, de manera confiable y a escala”, dijo Tenev, cofundador y presidente ejecutivo de Harmonic. “La superinteligencia matemática se está moviendo de la investigación a las aplicaciones del mundo actual y estamos entusiasmados de que Aristóteles comience a poner esta capacidad de IA en manos de los usuarios”.
La ronda de la Serie B fue dirigida por Kleiner Perkins Caufield & Byers, con la gerencia de paradigmas, la gestión de capital de Ribbit y los inversores existentes, Sequoia Capital Operations, Index Ventures Administration y Charlie Cheever también participan.
“Harmonic ha creado una nueva base para el razonamiento verificado y escalable que se puede confiar en entornos de alto riesgo”, dijo Ilya Fushman, socia de Kleiner Perkins. “Estoy profundamente entusiasmado con las aplicaciones de Aristóteles no solo por el software program, sino también por acelerar el progreso en la ciencia, la ingeniería y la inteligencia normal”.
Como parte del acuerdo de financiación, Fushman, quien también es un ex físico, se unirá a la junta de Harmonic como observador.
La financiación se produce después de que Harmonic había recaudado previamente $ 75 millones en fondos de la Serie A en septiembre.
Imagen: Siliconangle/Reve
Apoye nuestro contenido gratuito abierto compartiendo e interactuando con nuestro contenido y comunidad.
Únete a Thecube Alumni Belief Community
Donde los líderes tecnológicos se conectan, comparten inteligencia y crean oportunidades
11.4k+
Crimson de ex alumnos de cubos
Nivel C y técnico
Expertos en dominio
Conéctese con 11,413+ líderes de la industria de nuestra pink de líderes tecnológicos y empresariales que forman un efecto de pink confiable único.
Siliconangle Media es un líder reconocido en innovación de medios digitales que sirve al público innovador y marcas, que reúne tecnología de vanguardia, contenido influyente, concepts estratégicas y compromiso de audiencia en tiempo actual. Como la empresa matriz de Silicio, red de thecube, Investigación de THECUBE, Cube365, THECUBE AI y los superstudios de TheCube, como los establecidos en Silicon Valley y la Bolsa de Nueva York (NYSE) – Siliconangle Media opera en la intersección de medios, tecnología e IA. .
Fundada por los visionarios tecnológicos John Furrier y Dave Vellante, Siliconangle Media ha construido un poderoso ecosistema de marcas de medios digitales líderes en la industria, con un alcance de más de 15 millones de profesionales de la tecnología de élite. La nueva nube de video de AI de AI de la compañía, está abriéndose en la interacción de la audiencia, aprovechando la pink neuronal de thecubeai.com para ayudar a las empresas de tecnología a tomar decisiones basadas en datos y mantenerse a la vanguardia de las conversaciones de la industria.
