Harmonic tegi 2025. aastal midagi haruldast: 120 miljoni dollari suuruse C-seeria, mille väärtus oli 1.45 miljardit dollarit ja mille tulu ei olnud ühtegi dollarit.
Robinhoodi tegevjuhi Vlad Tenevi ja Tudor Achimi poolt 2023. aastal asutatud AI labor jahib midagi ambitsioonikat – matemaatilist ülimõistust, mis kõrvaldab hallutsinatsioonid formaalse loogika abil.
Veavaba tehisintellekti taga peituv geenius
sild AI mudelid arvavad vastuseid mustrite põhjal. Harmooniline's Aristotelese mootor tõestab neid matemaatiliselt.
Iga arvutust kontrollitakse Lean4 programmeerimiskeele abil, muutes arutluskäigu kontrollitavaks koodiks. Ei mingit oletamist. Ei mingeid hallutsinatsioone. Ainult tõestatav loogika.
See on oluline, sest AI vead lennunduses, rahanduses või blockchain võib maksta elusid ja miljardeid.
Harmoonilise rahastamise jaotus
| ümber | Summa | Juhtinvestor | Hindamine | kuupäev |
|---|---|---|---|---|
| Seeria C | $ 120M | Ribbit Capital | $ 1.45B | november 2025 |
| B-seeria | $ 100M | Väiksemad Perkinsid | ~900 miljonit dollarit | juuli 2025 |
| Seeria A | $ 75M | Sequoia pealinn | Avalikustamata | september 2024 |
| Kokku tõstetud | $ 295M | - | - | - |
Miks riskikapitalifondid võistlevad Harmonicu rahastamise nimel?
Rahastusvooru juhtis Ribbit Capital, uue toetajana liitusid nendega Sequoia, Kleiner Perkins ja Emerson Collective.
Hoog on vapustav – kolm rahastamisvooru kõigest 14 kuuga. Aristoteles's sooritus 2025. aasta juulis toimunud rahvusvahelisel matemaatikaolümpiaadil, kus ettevõte võistles otse Google'i ja OpenAI-ga, kinnistas investorite usalduse.
Praegu pakub Harmonic Aristotelest tasuta API kaudu. Matemaatikud ja teadlased kasutavad seda juba keerukate tõestuste kontrollimiseks.
Ühendu Harmonicuga
| Platvorm | on siin |
|---|---|
| veebisait | harmooniline.lõbus |
| LinkedIn kanalites | /ettevõte/harmonicmath |
| puperdama | @HarmonicMath |
Mis teeb selle panuse teistest erinevaks?
Enne tulu teenimist seisavad ükssarvikud tavaliselt skeptiliselt silmitsi. Aga Harmonic's Formaalne verifitseerimismeetod lahendab miljardite dollarite probleemi: tehes AI usaldusväärne missioonikriitiliste süsteemide jaoks.
Uus kapital rahastab matemaatiliste arutlusmudelite treenimiseks vajalikke tohutuid arvutusressursse. Nagu tegevjuht Tudor Achim ütles, tuleb hallutsinatsioonide eemaldamine arutluskäikude loomisest koodina, mitte ... loomulik keel.
Ohutustundlike tööstusharude jaoks, mis's mitte ainult uuenduslik – see's oluline.
Allikad
BONUS: Hankige meie 200 dollaritAI "Meisterlikkuse tööriistakomplekt" TASUTA registreerumisel!
