Harmonic acaba de lograr algo poco común en 2025: una Serie C de 120 millones de dólares con una valoración de 1.45 millones de dólares sin un solo dólar de ingresos.
Cofundada por el CEO de Robinhood, Vlad Tenev, y Tudor Achim en 2023, esta AI El laboratorio está persiguiendo algo ambicioso: una superinteligencia matemática que elimine las alucinaciones a través de la lógica formal.
El genio detrás de la IA sin errores
La mayoría de las AI Los modelos adivinan respuestas basándose en patrones. Armónico's El motor de Aristóteles los demuestra matemáticamente.
Cada cálculo se verifica con el lenguaje de programación Lean4, convirtiendo el razonamiento en código comprobable. Sin conjeturas. Sin alucinaciones. Solo lógica demostrable.
Esto importa porque AI errores en la industria aeroespacial, las finanzas o blockchain Puede costar vidas y miles de millones.
Desglose de la financiación armónica
| Redondo | Cantidad | Inversor principal | Valuación | Fecha |
|---|---|---|---|---|
| Serie C | $120 M | Ribbit Capital | $ 1.45B | nov 2025 |
| Serie b | $100 M | Kleiner Perkins | ~ $ 900M | 2025 de julio |
| Serie A | $75 M | Sequoia Capital | No divulgada | Septiembre 2024 |
| Total recaudado | $295 M | - | - | - |
¿Por qué los VC están compitiendo para financiar Harmonic?
Ribbit Capital lideró la ronda, junto con Sequoia, Kleiner Perkins y Emerson Collective como nuevo patrocinador.
El impulso es asombroso: tres rondas de financiación en tan solo 14 meses. Aristóteles's Su desempeño en la Olimpiada Internacional de Matemáticas de julio de 2025, compitiendo cara a cara con Google y OpenAI, selló la confianza de los inversores.
Actualmente, Harmonic ofrece Aristotle a través de una API gratuita. Matemáticos e investigadores ya lo están utilizando para verificar demostraciones complejas.
Conéctate con Harmonic
| Plataforma | Enlace |
|---|---|
| Sitio web | diversión armónica |
| /empresa/harmonicmath | |
| @MatemáticasArmónicas |
¿Qué hace que esta apuesta sea diferente?
Los unicornios pre-ingresos suelen enfrentar escepticismo. Pero Harmonic's El enfoque de verificación formal resuelve un problema de miles de millones de dólares: hacer AI confiable para sistemas de misión crítica.
El nuevo capital financiará los enormes recursos informáticos necesarios para entrenar modelos de razonamiento matemático. Como afirmó el director ejecutivo Tudor Achim, la eliminación de las alucinaciones se logra generando el razonamiento como código, no como lenguaje natural.
Para las industrias sensibles a la seguridad, que's No sólo es innovador, es's esencial.
Fuentes
BONUS: Obtenga nuestros $200 “AI “Mastery Toolkit” ¡GRATIS cuando te registras!
