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