شرکت اوپن‌ای‌آی (OpenAI) روز سه‌شنبه ۷۲۲ دست‌نوشته ریاضی تولیدشده توسط یکی از مدل‌های داخلی خود را منتشر کرد؛ مدلی که هنوز در دسترس عموم قرار نگرفته است. این شرکت می‌گوید تقریباً تمام این نتایج با یک دستور و توسط یک ایجنت هوش مصنوعی تولید شده‌اند، اما برخی ریاضی‌دانان معتقدند تا زمان انتشار مدل و امکان بازتولید نتایج، نمی‌توان این ادعا را به‌طور مستقل تأیید کرد.
به گزارش میهن بلاکچین، این مجموعه شامل ۳۷۲ خانواده از نتایج مرتبط است و اوپن‌ای‌آی می‌گوید حدود ۴ هزار مسئله را در اختیار مدل قرار داده و نتایجی را که از نظر این شرکت ارزش انتشار داشته‌اند، انتخاب کرده است. با این حال، تنها ۱۶۲ مورد از ۷۲۲ دست‌نوشته تاکنون به‌صورت رسمی در لین (Lean)، نرم‌افزاری برای بررسی گام‌به‌گام اثبات‌های ریاضی، تأیید شده‌اند.
ریاضی‌دانان خواستار شواهد بیشتر شدند
اندرو ساترلند (Andrew Sutherland)، ریاضی‌دان موسسه فناوری ماساچوست (MIT) در واکنش به این اتفاق می‌گوید تا زمانی که مدل منتشر نشود و دیگران نتوانند نتایج را بازتولید کنند، باید این ادعاها را «تأییدنشده» در نظر گرفت. او تأکید کرد که «باید مدرک و شواهد آن را ببینیم.»
تأیید یک اثبات در لین نیز به‌تنهایی به این معنا نیست که مسئله اصلی درست تعریف شده، نتیجه جدید است یا اهمیت بالایی دارد. به همین دلیل، بخش مهمی از ارزیابی این مجموعه همچنان بر عهده ریاضی‌دانان است. موسسه مطالعات پیشرفته پرینستون نیز هشدار داده که هوش مصنوعی اکنون می‌تواند استدلال‌های ریاضی تولید کند که حتی فرد درخواست‌کننده قادر به درک یا بررسی کامل آنها نیست.
در سمت مقابل، برخی پژوهشگران این اتفاق را نقطه عطفی برای ریاضیات می‌دانند. آبیشک ساها (Abhishek Saha)، استاد ریاضیات، این اتفاق را «روزی بسیار بزرگ برای ریاضیات» توصیف کرده، اما گفته بیشتر نتایج در چارچوب پیشرفت‌های مهم در مسائل موجود قرار می‌گیرند و لزوماً به معنای حل مسائل بنیادین و تاریخی نیستند. به گفته او، یکی از ۷۲۲ نتیجه که توجه ویژه‌ای به خود جلب کرده، مربوط به «فرضیه شبه ریمان» است.
اوپن‌ای‌آی گفته است در آینده نتایج بیشتری از این پروژه را در لین رسمی‌سازی و منتشر می‌کند. با این حال، مدل ایجنت مورد استفاده و دستورهایی که برای حل مسائل به آن داده شده، همچنان در دسترس نیست و همین مسئله امکان بررسی و بازتولید مستقل نتایج را محدود کرده است.
