رد فرضیه زمان نمایی توسط مدل هوش مصنوعی OpenAI
شرکت OpenAI اعلام کرد که یکی از مدل‌های داخلی این شرکت موفق به رد «فرضیه زمان نمایی» (ETH) شده است؛ معمایی که ۲۷ سال در دنیای علوم کامپیوتر بی‌پاسخ مانده بود.
بر اساس اعلام OpenAI، مدل هوش مصنوعی این شرکت برهان رد این فرضیه را در تاریخ ۱۶ اکتبر ۲۰۲۶ پیدا کرده است. این دستاورد در ۲۶ اکتبر ۲۰۲۶ به صورت رسمی توسط این شرکت اعلام شد.
فرضیه زمان نمایی که توسط راسل ایمپالیاجو، راماموهان پاتوری و فرانسیس زین ارائه شده بود، بیان می‌کند که هیچ الگوریتمی نمی‌تواند مسئله 3-SAT را در همه موارد با زمانی کمتر از رشد نمایی حل کند.
الگوریتم جدیدی که برای رد این فرضیه طراحی شده، تعداد تمام پاسخ‌های درست مسئله را محاسبه می‌کند. به گفته رایان ویلیامز، این الگوریتم زمان محاسبه مسئله 3-SAT را به حدود ۲ به توان (n تقسیم بر لگاریتم n به توان اندکی بیشتر از یک دوم) کاهش می‌دهد.
جزئیات این برهان در یک مقاله علمی ۶۷ صفحه‌ای توسط OpenAI منتشر شده است.
منبع
هر منبع در سایتِ خودش باز می‌شود؛ این صفحه همین‌جا می‌ماند.
دیدگاه‌ها
این خبر دیگر در دسترس نیست
شاید کهنه شده یا منبعش برداشته شده. خبرهای تازه‌ای که به کارِ شما می‌آید پایینِ همین صفحه است.
برو به «برای تو»