اخبار هوش مصنوعی

چرا ریاضی‌دان ها با آزمایشگاه‌های هوش مصنوعی درگیر شده‌اند؟

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

4 دقیقه مطالعه
  • پشتیبانی شبکه
  • هوش مصنوعی
  • هوش
  • مصنوعی
  • ریاضی
  • ریاضی‌دانان
  • آنها
  • OpenAI
چرا ریاضی‌دان ها با آزمایشگاه‌های هوش مصنوعی درگیر شده‌اند؟

خلاصه تحلیلی خبر

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

موضوعات اصلی: پشتیبانی شبکه، هوش مصنوعی، هوش، مصنوعی، ریاضی، ریاضی‌دانان

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

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

حتما بخوانیداسپیس‌ایکس با مشتری ناشناسی قرارداد ۱۳ میلیارد دلاری بست

راه‌حل هوش مصنوعی برای مسائل ریاضی قابل درک نیست

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

هوش مصنوعی مسائل ریاضی را حل می‌کند

مرتبطریاضی‌دانان خواستار شفافیت OpenAI شدند

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

هشدار ریاضی‌دانان درباره سرقت علمی

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

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

بیشتر بخوانیدمتا عامل هوش مصنوعی Muse را معرفی کرد + تصویر

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

نوشتهچرا ریاضی‌دان ها با آزمایشگاه‌های هوش مصنوعی درگیر شده‌اند؟اولین بار درTechnoc. پدیدار شد.

برای ارزیابی پایداری، امنیت و نگهداری این زیرساخت، راهنمای پشتیبانی شبکه را نیز مطالعه کنید.