‏🤖 رد فرضیه ETH توسط مدل Claude

‏شرکت Anthropic اعلام کرد که مدل تحقیقاتی داخلی Claude موفق به ارائه راه‌حلی برای مسئله 3-SAT شده است که فرضیه زمان نمایی (ETH) را رد می‌کند. طبق گزارش منتشر شده در این مقاله، این مدل الگوریتمی قطعی برای حل مسئله 3-SAT با پیچیدگی زمانی 2^o(n) یافته است.

‏بر اساس جزئیات فنی:
‏* کشف الگوریتم در تاریخ ۱۶ اکتبر و با تولید ۱۴ میلیون توکن خروجی انجام شده است.
‏* در فرایند یافتن راه‌حل، هیچ‌گونه دخالت انسانی وجود نداشته و نقش محققان تنها در تدوین نهایی مقاله بوده است.
‏* علاوه بر 3-SAT، مدل موفق به حل نسخه پیچیده‌تر این مسئله یعنی محاسبه تعداد مجموعه‌های ارضاپذیر (#3-SAT) شده است.

‏کدها و مستندات این دستاورد در مخزن رسمی Anthropic قابل مشاهده است. تاریخ کشف این الگوریتم با زمان گزارش مشابه از سوی OpenAI هم‌خوانی دارد.

🇮🇷 - هوش مصنوعی و علم داده به فارسی
🌐 سایت | تلگرام | بله | ایتا | ارتباط با ما

#Claude #ETH