ராபின்ஹூட் தலைமை நிர்வாக அதிகாரி வ்லாட் டெனெவ் இணைந்து நிறுவிய AI ஸ்டார்ட்அப் ஹார்மோனிக், அரிஸ்டாட்டில் எனும் AI மாதிரியை கொண்ட iOS மற்றும் ஆண்ட்ராய்டு சாட்பாட் செயலியின் பீட்டா பதிப்பை வெளியிட்டுள்ளது. இந்த மாதிரி, தவறான பதில்கள் இல்லாமல் கணித தர்க்கத்திற்காகவே வடிவமைக்கப்பட்டுள்ளது.
சமீபத்தில் $100 மில்லியன் Series B முதலீட்டை $875 மில்லியன் மதிப்பீட்டில் பெற்ற இந்த நிறுவனம், பொதுவான AI மாதிரிகளிலிருந்து வேறுபடுகிறது. இது 'கணித சூப்பர் நுண்ணறிவு' (MSI) என்பதில் கவனம் செலுத்துகிறது. பொதுவான பெரிய மொழி மாதிரிகள் சிக்கலான கணக்கீடுகளில் தவறுகளைச் செய்யும் நிலையில், அரிஸ்டாட்டில் மாதிரி துல்லியமான அளவீட்டு துறைகளில் சரியான பதில்களை உறுதி செய்யும் வகையில் அடிப்படையில் உருவாக்கப்பட்டுள்ளது.
"அரிஸ்டாட்டில் என்பது பொதுமக்களுக்கு கிடைக்கும் முதல் தயாரிப்பு. இது தர்க்கம் செய்து, பதில்களை அதிகாரபூர்வமாகச் சரிபார்க்கிறது," என ஹார்மோனிக் தலைமை நிர்வாக அதிகாரி மற்றும் இணை நிறுவனர் டியூடர் ஆச்சிம் கூறினார். "அரிஸ்டாட்டில் ஆதரிக்கும் அளவீட்டு தர்க்கத் துறைகளில், தவறான பதில்கள் கிடையாது என நாங்கள் உறுதி செய்கிறோம்."
இந்த மாதிரி, இரண்டு கட்ட செயல்முறையில் துல்லியத்தை அடைகிறது. முதலில், அரிஸ்டாட்டில் இயற்கை மொழியில் உள்ள கணிதப் பிரச்சினைகளை Lean 4 என்ற திறந்த மூல நிரலாக்க மொழிக்கு மொழிபெயர்க்கிறது. Lean 4 என்பது கணித வரையறைகள் மற்றும் கோட்பாடுகளை சரிபார்க்க உதவும் புரூஃப் அசிஸ்டன்ட் ஆகும். பின்னர், பயனாளர்களுக்கு பதில்கள் வழங்குவதற்கு முன், AI இல்லாத ஒரு கணினி வழி சரிபார்ப்பு முறையில் தீர்வுகள் இருமுறை சரிபார்க்கப்படுகின்றன. இது மருத்துவ சாதனங்கள் மற்றும் விமானப் போக்குவரத்து போன்ற உயர் பாதுகாப்பு துறைகளில் பயன்படுத்தப்படும் சரிபார்ப்பு முறையைப் போன்றது.
அரிஸ்டாட்டில், 2025 சர்வதேச கணித ஒலிம்பியாடில் (IMO) தங்கப் பதக்க நிலையை அதிகாரபூர்வ சோதனையில் பெற்றதாக ஹார்மோனிக் தெரிவிக்கிறது. இதில், பிரச்சினைகள் இயந்திரம் புரியும் வடிவில் மொழிபெயர்க்கப்பட்டு சோதிக்கப்பட்டன. இதே ஆண்டில், Google DeepMind மற்றும் OpenAI போன்ற AI நிறுவனங்களும் IMO-வில் தங்கப் பதக்க நிலையை (இயற்கை மொழியில், அதிகாரபூர்வமல்லாத சோதனையில்) அடைந்துள்ளன.
கணிதத்தைத் தாண்டி, ஹார்மோனிக் நிறுவனத்தின் கனவுகள் விரிவாக உள்ளன. கணித சூப்பர் நுண்ணறிவு (MSI) இயற்பியல், புள்ளிவிவரம், கணினி அறிவியல் உள்ளிட்ட கணித தர்க்கம் தேவைப்படும் அனைத்து துறைகளிலும் பயனளிக்கும் என நிறுவனம் நம்புகிறது. எதிர்காலத்தில், நிறுவனங்களுக்கு API மற்றும் பொதுமக்களுக்கு வலை செயலி வெளியிட திட்டமிடப்பட்டுள்ளது. இது துல்லியமான அளவீட்டு தர்க்கம் தேவைப்படும் துறைகளில் மாற்றத்தை ஏற்படுத்தும் என எதிர்பார்க்கப்படுகிறது.