ریاضی‌دانان؛ دشمن هوش مصنوعی

این هشدار در حالی مطرح شده که طی هفته جاری، تریستان باک‌مستر، استاد دانشگاه نیویورک (NYU)، شرکت اوپن‌ای‌آی را متهم کرد که برای حل یک مساله مهم ریاضی، او را تحت فشار گذاشته تا نام همکارش را که در شرکت آنتروپیک فعالیت می‌کند، به‌عنوان مشارکت‌کننده ذکر نکند. باک‌مستر همچنین این پرسش را مطرح کرد که آیا شرکت اوپن‌ای‌آی از کار آنها با ابزار کُدکس استفاده کرده تا در جریان یک آخرهفته طولانی پردازش، اثباتی مهم و پیشگامانه برای یک مساله ریاضی ارائه دهد.

شرکت اوپن‌ای‌آی نیز روز پنج‌شنبه پس از انتقاد برخی پژوهشگران دانشگاه کلتک (Caltech)، حمایت مالی خود از یک رویداد ریاضی در این دانشگاه را پس گرفت.

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

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

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