Harmonic ha appena realizzato qualcosa di raro nel 2025: una serie C da 120 milioni di dollari con una valutazione di 1.45 miliardi di dollari, senza un solo dollaro di fatturato.
Co-fondata dal CEO di Robinhood Vlad Tenev e Tudor Achim nel 2023, questa AI il laboratorio sta perseguendo qualcosa di ambizioso: la superintelligenza matematica che elimina le allucinazioni attraverso la logica formale.
Il genio dietro l'intelligenza artificiale senza errori
ponte AI i modelli ipotizzano le risposte in base a schemi. Armonico's Il motore di Aristotele li dimostra matematicamente.
Ogni calcolo viene verificato utilizzando il linguaggio di programmazione Lean4, trasformando il ragionamento in codice verificabile. Nessuna congettura. Nessuna allucinazione. Solo logica dimostrabile.
Questo è importante perché AI errori nel settore aerospaziale, finanziario o blockchain può costare vite umane e miliardi.
Ripartizione del finanziamento armonico
| Rotondo | Quantità | Investitore principale | Valorizzazione | Data |
|---|---|---|---|---|
| Serie C. | $ 120M | Ribbit Capital | $ 1.45B | Nov 2025 |
| Serie B. | $ 100M | Kleiner Perkins | ~ $ 900 milioni | Luglio 2025 |
| Serie A | $ 75M | Sequoia Capital | Undisclosed | Sept 2024 |
| Totale rialzato | $ 295M | - | - | - |
Perché i VC stanno correndo per finanziare Harmonic?
Ribbit Capital ha guidato il round, affiancato da Sequoia, Kleiner Perkins ed Emerson Collective come nuovo finanziatore.
Lo slancio è sbalorditivo: tre round di finanziamento in soli 14 mesi. Aristotele's la prestazione alle Olimpiadi internazionali di matematica del luglio 2025, in cui si è confrontata direttamente con Google e OpenAI, ha rafforzato la fiducia degli investitori.
Attualmente, Harmonic offre Aristotle tramite un'API gratuita. Matematici e ricercatori la stanno già utilizzando per verificare dimostrazioni complesse.
Connettiti con Harmonic
| Piattaforma | vetro |
|---|---|
| Sito web | divertimento armonico |
| /azienda/harmonicmath | |
| @HarmonicMath |
Cosa rende questa scommessa diversa?
Gli unicorni pre-fatturato di solito affrontano lo scetticismo. Ma Harmonic's L'approccio di verifica formale risolve un problema da miliardi di dollari: rendere AI affidabile per sistemi mission-critical.
Il nuovo capitale finanzierà le ingenti risorse di calcolo necessarie per addestrare i modelli di ragionamento matematico. Come ha affermato l'amministratore delegato Tudor Achim, eliminare le allucinazioni si ottiene generando il ragionamento sotto forma di codice, non di linguaggio naturale.
Per le industrie sensibili alla sicurezza, ciò's non solo innovativo, ma's essenziale.
fonti
BONUS: Ottieni i nostri 200$ "AI "Mastery Toolkit" GRATIS se ti registri!
