💠 آیا هوش مصنوعی قضیه آخر فرما را حل کرده است؟

🔸 آیا هوش مصنوعی قضیه آخر فرما را حل کرده است؟ پاسخ کوتاه این است که خود قضیه تازه حل نشده؛ Andrew Wiles و Richard Taylor اثبات پذیرفته‌شده آن را در دهه ۱۹۹۰ تکمیل کردند. دستاورد تازه این است که Anthropic می‌گوید Claude در ۱۱ روز نخستین اثبات کامل و سرتاسری قضیه را در Lean نوشته است؛ یعنی زنجیره‌ای حدوداً ۱۳ میلیون‌خطی که رایانه می‌تواند تک‌تک استنتاج‌های آن را بررسی کند. این تفاوت میان «کشف اثبات جدید» و «Formalization ماشینی یک اثبات موجود» برای فهم درست خبر ضروری است.

🌐 ادامه مطلب


🖥 Qorpi
@qorpi