Harmonic właśnie dokonał czegoś niezwykłego w 2025 r.: pozyskał 120 milionów dolarów z rundy finansowania serii C przy wycenie 1.45 miliarda dolarów, nie generując ani jednego dolara przychodu.
Współzałożony w 2023 roku przez dyrektora generalnego Robinhood Vlada Teneva i Tudora Achima, AI Laboratorium dąży do osiągnięcia ambitnego celu — matematycznej superinteligencji, która eliminuje halucynacje za pomocą formalnej logiki.
Geniusz stojący za sztuczną inteligencją bez błędów
Większość AI Modele odgadują odpowiedzi na podstawie wzorców. Harmoniczne's Silnik Arystotelesa udowadnia to matematycznie.
Każde obliczenie jest weryfikowane za pomocą języka programowania Lean4, zamieniając rozumowanie w sprawdzalny kod. Bez domysłów. Bez halucynacji. Tylko logika, którą można udowodnić.
Ma to znaczenie, ponieważ AI błędy w lotnictwie, finansach lub blockchain, może kosztować ludzkie życie i miliardy.
Harmoniczne rozbicie finansowania
| Okrągły | ilość | Główny Inwestor | Wycena | Data |
|---|---|---|---|---|
| Seria C | $ 120M | Ribbit Capital | $ 1.45B | listopada 2025 |
| Seria B | $ 100M | Mniejszy Perkins | ~ 900 mln USD | Lipiec 2025 |
| Seria A | $ 75M | Stolica Sekwoi | Nieujawniony | września 2024 |
| Razem podniesiony | $ 295M | - | - | - |
Dlaczego firmy venture capital starają się pozyskać fundusze dla Harmonic?
Rundę finansowania poprowadził Ribbit Capital, a dołączyli do niego Sequoia, Kleiner Perkins i Emerson Collective jako nowi inwestorzy.
Dynamika jest oszałamiająca – trzy rundy finansowania w zaledwie 14 miesięcy. Arystoteles's Wyniki firmy na Międzynarodowej Olimpiadzie Matematycznej w lipcu 2025 r., w bezpośredniej rywalizacji z Google i OpenAI, przypieczętowały zaufanie inwestorów.
Obecnie Harmonic udostępnia Aristotle za pośrednictwem bezpłatnego API. Matematycy i badacze już używają go do weryfikacji skomplikowanych dowodów.
Połącz się z harmoniczną
| Platforma | Połączyć |
|---|---|
| Strona internetowa | harmoniczna.zabawa |
| /firma/harmonicmath | |
| @HarmonicMath |
Co wyróżnia ten zakład?
Jednorożce przed osiągnięciem przychodów zazwyczaj spotykają się ze sceptycyzmem. Ale Harmonic's formalne podejście do weryfikacji rozwiązuje problem wart miliardy dolarów: tworzenie AI godny zaufania w systemach o znaczeniu krytycznym.
Nowy kapitał sfinansuje ogromne zasoby obliczeniowe potrzebne do trenowania modeli rozumowania matematycznego. Jak ujął to prezes Tudor Achim, usuwanie halucynacji polega na generowaniu rozumowania jako kodu, a nie język naturalny.
W przypadku branż, w których bezpieczeństwo jest najważniejsze,'s nie tylko innowacyjne, ale's istotny.
Źródła
BONUS: Odbierz nasze 200 dolarówAI „Zestaw narzędzi Mastery Toolkit” GRATIS po rejestracji!
