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