Courtesy of TechCrunch

Harmonic Luncurkan AI Aristotle yang Bebas Kesalahan untuk Problem Matematika

Memperkenalkan dan memperluas akses ke AI bernama Aristotle yang menawarkan jawaban tanpa hallucination dalam penalaran matematis dan bidang terkait melalui aplikasi chatbot dan API.

29 Jul 2025, 05.27 WIB

182 dibaca

Ikhtisar 15 Detik

Harmonic meluncurkan chatbot AI yang menjanjikan jawaban bebas halusinasi untuk pertanyaan matematis.
Model AI Aristotle dapat memverifikasi jawabannya menggunakan bahasa pemrograman Lean.
Harmonic mengumpulkan $100 juta dalam pendanaan untuk mencapai ambisi kecerdasan super matematis.

San Francisco, Amerika Serikat - Harmonic, sebuah startup AI yang didirikan oleh Vlad Tenev, CEO Robinhood, baru saja meluncurkan aplikasi chatbot bernama Aristotle untuk iOS dan Android dalam versi beta. Aplikasi ini memungkinkan pengguna untuk mengakses model AI yang diklaim bebas dari kesalahan atau hallucination dalam menjawab soal matematika dan penalaran kuantitatif.

Perusahaan ini memiliki tujuan untuk menciptakan 'mathematical superintelligence' yang mampu membantu dalam bidang-bidang yang sangat bergantung pada matematika seperti fisika, statistik, dan ilmu komputer. Harmonic meyakini bahwa Aristotle adalah produk pertama yang melakukan penalaran dan verifikasi output secara formal, memastikan jawaban yang benar tanpa kesalahan.

Untuk mencapai tingkat akurasi tinggi ini, Aristotle memberikan solusi menggunakan bahasa pemrograman Lean yang bersifat terbuka. Setelah AI menghasilkan jawaban, jawaban tersebut diverifikasi ulang melalui proses algoritmik yang tidak melibatkan AI, teknologi yang serupa digunakan di bidang-bidang penting seperti perangkat medis dan penerbangan agar hasilnya dapat dipertanggungjawabkan.

Harmonic baru saja mengamankan pendanaan sebesar Rp 1.64 triliun ($100 juta) dalam putaran Seri B yang dipimpin oleh Kleiner Perkins dengan valuasi perusahaan mencapai Rp 14.39 triliun ($875 juta) . Hal ini menunjukkan kepercayaan tinggi dari investor terhadap visi Harmonic dalam mengembangkan AI dengan kemampuan penalaran matematis yang sangat maju.

Selain aplikasi chatbot, Harmonic merencanakan untuk merilis API bagi perusahaan serta web app untuk konsumen. Selain itu, Aristotle telah mencapai performa medali emas di kompetisi International Math Olympiad 2025 dalam pengujian formal yang dilakukan dengan sistem machine-readable, berbeda dengan Google dan OpenAI yang menggunakan tes informal secara bahasa alami.

Referensi:
[1] https://techcrunch.com/2025/07/28/harmonic-the-robinhood-ceos-ai-math-startup-launches-an-ai-chatbot-app/

Analisis Kami

"Pendekatan Harmonic dengan mengintegrasikan AI dan verifikasi formal melalui bahasa pemrograman Lean sangat menjanjikan untuk mengurangi masalah hallucination yang sering muncul pada AI generatif. Namun, mengingat kompleksitas matematika tingkat tinggi, tantangan utama akan tetap ada terkait ekspansi kapasitas dan adaptasi Aristotle di luar ranah kuantitatif yang ketat."

Analisis Ahli

Andrew Ng

"They are taking a very promising approach by combining formal verification methods with AI to reduce hallucinations, which is crucial for safety-critical applications."

Yoshua Bengio

"Ensuring rigor and correctness through formal methods in AI reasoning is an important step forward, especially for advancing AI's reliability in scientific domains."

Prediksi Kami

Di masa depan, model AI seperti Aristotle yang dapat melakukan verifikasi formal terhadap jawaban matematika berpotensi merevolusi cara kita memanfaatkan AI dalam ilmu pengetahuan dan teknologi, terutama untuk aplikasi berisiko tinggi yang memerlukan akurasi cepat dan tanpa kesalahan.

Pertanyaan Terkait

Apa tujuan utama Harmonic dengan meluncurkan aplikasi chatbot Aristotle?

Tujuan utama Harmonic dengan meluncurkan aplikasi chatbot Aristotle adalah untuk memperluas akses pengguna kepada model AI yang memberikan jawaban yang bebas dari halusinasi dalam penalaran matematis.

Siapa yang mendirikan Harmonic dan apa perannya dalam perusahaan?

Harmonic didirikan oleh Vlad Tenev, CEO Robinhood, yang berperan sebagai salah satu pemimpin dalam visi dan strategi perusahaan.

Bagaimana Aristotle menjamin bahwa jawabannya bebas dari halusinasi?

Aristotle menjamin bahwa jawabannya bebas dari halusinasi dengan memproduksi respons dalam bahasa pemrograman open source Lean dan memverifikasi solusi melalui proses algoritmik yang tidak melibatkan AI.

Apa yang dicapai Aristotle dalam kompetisi International Math Olympiad?

Aristotle mencapai performa medali emas dalam International Math Olympiad 2025 melalui pengujian formal yang diterjemahkan ke dalam format yang dapat dibaca mesin.

Apa rencana Harmonic untuk masa depan setelah peluncuran beta ini?

Setelah peluncuran beta, Harmonic berencana untuk merilis API agar perusahaan dapat mengakses Aristotle serta aplikasi web untuk konsumen.