Harmonic lyckades just med något ovanligt år 2025: en Serie C-aktie på 120 miljoner dollar till en värdering på 1.45 miljarder dollar utan en enda dollar i intäkter.
Grundades 2023 av Robinhoods VD Vlad Tenev och Tudor Achim. AI Labbet jagar något ambitiöst – matematisk superintelligens som eliminerar hallucinationer genom formell logik.
Geniet bakom felfri AI
bro AI modeller gissar svar baserat på mönster. Harmonisk's Aristoteles motor bevisar dem matematiskt.
Varje beräkning verifieras med programmeringsspråket Lean4, vilket omvandlar resonemang till kontrollerbar kod. Inga gissningar. Inga hallucinationer. Bara bevisbar logik.
Detta betyder för AI fel inom flyg- och rymdindustrin, finanssektorn eller blockchain kan kosta liv och miljarder.
Harmonisk finansieringsfördelning
| Runda | Antal | Huvudinvesterare | Värdering | Datum |
|---|---|---|---|---|
| Serie C | $ 120M | Ribbit Capital | $ 1.45B | November 2025 |
| Serie B | $ 100M | Mindre Perkins | ~ $ 900 miljoner | juli 2025 |
| Serie A | $ 75M | Redwood Capital | hemlig | september 2024 |
| Totalt höjt | $ 295M | - | - | - |
Varför riskkapitalbolag tävlar om att finansiera Harmonic?
Ribbit Capital ledde rundan, tillsammans med Sequoia, Kleiner Perkins och Emerson Collective som nya finansiärer.
Momentumet är häpnadsväckande – tre finansieringsrundor på bara 14 månader. Aristoteles's prestationen vid den internationella matematikolympiaden i juli 2025, där de tävlade mot Google och OpenAI, beseglade investerarnas förtroende.
För närvarande erbjuder Harmonic Aristoteles via ett gratis API. Matematiker och forskare använder det redan för att verifiera komplexa bevis.
Anslut med Harmonic
| plattform | Länk |
|---|---|
| Webbplats | harmonisk.kul |
| /företag/harmonicmath | |
| @HarmonicMath |
Vad gör detta spel annorlunda?
Enhörningar före intäkterna möter vanligtvis skepsis. Men Harmonic's formell verifieringsmetod löser ett miljarder dollar stort problem: att göra AI pålitliga för verksamhetskritiska system.
Det nya kapitalet kommer att finansiera de massiva datorresurserna som behövs för att träna matematiska resonemangsmodeller. Som VD Tudor Achich uttryckte det, kommer borttagandet av hallucinationer från att generera resonemang som kod, inte naturligt språk.
För säkerhetskänsliga branscher, det's inte bara innovativt – det's grundläggande.
Källor
BONUS: Få våra 200 dollarAI ”Mastery Toolkit” GRATIS när du registrerar dig!
