Berita dari Deep Tide TechFlow, pada 26 November, perusahaan rintisan AI Harmonic yang didirikan bersama oleh CEO Robinhood Vlad Tenev telah menyelesaikan pendanaan sebesar 120 juta dolar AS, dengan valuasi mencapai 1,45 miliar dolar AS. Putaran pendanaan ini dipimpin oleh Ribbit Capital, dengan partisipasi dari Sequoia, Kleiner Perkins, dan investor baru Emerson Collective.
Teknologi inti Harmonic “Kecerdasan Super Matematis ( MSI )” didasarkan pada logika formal dan bukan prediksi statistik, bertujuan untuk mengatasi masalah ilusi AI. Model unggulannya, Aristotle, menunjukkan kinerja yang luar biasa dalam kompetisi Olimpiade Matematika Internasional, mencapai tingkat yang setara dengan laboratorium penelitian terkemuka seperti Google dan OpenAI.
Aristotle menghasilkan langkah-langkah penalaran yang dapat diverifikasi melalui bahasa pemrograman Lean4, memastikan kesimpulan didasarkan pada logika yang ketat. Teknologi ini sangat cocok untuk industri berisiko tinggi seperti dirgantara dan keuangan. Saat ini, Aristotle telah dibuka untuk pengembang dan matematikawan melalui API gratis, dan rencana komersial akan diluncurkan di kemudian hari.
Lihat Asli
Halaman ini mungkin berisi konten pihak ketiga, yang disediakan untuk tujuan informasi saja (bukan pernyataan/jaminan) dan tidak boleh dianggap sebagai dukungan terhadap pandangannya oleh Gate, atau sebagai nasihat keuangan atau profesional. Lihat Penafian untuk detailnya.
Perusahaan AI Harmonic mendapatkan pendanaan sebesar 120 juta dolar AS, dengan valuasi mencapai 1,45 miliar dolar AS
Berita dari Deep Tide TechFlow, pada 26 November, perusahaan rintisan AI Harmonic yang didirikan bersama oleh CEO Robinhood Vlad Tenev telah menyelesaikan pendanaan sebesar 120 juta dolar AS, dengan valuasi mencapai 1,45 miliar dolar AS. Putaran pendanaan ini dipimpin oleh Ribbit Capital, dengan partisipasi dari Sequoia, Kleiner Perkins, dan investor baru Emerson Collective.
Teknologi inti Harmonic “Kecerdasan Super Matematis ( MSI )” didasarkan pada logika formal dan bukan prediksi statistik, bertujuan untuk mengatasi masalah ilusi AI. Model unggulannya, Aristotle, menunjukkan kinerja yang luar biasa dalam kompetisi Olimpiade Matematika Internasional, mencapai tingkat yang setara dengan laboratorium penelitian terkemuka seperti Google dan OpenAI.
Aristotle menghasilkan langkah-langkah penalaran yang dapat diverifikasi melalui bahasa pemrograman Lean4, memastikan kesimpulan didasarkan pada logika yang ketat. Teknologi ini sangat cocok untuk industri berisiko tinggi seperti dirgantara dan keuangan. Saat ini, Aristotle telah dibuka untuk pengembang dan matematikawan melalui API gratis, dan rencana komersial akan diluncurkan di kemudian hari.