Harmonic, sebuah syarikat permulaan AI yang diasaskan bersama oleh CEO Robinhood Vlad Tenev, telah melancarkan versi beta aplikasi chatbot iOS dan Android yang menampilkan Aristotle, model AI yang direka khusus untuk penaakulan matematik tanpa halusinasi.
Syarikat ini, yang baru-baru ini memperoleh dana Siri B sebanyak $100 juta pada penilaian $875 juta, membezakan dirinya daripada model AI arus perdana dengan memberi tumpuan kepada kecerdasan super matematik (MSI). Tidak seperti model bahasa besar konvensional yang sering menghadapi kesukaran dengan pengiraan kompleks, Aristotle dibangunkan dari awal untuk menjamin ketepatan dalam bidang kuantitatif.
"Aristotle ialah produk pertama yang tersedia kepada orang ramai yang melakukan penaakulan dan mengesahkan outputnya secara formal," kata CEO Harmonic dan pengasas bersama Tudor Achim. "Dalam domain yang disokong Aristotle, iaitu domain penaakulan kuantitatif, kami benar-benar menjamin bahawa tiada halusinasi berlaku."
Sistem ini mencapai ketepatan luar biasa melalui proses dua langkah. Pertama, Aristotle menterjemahkan masalah matematik dalam bahasa semula jadi ke dalam bahasa pengaturcaraan sumber terbuka Lean 4, sebuah pembantu bukti yang membolehkan definisi dan teorem matematik disemak ketepatannya. Kemudian, sebelum memberikan jawapan kepada pengguna, model ini menyemak semula penyelesaian melalui proses pengesahan algoritma yang tidak melibatkan AI—mirip kaedah pengesahan yang digunakan dalam bidang kritikal seperti peranti perubatan dan penerbangan.
Harmonic mendakwa Aristotle mencapai prestasi pingat emas dalam Olimpik Matematik Antarabangsa (IMO) 2025 melalui ujian formal, di mana masalah diterjemahkan ke dalam format yang boleh dibaca mesin. Pencapaian ini hadir pada tahun yang sama apabila model AI dari Google DeepMind dan OpenAI turut mencapai piawaian pingat emas di IMO, walaupun melalui ujian tidak formal dalam bahasa semula jadi.
Aspirasi syarikat ini melangkaui bidang matematik. Harmonic percaya MSI akan membantu pengguna dalam semua bidang yang bergantung pada penaakulan matematik, termasuk fizik, statistik, dan sains komputer. Akhirnya, syarikat merancang untuk melancarkan API bagi akses perusahaan serta aplikasi web untuk pengguna, yang berpotensi mengubah cara industri menyelesaikan masalah yang memerlukan penaakulan kuantitatif yang tepat.