OpenAI مجموعه‌ای شامل ۷۲۲ دست‌نوشته ریاضی را منتشر کرده که همگی به یک مدل داخلی و هنوز منتشرنشده این شرکت نسبت داده شده‌اند. این اسناد در گیت‌هاب قرار گرفته‌اند و طبق توضیح OpenAI، تقریباً همه آن‌ها با یک پرامپت در اختیار یک عامل هوش مصنوعی تولید شده‌اند؛ هرچند برخی نتایج ممکن است به چند تلاش نیاز داشته باشند. این ادعا از نظر ظرفیت هوش مصنوعی برای حل مسائل ریاضی مهم است، اما پژوهشگران می‌گویند تا زمان انتشار مدل و امکان تکرار نتایج، ادعای حل یک‌مرحله‌ای مسائل قابل تأیید نیست.
۷۲۲ دست‌نوشته، اما نه ۷۲۲ مسئله حل‌شده
OpenAI می‌گوید حدود ۴ هزار مسئله را به مدل سپرده و خروجی‌هایی را که از نظر این شرکت برای انتشار به‌اندازه کافی مهم بوده‌اند، انتخاب کرده است. ۷۲۲ دست‌نوشته منتشرشده در ۳۷۲ «خانواده» نتیجه دسته‌بندی شده‌اند. هر خانواده می‌تواند شامل یک قضیه اصلی، استدلال‌های تکمیلی، پیامدهای آن یا اثبات‌های جایگزین باشد. بنابراین تعداد دست‌نوشته‌ها را نمی‌توان معادل تعداد مسائل مستقل حل‌شده دانست.
به گفته OpenAI، نتیجه متوسط به میزانی از توان پردازشی نیاز داشته که معادل حدود سه ساعت استفاده از قابلیت «فکر کردن» ChatGPT Pro است. این مقیاس با ادعای ماه گذشته درباره مسئله ناویر-استوکس تفاوت دارد؛ در آن مورد، ۱۰ هزار عامل هماهنگ‌کننده به‌مدت ۸۸ ساعت کار کرده بودند.
این مجموعه طیفی از نتایج ریاضی را در بر می‌گیرد. آبیشک ساها، استاد دانشگاه، انتشار آن را «روزی بسیار بزرگ برای ریاضیات» توصیف کرد، اما هم‌زمان گفت بیشتر مسائل در محدوده پیشرفت‌های قابل توجه در برنامه‌های پژوهشی موجود یا دستاوردهای غافلگیرکننده قرار می‌گیرند، نه در سطح تغییرات بنیادین. در میان ۷۲۲ نتیجه، تنها یک مسئله، یعنی «فرضیه ریمان شبه‌ای»، در جایگاه مسئله‌ای با اهمیت استثنایی قرار گرفته است.
تنها بخشی از نتایج با Lean بررسی شده‌اند
از میان ۷۲۲ مقاله، فقط ۱۶۲ مورد دارای نتیجه اصلی formalized یا صورت‌بندی‌شده در Lean هستند؛ یعنی حدود ۲۲ درصد کل مجموعه. Lean نرم‌افزاری است که گام‌های منطقی یک اثبات را به‌صورت ماشینی بررسی می‌کند. OpenAI اعلام کرده است که برای دیگر دست‌نوشته‌ها نیز در صورت آماده شدن، صورت‌بندی Lean اضافه خواهد کرد.
با این حال، حتی عبور یک اثبات از بررسی Lean به‌تنهایی همه ابهام‌ها را برطرف نمی‌کند. این بررسی نشان می‌دهد اثبات، از گزاره‌ای که در Lean نوشته شده، پیروی می‌کند؛ اما مشخص نمی‌کند آن گزاره دقیقاً با مسئله اولیه یکسان است، نتیجه واقعاً جدید است یا از نظر ریاضی اهمیت دارد. تشخیص این موارد همچنان به بررسی ریاضی‌دانان نیاز دارد.
خود OpenAI نیز هشدار داده است که همه دست‌نوشته‌ها صورت‌بندی Lean ندارند و برخی نتایج بدون صورت‌بندی ممکن است دارای اشکال باشند. این نکته باعث شده انتشار ۷۲۲ سند، بیش از آن‌که پایان فرایند داوری باشد، آغاز بررسی مستقل آن‌ها تلقی شود. این شرکت برای ۱۰ نتیجه، خلاصه‌های کوتاه‌شده‌ای از روند استدلال منتشر کرده است.
انتقاد از نبود مدل و پرامپت‌ها
اندرو ساترلند، ریاضی‌دان مؤسسه فناوری ماساچوست، به Scientific American گفت تا زمانی که مدل منتشر نشود و دیگران نتوانند نتایج را تکرار کنند، ادعاهای مربوط به حل مسائل با یک عامل و در یک نوبت باید تأییدنشده تلقی شوند. او خواهان ارائه شواهد قابل بررسی شد.
یک گروه مشورتی در مؤسسه مطالعات پیشرفته در نیوجرسی نیز در ۲۹ سپتامبر توصیه کرده بود نام مدل، پرامپت‌ها، خلاصه‌ای از زنجیره استدلال، زمان صرف‌شده و هزینه محاسباتی هر نتیجه منتشر شود. OpenAI در انتشار فعلی میانگین هزینه محاسباتی و ۱۰ خلاصه استدلال را ارائه کرده، اما پرامپت‌ها را منتشر نکرده است. این شرکت می‌گوید همچنان در حال کار روی انتشار مسئولانه مدل است.
خود مؤسسه مطالعات پیشرفته هشدار داده است که اکنون هوش مصنوعی می‌تواند استدلال‌های ریاضی تولید کند، بدون آن‌که انسانی که درخواست را مطرح کرده قادر به فهم، راستی‌آزمایی یا پذیرش مسئولیت آن باشد. در مقابل، دنیل لیت، ریاضی‌دان دانشگاه تورنتو، معتقد است دلیلی برای محرمانه نگه داشتن پاسخ مسائل ریاضی وجود ندارد.
واکنش‌های اولیه به مخزن گیت‌هاب نیز یکدست نبوده است. برخی پژوهشگران درباره دشواری فهم بعضی اثبات‌ها و نبود مسیر مشخص برای ارسال اصلاحات انتقاد کرده‌اند. در نقطه مقابل، انتشار دیگری از سوی Anthropic برای اثبات قضیه آخر فرما، تمام ۱۳ میلیون خط کد بررسی‌شده را در گیت‌هاب قرار داد؛ البته آن پروژه یک قضیه شناخته‌شده را که اندرو وایلز در سال ۱۹۹۵ اثبات کرده بود، صورت‌بندی کرد و مدعی کشف نتیجه جدید نبود.
تصویر بازار؛ داده‌های Moneyiar در ۸ اکتبر
بر اساس داده‌های بازار Moneyiar در ساعت ۰۹:۱۹ روز ۸ اکتبر ۲۰۲۶، قیمت Ethena با نماد ENA برابر ۰٫۲۱۹۸۲۶۹۴۰۴ دلار بود؛ این دارایی در ۲۴ ساعت ۶٫۴۱ درصد و در هفت روز ۱۵٫۶۲ درصد کاهش داشت.
قیمت Polygon با نماد POL نیز ۰٫۱۰۱۳۳۷۹۸۶۳ دلار ثبت شد و تغییرات آن در بازه‌های ۲۴ ساعته و هفت‌روزه به‌ترتیب منفی ۱٫۰۲ و منفی ۹٫۳۸ درصد بود. Aethir با نماد ATH با قیمت ۰٫۰۰۶۷۳۰۵۷۲۸ دلار معامله می‌شد؛ تغییر روزانه آن منفی ۰٫۳۶ درصد و تغییر هفت‌روزه‌اش مثبت ۱۳٫۱۷ درصد بود. این ارقام صرفاً تصویری از وضعیت بازار در زمان اعلام‌شده هستند.
