استارت‌آپ هوش مصنوعی «هارمونیک»(Harmonic) که توسط «ولاد تنف»(Vlad Tenev) مدیرعامل شرکت «رابین‌هود»(Robinhood) تأسیس شده است، روز دوشنبه از انتشار نسخه بتای یک اپلیکیشن چت‌بات ویژه iOS و اندروید خبر داد که در آن کاربران می‌توانند به مدل هوش مصنوعی «اریستوتل»(Aristotle) یا «ارسطو» دسترسی داشته باشند.
به گزارش ایسنا به نقل از تک کرانچ، هارمونیک با این راه‌اندازی قصد دارد دسترسی به اریستوتل را گسترش دهد که به ادعای این استارت‌آپ، پاسخ‌های بدون توهم را برای پرسش‌های مربوط به استدلال ریاضی ارائه می‌کند. این ادعایی جسورانه با توجه به مشکلات قابلیت اطمینان مدل‌های هوش مصنوعی امروزی است. هارمونیک بر ایجاد یک «ابرهوش ریاضی»(MSI) متمرکز است و می‌خواهد در نهایت به کاربران در همه زمینه‌های متکی به ریاضی از جمله فیزیک، آمار و علوم رایانه کمک کند.
«تودور آکیم»(Tudor Achim) مدیرعامل و یکی از بنیانگذاران هارمونیک گفت: اریستوتل اولین محصولی است که در دسترس مردم قرار دارد و استدلال می‌کند و خروجی را رسماً مورد تأیید قرار می‌دهد. ما تضمین می‌کنیم در حوزه‌هایی که اریستوتل از آنها پشتیبانی می‌کند و حوزه‌های استدلال کمّی هستند، هیچ توهمی وجود ندارد.
هارمونیک در نهایت قصد دارد یک API را برای دسترسی شرکت‌ها به اریستوتل و یک برنامه وب را برای مصرف‌کنندگان منتشر کند.
هارمونیک خاطرنشان کرد که اریستوتل از طریق یک آزمون رسمی در المپیاد بین‌المللی ریاضی سال ۲۰۲۵ به مدال طلا دست یافت. مدل‌های هوش مصنوعی «گوگل» و «اوپن‌ای‌آی»(OpenAI) نیز در المپیاد امسال به مدال طلا دست یافتند اما این کار را از طریق آزمون‌های غیر رسمی انجام دادند.
عرضه نسخه بتای اریستوتل تنها چند هفته پس از آن صورت می‌گیرد که هارمونیک در دور دوم جذب سرمایه، ۱۰۰ میلیون دلار به دست آورد و ارزش آن به ۸۷۵ میلیون دلار رسید. آکیم ادعا می‌کند که هارمونیک با سرعت بسیار زیادی در مسیر خود برای دستیابی به ابرهوش ریاضی پیش می‌رود و سرمایه‌گذاران معتقدند که با توجه به دامنه جاه‌طلبی استارت‌آپ او، این ارزش‌گذاری منصفانه بوده است.
چندین شرکت فناوری پیشرو بر آموزش مدل‌های هوش مصنوعی خود برای حل مسائل ریاضی تمرکز دارند. هوش مصنوعی که بتواند مسائل ریاضی را حل کند، به خودی خود ارزشمند است اما ریاضی نیز یک حوزه منحصربه‌فرد قابل اثبات در نظر گرفته می‌شود که به مهارت‌های استدلالی اصلی نیاز دارد. سیستم‌هایی که این قابلیت‌ها را توسعه می‌دهند، ممکن است در حوزه‌های دیگر نیز سودمند باشند.
آکیم گفت: هارمونیک با وادار کردن اریستوتل به تولید پاسخ‌ها در زبان برنامه‌نویسی متن‌باز «لین»(Lean)، به راه‌حل‌های فوق‌العاده دقیق خود دست می‌یابد. پیش از این که اریستوتل به کاربران پاسخ دهد، از طریق یک فرآیند الگوریتمی که هوش مصنوعی را شامل نمی‌شود، درستی راه حل را دوباره بررسی می‌کند. برای تأیید خروجی‌ها در زمینه‌های پرمخاطره مانند دستگاه‌های پزشکی و هوانوردی، از فناوری مشابهی استفاده می‌شود.
حتی در یک دامنه محدود نیز دستیابی به عملکرد بدون توهم یک مدل هوش مصنوعی، کاری فوق‌العاده دشوار است. پژوهش‌ها نشان داده‌اند که حتی مدل‌های پیشرو هوش مصنوعی نیز زیاد دچار توهم می‌شوند و به نظر نمی‌رسد که این مشکل در حال بهبود باشد. جدیدترین مدل‌های هوش مصنوعی استدلالی اوپن‌ای‌آی بیشتر از مدل‌های قدیمی‌تر آن دچار توهم می‌شوند.
