هوش مصنوعی کلود توانست مسائل حلنشده قرن هفدهم را با نوشتن بلندترین اثبات ریاضی تاریخ حل کند. این سیستم در مدت 11 روز، اثبات کامل و کاملاً خودکار قضیه آخر فرما را تولید کرد که شامل 13 میلیون خط کد است و به طور کامل توسط رایانه بررسی میشود.
اثبات برتری هوش مصنوعی بر انسان
این اثبات که توسط سیستم هوش مصنوعی کلود ساخته شده، اولین اثبات کامل و بررسیشده توسط رایانه برای قضیه آخر فرما است. پروژهای مشابه که توسط ریاضیدانان در کالج امپریال لندن از سال 2024 شروع شده بود، هنوز کامل نشده است. کلود با سرعت و دقت بالا توانست این اثبات را در مدت زمان کوتاهتری انجام دهد و نظر ریاضیدانان معتبر را جلب کند. کارشناس ریاضیات، کوین بیزارد، اثبات کلود را تایید کرده و آن را درستی کامل دانسته است.
فرآیند ساخت اثبات و اهمیت آن
کلود در این پروژه عمدتاً به تنهایی کار کرد و با همکاری چندین عامل مجازی، تعاریف، نتیجهگیریهای کوچک و بزرگ را با کمترین دخالت انسانی تولید کرد. این تیم از ابزار Prove2Me بهره برد که به هر عامل مجازی لیستی از وظایف مربوط به اثبات داد تا کار تکراری کاهش یابد و سرعت فرآیند بیشتر شود.
اثبات نهایی در حجم ۱۳ میلیون خط، بیش از پنج برابر کتابهای معمولی است و معادل 160 رمان مستقل است. این کار، نشان میدهد که هوش مصنوعی چقدر میتواند در تسهیل و اطمینانبخشی به اثباتهای ریاضی نقش داشته باشد. در حالی که وایلز در 1995 اثبات این قضیه را ارائه کرد، کلود توانست این کار را با روشی کاملاً ماشینی انجام دهد، که نشان از پیشرفتهای بزرگ در حوزه اثباتهای خودکار دارد.
ارزیابی نتایج و آینده اثباتهای ریاضی
مدیر پروژه، کوین بیزارد، تایید کرده است که اثبات کلود کاملاً بیفرض و بدون نیاز به فرضهای بیشتر، اثبات قضیه آخر فرما را اثبات میکند. این اثبات صرفاً با اصول بنیادی ریاضیات صورت گرفته و اثباتی قابل اطمینان است. این رویداد نشان میدهد که اثباتهای ماشینی توانستهاند جایگاه مهمی در حوزه ریاضیات پیدا کنند و میتوانند در کاهش خطاهای انسانی و تسهیل فرآیندهای پیچیده نقش مهمی ایفا کنند.
تمام این اثبات 13 میلیون خطی در حال حاضر بر روی GitHub قرار دارد و هر ریاضیدان علاقهمند میتواند با صرف زمان، خط به خط بررسی و تحلیل کند. این گام بزرگ در فناوری اثبات خودکار، آیندهنگرانه و نویدبخش برای توسعه حوزه جهانموده و پیچیده ریاضیات است.
