ماجرا مربوط به یکی از معروفترین مسئلههای تاریخ ریاضی است؛ «آخرین قضیهی فرما». فرما در سال 1637 گفته بود اگر توان عددها بیشتر از 2 باشد، نمیشود سه عدد صحیح مثبت پیدا کرد که مثلاً رابطهای مثل a³ + b³ = c³ را درست کنند.
او ادعا کرد برای این حرف اثبات دارد، اما اثبات آن را ننوشته بود. ریاضیدانها 358 سال درگیر این مسئله بودند تا اندرو وایلس در سال 1995 بالاخره اثبات درست آن را منتشر کرد.
حالا Claude اثبات وایلس را به شکلی تبدیل کرده که کامپیوتر بتواند تکتک مراحلش را خودش بررسی کند. این کار خیلی مهم است، چون یک اثبات ریاضی ممکن است صدها صفحه باشد و فقط یک اشتباه کوچک کل آن را خراب کند.
جالبتر اینکه از سال 2024 یک پروژهی انسانی در Imperial College London برای انجام همین کار شروع شده بود و بودجهاش تا 2029 ادامه داشت؛ اما Claude این کار را در 11 روز انجام داده.
دهها ایجنت Claude بهصورت همزمان روی بخشهای مختلف کار کردند و با دخالت بسیار کم انسان، بیش از 30 هزار قضیهی کمکی را اثبات کردند.
خروجی نهایی حدود 13 میلیون خط کد است؛ یعنی چیزی در حد حجم متنی حدود 160 رمان. ریاضیدان Kevin Buzzard هم این نتیجه را بررسی کرده و گفته اثبات نهایی فقط بر اصول پایهی ریاضی تکیه دارد و قابل بررسی توسط کامپیوتر است.
@newscitypro
