شرکت هارمونیک، استارتاپی در حوزه هوش مصنوعی که به‌همراه وِلد تنف، مدیرعامل رابینهود تأسیس شده، روز دوشنبه از راه‌اندازی بتا یک اپلیکیشن چت‌بات برای سیستم‌عامل‌های iOS و اندروید خبر داد. این اپلیکیشن به کاربران اجازه می‌دهد به مدل هوش مصنوعی این شرکت، با نام آریستوتل، دسترسی داشته باشند. هدف هارمونیک از این راه‌اندازی، گسترش دسترسی به آریستوتل است که به ادعای این شرکت، پاسخ‌هایی بدون خطاهای “توهمی” برای سوالات مرتبط با استدلال‌های ریاضی ارائه می‌دهد؛ ادعایی جسورانه با توجه به مشکلات اطمینان‌پذیری مدل‌های هوش مصنوعی امروزی.
هارمونیک بر آن است که “برون‌یابی سوپرهوش ریاضی” یا MSI را ایجاد کند و در نهایت قصد دارد به کاربران در تمام زمینه‌هایی که به ریاضیات وابسته‌اند، از جمله فیزیک، آمار و علوم کامپیوتر، کمک کند. تودور آچیـم، مدیرعامل و شریک مؤسس هارمونیک در مصاحبه‌ای با TechCrunch گفت: “[آریستوتل] اولین محصولی است که به کاربران ارائه می‌دهد و به طور رسمی خروجی‌ها را تأیید می‌کند.” او همچنین افزود: “ما در دامنه‌های استدلال کمی که آریستوتل از آن‌ها پشتیبانی می‌کند، واقعاً تضمین می‌کنیم که هیچ گونه توهمی وجود ندارد.”
هارمونیک در نظر دارد در آینده یک API برای دسترسی کسب‌وکارها به آریستوتل و همچنین یک اپلیکیشن وب برای کاربران عادی منتشر کند. به ادعای این شرکت، آریستوتل در المپیاد ریاضی بین‌المللی 2025 (IMO) عملکردی شایسته مدال طلا از خود نشان داده است که از طریق یک آزمون رسمی (به‌معنای اینکه مسائل به فرمت قابل خواندن توسط ماشین ترجمه شده‌اند) صورت گرفته است. گوگل و اوپن‌ای‌آی نیز مدل‌های هوش مصنوعی‌ای را توسعه داده‌اند که در سال جاری در IMO عملکرد مشابهی را از خود نشان داده، اما این از طریق آزمون‌های غیررسمی و به زبان طبیعی انجام شده است. هارمونیک در حال حاضر دیگر معیارهای عملکرد آریستوتل را منتشر نمی‌کند.
راه‌اندازی بتای آریستوتل در حالی انجام می‌شود که هارمونیک چندی پیش 100 میلیون دلار در یک دور سرمایه‌گذاری سری B به رهبری کلینر پرکینز با ارزشی معادل 875 میلیون دلار جذب کرده است. آچیـم همچنین ادعا می‌کند که هارمونیک با سرعت زیادی در مسیر دستیابی به MSI در حال پیشرفت است و سرمایه‌گذاران این ارزش‌گذاری را به دلیل دامنه جاه‌طلبی استارتاپش منصفانه می‌دانند.
بسیاری از شرکت‌های فناوری پیشرو در حال تمرکز بر روی آموزش مدل‌های هوش مصنوعی برای حل مسائل ریاضی هستند. توانایی انجام محاسبات ریاضی، به خودی خود ارزشی دارد، اما ریاضیات به‌عنوان یک حوزه قابل تأیید به‌طور منحصر به فرد، نیازمند مهارت‌های اصلی استدلال است. سیستم‌هایی که این قابلیت‌ها را توسعه می‌دهند، ممکن است در حوزه‌های دیگر نیز کارآیی داشته باشند. آچیـم اضافه کرد که هارمونیک با استفاده از زبان برنامه‌نویسی منبع باز Lean، پاسخ‌های دقیق‌تری تولید می‌کند. قبل از اینکه آریستوتل پاسخی به کاربران ارائه دهد، این مدل صحت راه‌حل را از طریق یک فرآیند الگوریتمی که شامل هوش مصنوعی نیست، دوباره بررسی می‌کند. مدیرعامل هارمونیک به این نکته اشاره کرد که فناوری مشابهی برای تأیید خروجی‌ها در زمینه‌های پرخطر مانند دستگاه‌های پزشکی و هوانوردی استفاده می‌شود.
کسب نتایج بدون توهم از یک مدل هوش مصنوعی حتی در یک حوزه خاص نیز کاری بسیار دشوار است. مطالعات نشان داده است که حتی مدل‌های پیشرفته هوش مصنوعی نیز به طور مکرر دچار توهم می‌شوند و این مشکل به نظر نمی‌رسد که در حال بهبود باشد. به‌عنوان مثال، جدیدترین مدل‌های استدلالی اوپن‌ای‌آی نسبت به مدل‌های قدیمی‌تر خود بیشتر دچار توهم می‌شوند.