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