یک شرکت پژوهشی به نام PSI مدعی شده است سامانه هوش مصنوعی این شرکت توانسته یکی از مسائل ریاضی مهم حوزه محاسبات کوانتومی را که از سال ۲۰۰۸ حلنشده باقی مانده بود، تنها در سه روز اثبات کند.
این سامانه با استفاده از یک مدل غیرعمومی شرکت Anthropic، اثبات ریاضی حدس مشهور «آرونسون-آمبینیس» را تولید کرد. نرمافزار Lean نیز صحت منطقی اثبات ارائهشده را بررسی و تأیید کرده است.
این مسئله به بررسی شرایطی میپردازد که در آن رایانههای کلاسیک میتوانند برخی الگوریتمهای کوانتومی را شبیهسازی کنند و به درک دقیقتر مرز برتری رایانههای کوانتومی کمک میکند.
البته این دستاورد هنوز به تأیید مستقل و بررسی گسترده جامعه علمی نرسیده و نمیتوان آن را نتیجهای قطعی دانست.
در صورت تأیید نهایی، این اتفاق میتواند نقطه عطفی در استفاده از هوش مصنوعی برای حل مسائل پیچیده ریاضی و پیشبرد تحقیقات علمی باشد.
#هوش_مصنوعی#مرکز_نوآوری_و_توسعه_هوش_مصنوعی#پژوهشگاه_ارتباطات_و_فناوری_اطلاعات #محاسبات_کوانتومی #Anthropic #ریاضیات
۲۷۹
۶:۰۳