یک شرکت پژوهشی مدعی شده است سامانه هوش مصنوعی این شرکت توانسته است حدس ریاضی مشهور «آرونسون-آمبینیس» را که از سال ۲۰۰۸ حل‌نشده باقی مانده بود، تنها در سه روز اثبات کند؛ دستاوردی که می‌تواند درک دانشمندان از مرز توانایی رایانه‌های کوانتومی و کلاسیک را تغییر دهد.
شرکت پژوهشی PSI اعلام کرده است که سامانه تحقیقاتی هوش مصنوعی آن موفق به ارائه اثباتی برای حدس آرونسون-آمبینیس (Aaronson-Ambainis Conjecture) شده است؛ مسئله‌ای ریاضی که به شرایط برتری محاسباتی رایانه‌های کوانتومی نسبت به رایانه‌های معمولی می‌پردازد.
به گفته PSI، این سامانه با استفاده از یک مدل غیرعمومی شرکت Anthropic که روی زیرساخت اختصاصی PSI اجرا می‌شد، توانست اثبات ریاضی مسئله را در سه روز تولید کند.
این اثبات سپس با استفاده از نرم‌افزار Lean، ابزاری تخصصی برای بررسی صحت منطقی اثبات‌های ریاضی، اعتبارسنجی شد. سامانه همچنین دو بار اثبات اولیه را بهبود داد و نسخه نهایی نیز با موفقیت توسط Lean تأیید شد.
حدس آرونسون-آمبینیس بررسی می‌کند که آیا رایانه‌های کلاسیک می‌توانند دسته مشخصی از الگوریتم‌های کوانتومی را با هزینه محاسباتی قابل‌قبول شبیه‌سازی کنند یا خیر. اثبات این حدس می‌تواند نشان دهد که در برخی شرایط، برتری ظاهری رایانه‌های کوانتومی نسبت به رایانه‌های کلاسیک آن‌قدرها هم گسترده نیست.
البته این نتیجه به معنای بی‌فایده بودن رایانه‌های کوانتومی یا از بین رفتن برتری آن‌ها نیست؛ برای مثال، الگوریتم‌هایی مانند الگوریتم شور که برای تجزیه اعداد بزرگ طراحی شده‌اند، همچنان خارج از محدوده این حدس قرار می‌گیرند.
با وجود اهمیت این دستاورد، اثبات ارائه‌شده هنوز مراحل کامل داوری مستقل دانشگاهی را پشت سر نگذاشته است. شماری از پژوهشگران دانشگاه استنفورد بخش‌هایی از این کار را بررسی کرده‌اند و بازبینی گسترده‌تر جامعه علمی برای تأیید نهایی آن ضروری است.
این پروژه به سرپرستی دیوید تورتران انجام شده و جیم هالورسن نیز مسئول بررسی اثبات بوده است. شرکت PSI که در سپتامبر ۲۰۲۶ فعالیت خود را به‌صورت عمومی آغاز کرد، بر توسعه سامانه‌های خودکار برای انجام تحقیقات علمی تمرکز دارد.
اگر این نتیجه در بررسی‌های مستقل نیز تأیید شود، می‌تواند نمونه مهمی از نقش هوش مصنوعی در حل مسائل پیچیده ریاضی و پیشبرد مرزهای دانش علمی باشد.
کد خبر ۲۱۲۰۵۰۸۱۸.۰۲۷
منبع: اینترستیگ اینجرینگ
