این دسته به چالشهای مربوط به پیچیدگی محاسباتی و منطقی که مدلهای هوش مصنوعی با آن روبرو هستند، میپردازد. توسعه نرمافزار یک کار با پیچیدگی بالا است که نیازمند درک روابط بین اجزای مختلف، پیشبینی پیامدهای تغییرات و حفظ یکپارچگی سیستم در طول زمان است. مدلهای زبان بزرگ فعلی، با وجود توانایی در تشخیص الگوهای محلی، اغلب در استدلال در مورد ساختارهای جهانی و بلندمدت دچار مشکل میشوند. این دسته به بررسی تحقیقاتی میپردازد که هدفشان تجهیز هوش مصنوعی به ابزارهای استدلال نمادین، برنامهریزی سلسلهمراتبی و درک ساختاری است تا بتوانند از پس وظایفی با پیچیدگی بالاتر برآیند.
دانشمندان چارچوب ریاضی را معرفی میکنند که نشان میدهد عملکرد مدلهای بزرگ زبان با قدرت محاسباتی میشود. مطالعه نشان میدهد انتقال واضحی از پیشرفتهای سریع به و وجود دارد و حد بالای دقت را تعیین میکند.
تصور کنید یک وظیفه صنعتی پیچیده و ۱۰ ساعته به فرآیندی تبدیل شود که تنها پنج ثانیه طول میکشد. این یک داستان علمی-تخیلی نیست؛ بلکه واقعیت جدید در شرکت غولپیکر شیمیایی BASF است که به لطف همکاری پیشگامانه با شرکت پیشرو در محاسبات کوانتومی، D-Wave، محقق شده است. آنها با موفقیت یک اپلیکیشن هیبریدی-کوانتومی را … Read more
در یک پیشرفت چشمگیر در حوزه محاسبات کوانتومی، پژوهشگران موفق به طراحی الگوریتمی کوانتومی شدهاند که قادر است یک معمای پیچیده ریاضی را تنها با یک پرسش (query) حل کند. این روش جدید الگوهای پنهان خاصی را با موفقیت شناسایی میکند؛ کاری که مدتهاست کامپیوترهای کلاسیک و حتی رویکردهای کوانتومی پیشین را به چالش کشیده … Read more
آیا تا به حال سعی کردهاید عدد بعدی در یک دنباله را حدس بزنید؟ این یکی را امتحان کنید: ۱، ۶، ۲۱، ۱۰۷، ۴۷,۱۷۶,۸۷۰… عدد بعدی چیست؟ اگر گیج شدهاید، تنها نیستید. این یک دنباله معمولی نیست؛ اینها پنج عدد اول «سگ آبی پرکار» (Busy Beaver) هستند و سفری به کرانههای مطلق محاسبات و ریاضیات … Read more
همه ما دیدهایم که ابزارهای کدنویسی هوش مصنوعی چگونه جادو میکنند—کد را تکمیل میکنند، خطاهای سینتکس را برطرف میکنند و حتی کدهای پیچیده را توضیح میدهند. پیشرفت غیرقابل انکار است. اما با سرعت گرفتن این فناوری، یک سوال بزرگ مطرح میشود: آیا هوش مصنوعی واقعاً آماده است تا به یک کدنویس مستقل و یک همتیمی … Read more