چرا استفاده از هوش مصنوعی OpenAI برای حل مسائل ریاضیِ حل‌نشده، ریاضی‌دانان را نگران کرده است؟
شرکت OpenAI بیش از ۷۰۰ مقاله پژوهشی ریاضی تولیدشده با هوش مصنوعی منتشر کرده است. این اقدام امیدها به شتاب گرفتن اکتشافات علمی با کمک هوش مصنوعی را افزایش داده، اما هم‌زمان نگرانی‌هایی درباره اعتبار یافته‌های این فناوری و آینده پژوهش در ریاضیات برانگیخته است.
این شرکت در ۶ اکتبر ۷۲۲ پیش‌چاپ منتشر کرد که ۳۷۲ مجموعه از نتایج ریاضی را در حوزه‌هایی از جمله جبر، هندسه، نظریه اعداد و منطق ریاضی در بر می‌گرفت.
با این حال، انتشار این مجموعه به‌سرعت با بررسی‌های انتقادی روبه‌رو شد؛ زیرا پژوهشگران خطاهایی را در برخی از مقاله‌ها شناسایی کردند.
این اعلام پس از ادعای یک دستاورد دیگر در ماه سپتامبر مطرح شد؛ زمانی که OpenAI اعلام کرد یک مدل منتشرنشده این شرکت راه‌حلی پیشنهادی برای مسئله ناویه–استوکس ارائه داده است؛ مسئله‌ای حل‌نشده که نزدیک به ۹۰ سال قدمت دارد.
این مسئله به این پرسش مربوط می‌شود که آیا معادلات توصیف‌کننده حرکت سیالات همواره جواب‌هایی با رفتار مناسب و منظم دارند یا خیر. مسئله ناویه–استوکس یکی از هفت مسئله جایزه هزاره است که برای حل هر یک از آن‌ها یک میلیون دلار جایزه تعیین شده است.
OpenAI اعلام کرد که مدل این شرکت حدود ۸۸ ساعت برای توسعه راه‌حل پیشنهادی زمان صرف کرده و پس از آن، ۱۷ ساعت دیگر به صورت‌بندی رسمی و راستی‌آزمایی آن اختصاص یافته است.
مدل هوش مصنوعی OpenAI چگونه صدها مسئله ریاضی را حل کرد؟
OpenAI از یک مدل هوش مصنوعی داخلی برای بررسی هزاران پرسش ریاضی استفاده کرد و مقاله‌هایی تولید کرد که نتایجی را در چندین شاخه ریاضیات ارائه می‌دهند.
این شرکت همچنین نسخه‌های صورت‌بندی رسمی بسیاری از اثبات‌ها را با استفاده از لین (Lean) منتشر کرد؛ زبان برنامه‌نویسی و دستیار اثباتی‌ای که امکان بررسی صحت منطقی استدلال‌های ریاضی را فراهم می‌کند.
با این حال، راستی‌آزمایی رسمی جای بررسی مستقل ریاضی‌دانان را نمی‌گیرد. متخصصان همچنان باید یافته‌ها، فرض‌های به‌کاررفته و اهمیت نتایج را ارزیابی کنند.
آیا تمام یافته‌های ریاضی OpenAI راستی‌آزمایی شده‌اند؟
خیر. مقاله‌ها همچنان در معرض بررسی مستقل قرار دارند و پس از انتشار اولیه، برخی از آن‌ها اصلاح یا پس گرفته شدند.
بر اساس گزارش وب‌سایت Retraction Watch، OpenAI در ۷ اکتبر سه پیش‌چاپ را پس گرفت. این شرکت پس از شناسایی خطایی در علامت یک عبارت ریاضی متوجه شد که این خطا یکی از استدلال‌های مقاله را بی‌اعتبار می‌کند و بر دو مقاله مرتبط دیگر نیز اثر می‌گذارد. OpenAI همچنین ۱۴ دست‌نوشته دیگر را برای رفع مشکلات مربوط به اثبات‌ها، گزاره‌ها، فرضیه‌ها و ارجاعات اصلاح کرد.
چرا حل مسائل ریاضی با هوش مصنوعی ریاضی‌دانان را نگران کرده است؟
یکی از نگرانی‌ها، حجم بسیار زیاد پژوهش‌های منتشرشده است. بررسی صدها مقاله زمان‌بر است و پژوهشگران ممکن است نتوانند پیش از آنکه یافته‌ها توجه گسترده‌تری جلب کنند، صحت آن‌ها را تأیید کنند.
ریاضی‌دانان همچنین این پرسش را مطرح کرده‌اند که آیا راه‌حل‌های تولیدشده با هوش مصنوعی به‌اندازه کافی شفاف هستند تا دیگران بتوانند استدلال‌های پشت آن‌ها را درک کنند و بر پایه نتایجشان پژوهش‌های بیشتری انجام دهند.
مجله Nature گزارش داد که ابعاد انتشار پژوهش‌های OpenAI در جامعه ریاضی واکنش‌های انتقادی برانگیخته است.
نگرانی دیگر این است که ریاضیات صرفاً به یافتن پاسخ محدود نمی‌شود. تلاش برای حل مسائل دشوار می‌تواند به شکل‌گیری روش‌های تازه، کشف ارتباط میان شاخه‌های مختلف و طرح پرسش‌های جدید منجر شود.
آیا هوش مصنوعی در آینده می‌تواند جایگزین ریاضی‌دانان شود؟
هوش مصنوعی می‌تواند به دستیار پژوهشی قدرتمندی تبدیل شود و به ریاضی‌دانان در آزمودن حدس‌ها، بررسی اثبات‌های احتمالی و پرداختن به مسائلی کمک کند که حل آن‌ها در شرایط عادی به زمان و تلاش زیادی نیاز دارد.
با این حال، تخصص انسانی احتمالاً همچنان برای ارزیابی اکتشافات و یافته‌های جدید ضروری خواهد بود.
OpenAI همچنین از حمایت خود از کارگاه‌ها، کنفرانس‌ها و برنامه‌های دیگری خبر داده است که به پژوهشگران کمک می‌کنند یافته‌های این شرکت را بررسی کنند.