Harmonic baru sahaja melakukan sesuatu yang jarang berlaku pada tahun 2025: Siri C $120 juta pada penilaian $1.45 bilion tanpa satu dolar dalam hasil.
Diasaskan bersama oleh Ketua Pegawai Eksekutif Robinhood Vlad Tenev dan Tudor Achim pada 2023, ini AI makmal sedang mengejar sesuatu yang bercita-cita tinggi—Kebijaksanaan Matematik yang menghapuskan halusinasi melalui logik formal.
Jenius Di Sebalik AI Tanpa Ralat
jambatan AI model meneka jawapan berdasarkan pola. Harmonik's Enjin Aristotle membuktikannya secara matematik.
Setiap pengiraan akan disahkan menggunakan bahasa pengaturcaraan Lean4, menukar penaakulan kepada kod yang boleh disemak. Tiada tekaan. Tiada halusinasi. Hanya logik yang boleh dibuktikan.
Perkara ini kerana AI kesilapan dalam aeroangkasa, kewangan, atau blockchain boleh mengorbankan nyawa dan berbilion-bilion.
Pecahan Pembiayaan Harmonik
| Bulat | jumlah | Pelabur Utama | Penilaian | Tarikh |
|---|---|---|---|---|
| Siri C | $ 120M | Ribbit Capital | $ 1.45B | november 2025 |
| Siri B | $ 100M | Kleiner Perkins | ~$900J | Julai 2025 |
| Siri A | $ 75M | Modal Sequoia | tidak didedahkan | September 2024 |
| Jumlah Dinaikkan | $ 295M | - | - | - |
Mengapa VC Berlumba untuk Membiayai Harmonik?
Ribbit Capital mendahului pusingan itu, disertai oleh Sequoia, Kleiner Perkins, dan Emerson Collective sebagai penyokong baharu.
Momentumnya sangat mengejutkan—tiga pusingan pembiayaan dalam masa 14 bulan sahaja. Aristotle's prestasi di Olimpik Matematik Antarabangsa pada Julai 2025, bersaing secara bersemuka dengan Google dan OpenAI, mengukuhkan keyakinan pelabur.
Pada masa ini, Harmonic menawarkan Aristotle melalui API percuma. Ahli matematik dan penyelidik sudah menggunakannya untuk mengesahkan bukti yang kompleks.
Berhubung Dengan Harmonik
| platform | pautan |
|---|---|
| tapak web | harmonik.seronok |
| /syarikat/harmonicmath | |
| @HarmonicMath |
Apa yang Membuatkan Pertaruhan Ini Berbeza?
Unicorn pra-hasil biasanya menghadapi keraguan. Tetapi Harmonik's pendekatan pengesahan rasmi menyelesaikan masalah $billions: membuat AI boleh dipercayai untuk sistem kritikal misi.
Modal baharu itu akan membiayai sumber pengkomputeran besar-besaran yang diperlukan untuk melatih model penaakulan matematik. Seperti yang dikatakan oleh Ketua Pegawai Eksekutif Tudor Achim, menghapuskan halusinasi datang daripada menjana penaakulan sebagai kod, bukan bahasa semulajadi.
Untuk industri sensitif keselamatan, itu's bukan sekadar inovatif—ia's penting.
Sumber
BONUS: Dapatkan $200 kamiAI Mastery Toolkit” PERCUMA apabila anda mendaftar!
![7 Terbaik Percuma AI Penjana Manusia pada 2026 [Disemak dan Kedudukan]](https://aimojo.io/wp-content/uploads/2023/11/Best-Free-AI-Human-Generator-100x100.webp)
