Harmonic baru saja melakukan sesuatu yang langka pada tahun 2025: Seri C senilai $120 juta dengan valuasi $1.45 miliar tanpa pendapatan satu dolar pun.
Didirikan bersama oleh CEO Robinhood Vlad Tenev dan Tudor Achim pada tahun 2023, ini AI Lab ini mengejar sesuatu yang ambisius—Superintelijensi Matematika yang menghilangkan halusinasi melalui logika formal.
Kejeniusan di Balik AI Bebas Kesalahan
jembatan AI model menebak jawaban berdasarkan pola. Harmonik's Mesin Aristoteles membuktikannya secara matematis.
Setiap perhitungan diverifikasi menggunakan bahasa pemrograman Lean4, mengubah penalaran menjadi kode yang dapat diperiksa. Tanpa tebakan. Tanpa halusinasi. Hanya logika yang dapat dibuktikan.
Ini penting karena AI kesalahan dalam bidang kedirgantaraan, keuangan, atau blockchain dapat menelan korban jiwa dan kerugian miliaran dolar.
Rincian Pendanaan Harmonis
| bulat | Jumlah | Investor Utama | Penilaian | Tanggal |
|---|---|---|---|---|
| Seri C | $ 120M | Modal Ribbit | $ 1.45B | November 2025 |
| Seri B | $ 100M | Perkins yang Lebih Kecil | ~ $ 900 juta | Juli 2025 |
| Seri A | $ 75M | Modal Sequoia | Terungkap | September 2024 |
| Total Dibesarkan | $ 295M | - | - | - |
Mengapa VC Berlomba-lomba Mendanai Harmonic?
Ribbit Capital memimpin putaran tersebut, bergabung dengan Sequoia, Kleiner Perkins, dan Emerson Collective sebagai pendukung baru.
Momentumnya sungguh luar biasa—tiga putaran pendanaan hanya dalam 14 bulan. Aristoteles's kinerjanya di Olimpiade Matematika Internasional pada bulan Juli 2025, bersaing langsung dengan Google dan OpenAI, memperkuat kepercayaan investor.
Saat ini, Harmonic menawarkan Aristoteles melalui API gratis. Matematikawan dan peneliti sudah menggunakannya untuk memverifikasi bukti yang rumit.
Terhubung dengan Harmonic
| Platform | Link |
|---|---|
| Situs Web | harmonik.menyenangkan |
| /perusahaan/harmonicmath | |
| @HarmonicMath |
Apa yang Membuat Taruhan Ini Berbeda?
Perusahaan unicorn pra-pendapatan biasanya menghadapi skeptisisme. Namun, Harmonic's pendekatan verifikasi formal memecahkan masalah bernilai miliaran dolar: membuat AI dapat dipercaya untuk sistem misi kritis.
Ibu kota baru ini akan mendanai sumber daya komputasi besar-besaran yang dibutuhkan untuk melatih model penalaran matematika. Seperti yang dikatakan CEO Tudor Achim, menghilangkan halusinasi berasal dari menghasilkan penalaran sebagai kode, bukan bahasa alami.
Untuk industri yang sensitif terhadap keselamatan,'s tidak hanya inovatif—itu's penting.
sumber
BONUS: Dapatkan $200 kami “AI “Mastery Toolkit” GRATIS jika Anda mendaftar!
