Harmonic klarte nettopp noe sjeldent i 2025: en serie C-bedrift på 120 millioner dollar til en verdsettelse på 1.45 milliarder dollar uten en eneste dollar i inntekter.
Dette ble grunnlagt av Robinhood-sjef Vlad Tenev og Tudor Achim i 2023. AI Laboratoriet jakter på noe ambisiøst – matematisk superintelligens som eliminerer hallusinasjoner gjennom formell logikk.
Geniet bak feilfri AI
bro AI modeller gjetter svar basert på mønstre. Harmonisk's Aristoteles' motor beviser dem matematisk.
Hver beregning verifiseres ved hjelp av programmeringsspråket Lean4, som gjør resonnement om til kontrollerbar kode. Ingen gjetting. Ingen hallusinasjoner. Bare bevisbar logikk.
Dette betyr noe fordi AI feil innen luftfart, finans eller blockchain kan koste liv og milliarder.
Harmonisk finansieringsfordeling
| Rund | Beløp | Hovedinvestor | Verdivurdering | Dato |
|---|---|---|---|---|
| Serie C | $ 120M | Ribbit Capital | $ 1.45B | november 2025 |
| Serie B | $ 100M | Mindre Perkins | ~ $ 900M | juli 2025 |
| Serie A | $ 75M | Sequoia Capital | Ikke oppgitt | september 2024 |
| Totalt hevet | $ 295M | - | - | - |
Hvorfor VC-er kjemper om å finansiere Harmonic?
Ribbit Capital ledet runden, sammen med Sequoia, Kleiner Perkins og Emerson Collective som nye støttespillere.
Momentumet er svimlende – tre finansieringsrunder på bare 14 måneder. Aristoteles's prestasjonen ved Den internasjonale matematiske olympiaden i juli 2025, der de konkurrerte direkte med Google og OpenAI, beseglet investorenes tillit.
For tiden tilbyr Harmonic Aristoteles gjennom et gratis API. Matematikere og forskere bruker det allerede til å verifisere komplekse bevis.
Koble til med harmonisk
| Plattform | link |
|---|---|
| Nettsted | harmonisk.moro |
| /selskap/harmonisk matematikk | |
| @HarmonicMath |
Hva gjør dette spillet annerledes?
Enhjørninger før inntekter møter vanligvis skepsis. Men Harmonic's formell verifiseringsmetode løser et milliardproblem: å lage AI pålitelig for virksomhetskritiske systemer.
Den nye kapitalen vil finansiere de enorme dataressursene som trengs for å trene matematiske resonneringsmodeller. Som administrerende direktør Tudor Achim uttrykte det, kommer fjerning av hallusinasjoner fra å generere resonnering som kode, ikke naturlig språk.
For sikkerhetssensitive bransjer, det's ikke bare innovativt – det's viktig.
Kilder
BONUS: Få våre 200 dollarAI «Mestringsverktøysett» GRATIS når du registrerer deg!
