پنجشنبه ۱۳ خرداد ۹۵ ۲۱:۲۹ ۴۱ بازديد
| بهتازگي دانشمندان علوم رياضي توانستهاند تا يكي از مسائل پيچيده و بغرنج رياضي را به اثبات برسانند كه براي ذخيره اثبات ياد شده به ۲۰۰ ترابايت انباره اطلاعاتي نياز بوده است.به گزارش ايتنا از رايورز به نقل از وبسايت خبري تحليلي Gizmodo، بدون شك اثباتهاي رياضي براي هيچكس بهجز رياضيدانان جذابيت بالايي ندارد ولي علوم بسياري از مسائل رياضي پيچيده استفاده ميكنند كه همين امر موجب ميشود تا تلاش فراواني جهت اثبات مسائل پيچيده رياضي توسط دانشمندان انجام پذيرد.بهتازگي متخصصان علوم رياضي به سراغ حل كردن يكي از تئوريهاي پيچيده اين علوم رفتهاند و در كمال ناباوري مجبور بهصرف ۲۰۰ ترابايت حافظه براي ثبت اين اثبات شدهاند. اين مسئله كه در دهه ۸۰ ميلادي توسط رياضيداني به نام "رونالد گراهام" ارائه شده بود شامل يك معماي عددي بوده و طراح آن جايزهاي ۱۰۰ دلاري را براي كسي كه بتواند آن را حل كند در نظر گرفته بود.حال يك گروه سهنفره از محققان به سراغ حل اين معما رفته و توانستند در اثباتي ۲۰۰ ترابايتي به پاسخ "نه" براي اين معما دست پيدا كنند.شايان ذكر است كه پيش از اين بيشترين ميزان داده مصرف شده براي اثبات يك معادله رياضي تنها ۱۳ گيگابايت بود ولي اين تئوري جديد پس از پردازش موازي ۸۰۰ پردازنده به مدت دو روز موفق به ارتقاء اين ميزان به ۲۰۰ ترابايت شد. |  |
