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