OpenAI اخیراً ۷۲۲ دست‌نوشته منتشر کرده که در آن‌ها راه‌حل‌های تولیدشده با هوش مصنوعی برای مسائل دیرپای ریاضی ارائه شده است. این مقاله‌ها هفته گذشته به‌صورت عمومی منتشر شدند. ریاضی‌دانان می‌گویند بررسی این حجم از نتایج ممکن است سال‌ها طول بکشد و نگران‌اند که نبود استدلال روشن، استفاده از این کارها برای پژوهش‌های بعدی را دشوار کند.
چرا جامعه ریاضی نگران است
نام مدل هوش مصنوعی‌ای که این اثبات‌ها را تولید کرده اعلام نشده، اما تحلیلگران از همین حالا در تلاش‌اند ادعاها را اعتبارسنجی کنند. کارشناسان می‌گویند راه‌حلی که بدون نشان‌دادن مراحل استدلال، از صورت مسئله مستقیماً به پاسخ نهایی می‌رسد، بینش چندانی در اختیار نمی‌گذارد. تا وقتی مشخص نباشد نتیجه چگونه به دست آمده، پژوهشگران نمی‌توانند نظریه‌های تازه‌ای توسعه دهند یا یافته‌ها را مبنای کارهای بعدی قرار دهند.
چرا مهم است
برای همه کسانی که به پژوهش‌های ریاضی متکی‌اند—از دانشجویان و مهندسان گرفته تا دانشمندان—سیل ناگهانی اثبات‌های تأییدنشده می‌تواند روند پیشرفت را کند کند، چون ممکن است هر نتیجه به بررسی گسترده انسانی نیاز داشته باشد. این موضوع همچنین پرسش‌هایی درباره میزان اعتماد به اکتشافات تولیدشده با هوش مصنوعی و استفاده از آن‌ها در کاربردهای دنیای واقعی مطرح می‌کند.
