آخرین قضیه فرما؛ چگونه اندرو وایلز معمای ۳۵۸ ساله ریاضیات را حل کرد؟

آخرین قضیه فرما، معمایی که با ظاهری ساده، ذهن نوابغ ریاضی را برای بیش از سه قرن به چالش کشید، سرانجام توسط اندرو وایلز گشوده شد. این روایت، سفر طولانی از حاشیه‌ی یک کتاب در قرن هفدهم تا اتاق‌های مدرن ریاضیات است.

از یادداشت حاشیه‌ای تا چالش جهانی

در سال ۱۶۳۷، پیر دو فرما در حاشیه‌ی کتابی از دیوفانتوس، ادعایی کرد که فضای کافی برای اثبات آن نداشت. او نوشت که اثباتی شگفت‌انگیز یافته، اما حاشیه صفحه باریک است. این جمله، جرقه شروع یکی از طولانی‌ترین رقابت‌های علمی تاریخ شد.

صورت مسئله بسیار ملموس است: برای توان ۲، بی‌نهایت جواب وجود دارد، اما برای هر توان بزرگ‌تر از ۲، هیچ جواب صحیحی در اعداد طبیعی یافت نمی‌شود. این سادگی ظاهری، تله‌ای بود که حتی برای لئونارد اویلر نیز دشوار بود.

تلاش نسل‌ها و نقش سوفی ژرمن

ریاضی‌دانان قرن‌ها تلاش کردند تا این قضیه را برای توان‌های مختلف ثابت کنند. در این میان، نام سوفی ژرمن درخشید؛ زنی که با هویت مستعار و در شرایط سخت سیاسی، ایده‌هایی را مطرح کرد که مسیر رسیدن به اثبات را هموار ساخت.

پیش از رسیدن به حل نهایی، ریاضی‌دانان موفق شدند توان‌های ۳، ۵ و ۷ را حل کنند، اما فاصله تا اثبات کلی برای تمام توان‌ها همچنان بسیار زیاد به نظر می‌رسید.

پل میان دو دنیای ریاضی: حدس تانیاما-شیمورا

تحول بزرگ زمانی رخ داد که دو ریاضی‌دان جوان ژاپنی، تانیاما و شیمورا، رابطه‌ای میان منحنی‌های بیضوی و فرم‌های پیمانه‌ای برقرار کردند. این حدس، در ابتدا یک موضوع فرعی به نظر می‌رسید، اما بعدها به قلب اصلی حل مسئله تبدیل شد.

"اگر حدس تانیاما-شیمورا درست باشد، منحنی فرای غیرممکن می‌شود و در نتیجه، جوابی برای معادله‌ی فرما وجود نخواهد داشت."

این پیوند غیرمنتظره، مسیر را برای اندرو وایلز باز کرد تا از طریق اثبات این حدس، به هدف نهایی خود برسد.

پیروزی اندرو وایلز و عصر هوش مصنوعی

وایلز پس از هفت سال کار در انزوای کامل، در سال ۱۹۹۴ موفق به ارائه اثبات خود شد. اگرچه در ابتدا حفره‌ای در کار او پیدا شد، اما با همکاری ریچارد تیلور و استفاده از نظریه‌های پیشرفته، اثبات او نهایی و بی‌نقص شد.

امروزه، این دستاورد در عصر جدید نیز در حال تکامل است. در سال ۲۰۲۶، هوش مصنوعی با استفاده از زبان برنامه‌نویسی Lean، توانست تمام جزئیات این اثبات پیچیده را با دقت ریاضی تایید کند.

در نهایت، آخرین قضیه فرما نشان داد که چگونه یک یادداشت ساده می‌تواند مسیرهای جدیدی در علم باز کند و پیوند میان شاخه‌های مختلف دانش را برقرار سازد.