شرکت Physical Superintelligence (PSI) اعلام کرد که با به‌کارگیری یک مدل معرفی‌نشده از شرکت آنتروپیک، توانسته است حدس ۱۸ ساله آرونسون-امباینیس را ظرف سه روز اثبات کند.
به گزارش دیجیاتو، این فرضیه بنیادین که از سال ۲۰۰۸ به عنوان یک مسئله اثبات‌نشده مطرح بود، به بررسی شرایط دستیابی رایانه‌های کوانتومی به سرعت بسیار بالاتر نسبت به سیستم‌های سنتی می‌پردازد. این آزمایشگاه با توسعه یک سامانه پژوهشی مجهز به مدل آنتروپیک توانست این حدس را بررسی و یکی از ابهامات این حوزه را برطرف کند.
دیوید تورتوریان از اعضای کادر فنی PSI رهبری این کار و توسعه سیستم را برعهده داشته است، اما هویت دقیق مدل محرمانه هنوز مشخص نیست و آنتروپیک پاسخی به درخواست‌ها نداده است. به گفته PSI، این اثبات نشان می‌دهد سرعت رایانه‌های کوانتومی همیشگی نیست و فقط در مسائل خاص با ساختار ریاضی ویژه رخ می‌دهد.
درستی منطقی این اثبات ریاضی توسط نرم‌افزار تخصصی Lean تأیید شده و نسخه اولیه به همراه دو ویرایش بهبودیافته بعدی پذیرفته شده‌اند. این نتیجه هنوز ارزیابی و داوری کامل دانشگاهی را پشت سر نگذاشته است و پژوهشگران دانشگاه استنفورد در حال آماده‌سازی نسخه‌ای خلاصه‌تر برای بررسی سایر متخصصان هستند.
نکات کلیدی این خبر
- شرکت PSI حدس ۱۸ ساله آرونسون-امباینیس را اثبات کرد.
- این فرضیه با استفاده از یک مدل معرفی‌نشده از آنتروپیک طی ۳ روز حل شد.
- درستی منطقی اثبات ریاضی توسط نرم‌افزار تخصصی Lean تأیید شد.
منبع خبر
دیجیاتو
— مدل معرفی‌نشده آنتروپیک یک معمای ۱۸ ساله رایانش کوانتومی را سه‌روزه حل کرد
انتشار در منبع:
این خبر را تحریریه‌ی مهران هاست بر پایه‌ی گزارش منبع بالا به فارسی نوشته است؛ جزئیات کامل و به‌روزرسانی‌های بعدی را در منبع اصلی ببینید.
