چالش رامانوجان؛ آزمونی برای اثباتسازیِ هوش مصنوعی
هوش مصنوعیClaude Opus 4.8خلاصهٔ کاملتر
گیل کلای (Gil Kalai) تو وبلاگش نوشته که ایدو کامینر (Ido Kaminer) اطلاعات «چالش رامانوجان برای هوش مصنوعی» رو باهاش به اشتراک گذاشته و اونم خوشحاله که با خوانندههاش در میون بذاره. صفحهی چالش رو ramanujanmachine.com هست و یه مقالهی کامل هم براش منتشر شده.
به نقل از ایمیل کامینر، این چالش از همون روز اعلام شروع شده و تا اول آگوست ۲۰۲۶ ادامه داره. ساختارش ده تا مسئلهی سطحپژوهشیه که همگی دربارهی فرمولهای صریح برای ثابتهای ریاضیان و طوری طراحی شدن که بسنجن آیا سیستمهای هوش مصنوعی میتونن از یه فرمول مشخص به یه اثبات معتبر یا یه اشتقاق نمادین (symbolic derivation) برسن.
نکتهی مهم طراحی چالش اینه که قوانینش عمداً با سیستمهای فرمال و مبتنیبر کد سازگاره. طبق گفتهی کامینر، پاسخهای پذیرفتهشده میتونن اثبات فرمال باشن، اشتقاق مبتنیبر CAS (سیستم جبر نمادین) باشن، یا اثباتهای قابلفهم برای انسان که با کد بازتولیدپذیر همراهی میشن.
هدف اصلی هم فقط این نیست که ببینن AI میتونه جواب پیدا کنه یا نه؛ بلکه میخوان بسنجن آیا میتونه اشتقاقهایی تولید کنه که به شکل ساختاریافته و قابلاتکا بشه بررسیشون کرد. یعنی تأکید رو بازبینیپذیری و درستیِ مسیر استدلاله، نه صرفاً رسیدن به عدد نهایی.
نکات کلیدی:
- چالش رامانوجان ده مسئلهی سطحپژوهشی دربارهی فرمولهای ثابتهای ریاضی داره
- بازهی زمانی: از روز اعلام تا اول آگوست ۲۰۲۶
- پاسخهای مجاز: اثبات فرمال، اشتقاق مبتنیبر CAS، یا اثبات انسانی با کد بازتولیدپذیر
- تمرکز رو تولید اشتقاق قابلبررسی، نه فقط پیدا کردن جواب
- خبر از وبلاگ گیل کلای و به نقل از ایدو کامینر منتشر شده
