Inilabas ng Harmonic, isang AI startup na itinatag kasama si Robinhood CEO Vlad Tenev, ang beta version ng iOS at Android chatbot app nito na tampok ang Aristotle—isang AI model na partikular na dinisenyo para sa matematikal na pangangatwiran na walang halusinasyon.
Ang kumpanya, na kamakailan ay nagtaas ng $100 milyon sa Series B funding na may $875 milyon na valuation, ay naiiba sa mga karaniwang AI models dahil sa pagtutok nito sa mathematical superintelligence (MSI). Hindi tulad ng mga tradisyunal na large language models na nahihirapan sa komplikadong kalkulasyon, ang Aristotle ay binuo mula sa simula upang tiyakin ang katumpakan sa mga larangang nangangailangan ng eksaktong bilang.
"Ang Aristotle ang unang produktong available sa publiko na gumagawa ng pangangatwiran at pormal na pinapatunayan ang output," ayon kay Harmonic CEO at co-founder Tudor Achim. "Sa mga larangang sinusuportahan ng Aristotle, na mga quantitative reasoning domains, talagang ginagarantiya naming walang halusinasyon."
Nakakamit ng sistema ang pambihirang katumpakan sa pamamagitan ng dalawang hakbang. Una, isinasalin ng Aristotle ang mga math problem na nasa natural na wika patungo sa open-source programming language na Lean 4, isang proof assistant na nagpapahintulot na masuri ang mga matematikal na depinisyon at teorema para sa pagiging tama. Pagkatapos, bago ibigay ang sagot sa mga user, muling sinusuri ng modelo ang mga solusyon sa pamamagitan ng algorithmic verification process na hindi gumagamit ng AI—katulad ng mga verification method na ginagamit sa mga kritikal na larangan tulad ng medical devices at aviation.
Ipinagmamalaki ng Harmonic na nakamit ng Aristotle ang gold medal performance sa 2025 International Math Olympiad (IMO) sa pamamagitan ng formal testing, kung saan ang mga problema ay isinalin sa machine-readable format. Nangyari ito sa taon kung kailan ang mga AI model mula sa Google DeepMind at OpenAI ay nakamit din ang gold medal standards sa IMO, bagaman sa informal na pagsusulit gamit ang natural na wika.
Hindi lamang sa matematika nakatuon ang ambisyon ng kumpanya. Naniniwala ang Harmonic na makakatulong ang MSI sa mga larangang umaasa sa matematikal na pangangatwiran, kabilang ang physics, statistics, at computer science. Sa hinaharap, balak ng kumpanya na maglunsad ng API para sa enterprise access at isang web application para sa mga consumer, na posibleng magbago sa paraan ng pagharap ng mga industriya sa mga problemang nangangailangan ng eksaktong quantitative reasoning.