یادگیری ماشین و مسائل حل‌نشدنی در ریاضیات
گروهی از پژوهشگران حین انجام تحقیقاتی در زمینه‌ی یادگیری ماشین، با سؤالاتی مواجه شده‌اند که ارتباط تنگاتنگی با مسئله‌ای حل‌نشدنی در ریاضیات دارد. این مسئله به «فرضیه‌ی پیوستار» معروف است. در دهه‌ی ۱۹۳۰، کورت گودل، ریاضی‌دان اتریشی، اولین‌بار ادعا کرد این مسئله حل‌نشدنی است.
مسئله‌ای که این پژوهشگران با آن رو‌به‌رو بودند، مسئله‌ی «یادگیری» نام دارد. این مسئله بررسی می‌کند آیا می‌توان با استفاده از داده‌های محدود، الگوریتمی برای حدس‌زدن الگوها یافت یا خیر. طبق مقاله‌ای که ۷ژانویه (برابر با ۱۷دی) در مجله‌ی Nature Machine Intelligence منتشر شد، این مسئله صورت جدیدی از فرضیه‌ی اثبات‌نشده‌ی پیوستار در ریاضیات است.
به‌گفته‌ی امیر یهودیف، یکی از نویسندگان این مقاله، دستیابی به چنین مطلبی برای ما بسیار تعجب‌آور بود. البته، یافتن مسئله‌ای حل‌نشدنی در ریاضیات موضوع جدید و عجیبی نیست؛ اما تبدیل‌شدن مسئله‌ای ساده در یادگیری ماشین به چنین مسئله‌ی پیچیده‌ای در ریاضیات شگفت‌آور است.
به‌عقیده‌ی جان توکر، متخصص علوم کامپیوتر، این مقاله نتیجه‌ای بسیار ارزشمند است که مفاهیم پایه‌ای برای هر دو شاخه‌ی ریاضیات و یادگیری ماشین در پی دارد.
فرض پیوستار در ریاضیات، فرضیه‌ای است که درباره‌ی اندازه‌ی مجموعه‌های نامتناهی اظهارنظر می‌کند. طبق این فرضیه، هیچ مجموعه‌ای وجود ندارد که اندازه‌ی آن بین اندازه‌ی مجموعه‌ی اعداد صحیح و اندازه‌ی مجموعه‌ی اعداد حقیقی باشد.
دانشمندان یادگیری را این‌گونه تعریف می‌کنند:
توانایی یک الگوریتم برای وسیع‌کردن دانش کسب‌شده به‌وسیله‌ی خودش. این نوع الگوریتم معمولا به سؤالی مشخص جواب «بله» یا «خیر» می‌دهد. برای مثال، می‌توان الگوریتمی طراحی کرد که پس از تغذیه با استفاده از تعدادی تصویر گربه، بتواند به این پرسش برای تصویری جدید که قبلا ندیده پاسخ دهد: آیا در تصویر گربه‌ای وجود دارد؟
یهودیف و همکارانش هنگام کار روی مسئله‌ی یادگیری و مسئله‌ی فشرده‌سازی، به فرضیه‌ی پیوستار برخوردند. هدف آن‌ها این بود همه‌ی ویژگی‌های مهم یک مجموعه را در مجموعه‌ای کوچک‌تر خلاصه کنند. این پژوهشگران در مسیر پاسخ به این پرسش به مسئله‌ای در نظریه‌ی مجموعه‌ها می‌رسیدند.
جورج کانتور، مبدع نظریه‌ی مجموعه‌ها، در دهه‌ی ۱۸۷۰ بیان کرد همه‌ی مجموعه‌های نامتناهی باهم برابر نیستند. به‌طور خاص، مجموعه‌ی اعداد صحیح از مجموعه‌ی اعداد حقیقی کوچک‌تر است؛ هرچند هر دوِ آن‌ها مجموعه‌هایی نامتناهی (دارای بی‌شمار عضو) هستند. کانتور همچنین حدس زد هیج مجموعه‌ای وجود ندارد که اندازه‌ی آن بین اندازه‌ی مجموعه‌ی اعداد صحیح و اعداد حقیقی باشد. او و بسیاری از ریاضی‌دانان و فلاسفه‌ی پس از او، موفق نشدند این حدس را اثبات کنند.
درواقع، همه‌ی تلاش‌های آن‌ها در این زمینه بیهوده بود؛ زیرا در سال ۱۹۴۰، گودل نشان داد با درنظرگرفتن اصول استاندارد، نمی‌توان این فرضیه را رد یا اثبات کرد. در دهه‌ی ۱۹۶۰، کوهن، ریاضی‌دان آمریکایی، دیدگاه‌های گودل دراین‌باره را تکمیل کرد. تأیید یا تکذیب فرضیه‌ی پیوستار، همانند تأیید یا تکذیب اصل توازی اقلیدسی در هندسه که ما را به هندسی اقلیدسی یا هذلولی یا ریمانی هدایت می‌کند، به ما تئوری سازگار جداگانه‌ای در ریاضیات می‌دهد.
گودل و کوهن نشان دادند اگر فرضیه‌ی پیوستار درست باشد، اصولی یکدست در ریاضیات پدید می‌آید و اگر نادرست باشد، اصولی کاملا متفاوت و جداگانه به‌وجود می‌آید.
در مقاله‌ی یهودیف و همکارانش، یادگیری به‌عنوان نوعی توانایی تعریف می‌شود. با داشتن این توانایی، می‌توان با مدل‌سازی مجموعه‌های کوچک درباره‌ی ویژگی‌های مجموعه‌های بزرگ‌تر حدس‌هایی زد. نکته‌ی مشترک مسئله‌ی یادگیری با فرضیه‌ی پیوستار این است که بی‌شمار راه برای تعیین مجموعه‌ی مدل وجود دارد؛ اما تعداد این راه‌ها مشخص نیست. یهودیف می‌گوید:
اگر فرضیه‌ی پیوستار درست باشد، جمع‌آوری نمونه‌ای متناهی برای مدل‌سازی کافی است؛ اما اگر فرضیه‌ی پیوستار درست نباشد، مجموعه‌ی متناهی برای این کار کافی نیست.
به‌عقیده‌ی یهودیف، اگر واقعا بخواهیم مسئله‌ی یادگیری را بفهمیم، درک ارتباط بین فشرده‌سازی و تعمیم‌دادن مدل به مجموعه‌ی نامتناهی امر مهمی است.
دانشمندان تعدادی مسئله‌ی حل‌نشدنی دیگر مشابه آنچه گفته شد، در طول ادوار مختلف یافته‌اند. برای نمونه، الن تیورینگ، مبدع نظریه‌ی الگوریتم‌ها، مسائلی طراحی کرد که هیچ رایانه‌ای نمی‌تواند آن‌ها را طی چند مرحله‌ی متناهی انجام دهد. باوجوداین، فرضیه‌ی پیوستار مسئله‌ی حل‌نشدنی بسیار خاصی است که احتمال دارد ناشی از گونه‌ای ناکاملی در زبان ریاضیات باشد. این فرضیه تأثیر مهمی در تئوری یادگیری ماشینی دارد؛ هرچند درعمل، احتمالا تأثیر خاصی نخواهد داشت.
اینترنت چگونه و توسط چه کسانی اختراع شد و تا به امروز چه مسیری را طی کرده است؟ پاسخ احتمالا شما را غافلگیر خواهد کرد.
با صرف هزینه‌ای کمتر از ۱۵ میلیون تومان، چه گوشی‌هایی در بازار ایران ارزش خرید بالایی دارند؟ در مقاله‌ی پیش رو بهترین مدل‌ها را معرفی خواهیم کرد.
آیا می‌دانستید می‌توانید با استفاده از روش‌هایی ساده، کرایه‌ی اسنپ خود را کاهش دهید؟
گردشگران تور گردشگری تماشای نهنگ‌ها در آب‌های استرالیای غربی شاهد حمله بی‌رحمانه گروه بزرگی از نهنگ‌های قاتل به نهنگ آبی کوتوله بودند.
پیدا کردن مخاطبین در اینستاگرام فقط یک گزینه در تنظیمات این اپلیکیشن نیست؛ در پشت‌صحنه‌ی ماجرا تکنیک‌هایی نهفته است که احتمالا آن‌ها را نمی‌دانید.
اگر قصد دارید بدون صرف هزینه‌ی سرسام‌آور، گوشی مناسبی بخرید، در این مقاله بهترین گوشی‌های میان‌رده‌ی بازار ایران را به شما معرفی خواهیم کرد.
اگر جزو آن دسته از افرادی هستید که ساعت‌های هوشمند با صفحه مربعی را ترجیح می‌دهید، در این مقاله با محصولاتی از برندهای مختلف آشنا خواهید شد.
