بزرگ‌ترین بانک مسائل المپیاد ریاضی جهان برای نخستین‌بار به‌صورت عمومی منتشر شد

برای نخستین‌بار در تاریخ رقابت‌های علمی، گنجینه‌ای عظیم شامل بیش از ۳۰هزار مسئله المپیاد ریاضی به‌صورت عمومی منتشر شد تا علاقمندان به دنیای اعداد، توانایی خود را در برابر دشوارترین چالش‌های ذهنی بسنجند.

از سال ۱۹۵۹ تاکنون، المپیاد جهانی ریاضی (IMO) بالاترین سطح اعتبار و افتخار را برای نخبگان این حوزه رقم زده است و هر ساله بیش از ۱۰۰ کشور، برترین استعدادهای دانش‌آموزی خود را برای رقابتی تن‌به‌تن با شش مسئله از دشوارترین معماهای طراحی‌شده، راهی این میدان می‌کنند.

چالش‌های طراحی‌شده در رقابت‌ها معمولاً پس از پایان مسابقات و اهدای مدال‌ها، در بایگانی‌ها به دست فراموشی سپرده می‌شدند. شادن الشمری، دانشجوی دکتری در مؤسسه فناوری ماساچوست (MIT)، توضیح می‌دهد که هر کشور دفترچه‌ای از خلاقانه‌ترین مسائل خود را به مسابقات می‌آورد؛ اما تا پیش از این، تلاشی برای گردآوری و انتشار آنلاین این منابع ارزشمند صورت نگرفته بود. بازه زمانی طولانی برگزاری المپیاد، انجام چنین پروژه‌ای را به مأموریتی غول‌آسا تبدیل می‌کرد؛ اما اکنون الشمری با تدوین پایگاه داده «MathNet» این رویا را محقق کرده است.

مدل‌های هوش مصنوعی مولد با وجود هیاهوی بسیار پیرامون توانمندی‌هایشان، هنوز در حل مسائل ریاضیاتی که نیاز به استدلال واقعی دارند، عملکرد ضعیفی از خود نشان می‌دهند. ابزارهای فعلی شاید در تولید تصاویر جعلی یا خلق مستندات حقوقی ناموجود مهارت داشته باشند، اما در مواجهه با مسائل ریاضی کاملاً جدید و نادیده، اغلب با شکست مواجه می‌شوند.

نوابغ آینده، چه انسان و چه مدل‌های زبانی بزرگ، برای رسیدن به حداکثر توانمندی خود نیازمند تمرین‌های باکیفیت نیز هستند. پژوهشگران ام‌آی‌تی و دانشگاه ملک عبدالله عربستان (KAUST) معتقدند که معیارهای سنجش فعلی از نظر حجم و تنوع وظایف بسیار محدودند. راه‌حل این بن‌بست علمی، پایگاه داده‌ی مت‌نت است؛ مجموعه‌ای باکیفیت و چندزبانه از مسائل سطح المپیاد که به همراه معیاری برای ارزیابی استدلال ریاضی در مدل‌های مولد ارائه شده است.

به‌گزارش آی‌اف‌ال‌ساینس، بایگانی جامع مت‌نت حاصل جست‌وجوی دقیق تیم پژوهش میان اسناد دیجیتال مدرن و اسکن‌های کاغذی دهه‌های گذشته است. این گنجینه شامل ۲۵هزار صفحه محتوا در قالب ۱۵۹۵ فایل پی‌دی‌اف است که بیش از ۳۰هزار مسئله‌ی تخصصی از ۱۴۳ رقابت در ۴۷ کشور مختلف ازجمله ایران را دربر می‌گیرد.

بیش‌ترین تعداد مسائل از ایالات متحده با تعداد ۴۸۱۹ گردآوری شده و سهم ایران نیز ۴۰۲ مسئله است. در مجموع، مت‌نت جامع‌ترین مجموعه داده از نوع خود محسوب می‌شود و از دومین آرشیو بزرگ دنیا،‌ حدود پنج برابر بزرگ‌تر است؛ اما اهمیت اصلی مت‌نت فراتر از ابعاد عددی، در تنوع و رویکرد چندفرهنگی آن نهفته است.

ریاضی برخلاف تصور رایج، علمی تحت‌تأثیر سوگیری‌های فرهنگی است و رویکردهای آموزشی در کشورهای مختلف، تفاوت‌های بنیادینی با یکدیگر دارند. برای مثال، دانش‌آموزان فرانسوی اغلب با نگاه به ریاضیات محض و تاریخچه‌ی بزرگان این علم آموزش می‌بینند، در حالی که در چین تمرکز اصلی بر رویکردهای عددی و الگوریتمی است. دانش‌آموزان روس نیز با تکیه بر مفاهیم انتزاعی و سخت‌گیرانه تربیت می‌شوند و سیستم آموزشی آمریکا رویکردی کاربردی‌تر را دنبال می‌کند.

الشمری که خود سابقه‌ی حضور در المپیاد جهانی را دارد، امیدوار است مت‌نت به پایگاهی متمرکز برای دانش‌آموزانی تبدیل شود که در کشورهای خود به آموزش‌های تخصصی و مربیان سطح بالا دسترسی ندارند. اگرچه پیش از این انجمن‌هایی دیگر نیز وجود داشتند، فقدان قالب‌بندی استاندارد، راه‌حل‌های تأییدشده و متادیتای دقیق، همواره به‌عنوان چالشی جدی در مسیر مطرح بود.

مدل‌های هوش مصنوعی با وجود پیشرفت‌های چشمگیر، در بنچمارک‌های سخت‌گیرانه‌ی ریاضی هنوز از انسان عقب هستند. بررسی‌های انجام‌شده روی مت‌نت نشان می‌دهد که حتی برترین مدل‌های فعلی در حل تقریباً یک‌سوم از مسائل این پایگاه داده ناتوان بوده‌اند. عملکرد این سیستم‌ها در مواجهه با مسائلی که به درک هندسی و تصاویر وابسته‌اند، به مراتب ضعیف‌تر می‌شود.

استنیسلاس دهان، دانشمند علوم اعصاب شناختی، معتقد است که سیستم‌های هوش مصنوعی در واقع هیچ درکی از ماهیت مسائل ندارند و فاقد ادراک فضایی نسبت به خطوط، دایره‌ها و مثلث‌هایی هستند که سعی در تحلیلشان دارند. با‌این‌حال، مت‌نت می‌تواند به عنوان یک ابزار اصلاحی و راه‌گشا برای بهبود مدل‌های استدلالی عمل کند.

پایگاه داده مت‌نت پتانسیل بالایی دارد تا به منبعی بی‌بدیل برای دانش‌آموزان و مربیان تبدیل شود. این ابزار به طراحان سؤالات المپیاد نیز کمک می‌کند تا از اصالت و تازگی ایده‌های خود اطمینان حاصل کنند. اکنون، فرصتی فراهم شده است تا هر فردی در هر نقطه از جهان، پشت میز خود بنشیند و توانایی‌اش را در برابر معماهایی که روزی سرنوشت مدال‌های جهانی را تعیین می‌کردند، بیازماید.