A Harmonic valami ritka dolgot vitt véghez 2025-ben: egy 120 millió dolláros C sorozatú részvényt 1.45 milliárd dolláros értékeléssel, egyetlen dollárnyi bevétel nélkül.
A Robinhood vezérigazgatója, Vlad Tenev és Tudor Achim 2023-ban alapították. AI A laboratórium valami ambiciózus dolgot üldöz – egy matematikai szuperintelligenciát, amely formális logika segítségével szünteti meg a hallucinációkat.
A hibamentes mesterséges intelligencia mögött rejlő zsenialitás
híd AI A modellek minták alapján találgatják a válaszokat. Harmonikus's Arisztotelész motorja matematikailag bizonyítja őket.
Minden számítást a Lean4 programozási nyelv ellenőrz, így a logika ellenőrizhető kóddá alakul. Nincs találgatás. Nincsenek hallucinációk. Csak bizonyítható logika.
Ez azért fontos, mert AI hibák a repülőgépiparban, a pénzügyekben vagy blockchain emberéletekbe és milliárdokba kerülhet.
Harmonikus finanszírozási lebontás
| Round | Összeg | Vezető befektető | Értékelés | találka |
|---|---|---|---|---|
| C sorozat | $ 120M | Ribbit Capital | $ 1.45B | november 2025 |
| B sorozat | $ 100M | Kisebb Perkins | ~900 millió dollár | július 2025 |
| A sorozat | $ 75M | Redwood fővárosa | nyilvánosságra nem hozott | szeptember 2024 |
| Összesen emelt | $ 295M | - | - | - |
Miért versenyeznek a kockázati tőkebefektetők a Harmonic finanszírozásáért?
A Ribbit Capital vezette a finanszírozási kört, amelyhez új támogatóként csatlakozott a Sequoia, a Kleiner Perkins és az Emerson Collective.
A lendület döbbenetes – három finanszírozási kör mindössze 14 hónap alatt. (Arisztotelész)'s A 2025 júliusi Nemzetközi Matematikai Olimpián elért teljesítménye, ahol fej-fej mellett versenyeztek a Google-lel és az OpenAI-val, megerősítette a befektetői bizalmat.
Jelenleg a Harmonic egy ingyenes API-n keresztül kínálja az Arisztotelészetet. Matematikusok és kutatók már használják összetett bizonyítások ellenőrzésére.
Kapcsolódj a Harmonichoz
| Emelvény | Link |
|---|---|
| weboldal | harmonikus.szórakozás |
| /vállalat/harmonicmath | |
| @HarmonicMath |
Mi teszi ezt a fogadást mássá?
A bevétel előtti unikornisokkal általában szkepticizmus éri őket. De a Harmonic...'s A formális ellenőrzési megközelítés egy milliárd dolláros problémát old meg: AI megbízható a kritikus fontosságú rendszerekhez.
Az új tőke hatalmas számítástechnikai erőforrásokat fog finanszírozni, amelyekre a matematikai gondolkodási modellek betanításához szükség lesz. Ahogy Tudor Achim vezérigazgató fogalmazott, a hallucinációk megszüntetése a kódként generált gondolkodásból, nem pedig a logikai gondolkodásból származik. természetes nyelv.
A biztonságérzékeny iparágak számára,'s nem csak innovatív – hanem's alapvető.
Források
BÓNUSZ: Szerezd meg a 200 dolláros "AI „Mastery Toolkit” INGYENES regisztrációval!
![7 Legjobb Ingyenes AI Emberi Generátorok 2026-ben [Áttekintve és Rangsorolva]](https://aimojo.io/wp-content/uploads/2023/11/Best-Free-AI-Human-Generator-100x100.webp)
