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