লিন 4-এ ফার্মার শেষ উপপাদ্যের একটি সম্পূর্ণ, মেশিন-যাচাইকৃত প্রমাণ, যা Mathlib (লিন 4.33.1; Mathlib v4.33.0) উপর নির্মিত। যুক্তিটি Frey, Serre, Ribet, Wiles এবং Taylor-Wiles অনুসরণ করে। রিপোজিটরিতে PROOF-PATH.md এবং ব্রাউজিংয়ের জন্য একটি html ফোল্ডার অন্তর্ভুক্ত রয়েছে।

এই গবেষণা আর্টিফ্যাক্টটি রক্ষণাবেক্ষণ করা হয় না এবং অবদান গ্রহণ করে না। উপপাদ্যটি বলে যে প্রাকৃতিক সংখ্যা n ≥ 3 এবং ধনাত্মক a, b, c-এর জন্য, a^n + b^n ≠ c^n। বিল্ডটি যাচাই করে যে প্রমাণটি শুধুমাত্র লিনের তিনটি মানক স্বতঃসিদ্ধের উপর নির্ভর করে, কোনো sorry বা অতিরিক্ত স্বতঃসিদ্ধ ছাড়া।

যাচাইকরণে একটি নতুন করে lake বিল্ড, চ্যালেঞ্জের বিরুদ্ধে একটি তুলনাকারী পরীক্ষা এবং একটি স্বাধীন Rust কার্নেল (nanoda) অন্তর্ভুক্ত ছিল যা 1,052,234 ঘোষণা পরীক্ষা করেছে। তুলনাকারী নিশ্চিত করেছে যে বিবৃতিটি চ্যালেঞ্জের সাথে মেলে এবং শুধুমাত্র Mathlib ব্যবহার করে।

html ফোল্ডার (প্রায় 390 MB) প্রমাণটিকে স্থির ওয়েব পৃষ্ঠা হিসাবে উপস্থাপন করে, 29,511টি উপপাদ্য এবং 1,450টি সংজ্ঞা মডিউল সহ, অফলাইনে অনুসন্ধান এবং ব্রাউজযোগ্য।

মূল সত্তা: কোম্পানি: GitHub | ব্যক্তি: Frey, Serre, Ribet, Wiles, Taylor-Wiles

সাধারণ জিজ্ঞাসা: লিন 4-এ ফার্মার শেষ উপপাদ্যের প্রমাণ কী জড়িত?

লিন 4-এর প্রমাণটি Frey, Serre, Ribet, Wiles এবং Taylor-Wiles-এর যুক্তিকে আনুষ্ঠানিকভাবে উপস্থাপন করে। এটি Mathlib-এর উপর নির্মিত এবং লিন কার্নেল, একটি তুলনাকারী এবং একটি স্বাধীন Rust কার্নেল দ্বারা যাচাইকৃত। প্রমাণটি শুধুমাত্র লিনের মানক স্বতঃসিদ্ধ ব্যবহার করে এবং কোনো অতিরিক্ত অনুমান নেই।