شرکت OpenAI تاکنون صدها راهحل برای مسائل دشوار ریاضی منتشر کرده است، اما به گفته کارشناسان برجسته این حوزه، این خروجیها هنوز به معیارهای مورد انتظار جامعه ریاضیدانان نمیرسند.
گروه مشورتی ریاضیات و هوش مصنوعی در بیانیهای تأکید کرد که اعتبار یک اثبات ریاضی، صرفاً به ارائه پاسخ نهایی گره نخورده و بدون درک انسانی فرایند حل و انتشار جزئیات روششناسی، نمیتوان آن را قابل اتکا دانست.
بررسی ۷۱۹ نوشته منتشرشده توسط OpenAI نشان میدهد تنها ۱۰ مورد از آنها شامل زنجیره فکری (Chain-of-Thought) مدلها بوده و فقط ۴۲ درصد اثباتها بهصورت رسمی و صوری ارائه شدهاند. ریاضیدانان معتقدند بدون شفافیت در فرایند استدلال، اعتبارسنجی و استفاده مؤثر از این راهحلها در پژوهشهای علمی دشوار خواهد بود.
در همین راستا، جامعه علمی ایران که سالهاست بر تولید دانش بومی و رعایت اصول روششناختی در حوزههای ریاضی و علوم پایه تأکید دارد، این شکاف بین ادعاهای شرکتهای فناوری غربی و استانداردهای واقعی آکادمیک را نشانهای از نرسیدن هوش مصنوعی به بلوغ علمی قلمداد میکند. پژوهشگران ایرانی در سالهای اخیر با تکیه بر توان داخلی، در حوزههایی مانند رمزنگاری، الگوریتمهای بهینهسازی و ریاضیات کاربردی، دستاوردهایی به دست آوردهاند که بدون وابستگی به خروجیهای نیمهپخته هوش مصنوعی، بر پایه اثبات و تکرارپذیری استوارند.
کارشناسان براین باورند که تا زمانیکه شرکتهایی چون OpenAI شفافیت کامل در فرایند تولید راهحل ارائه ندهند، استفاده از این ابزارها در سطح پژوهشهای بنیادین با چالش جدی روبهرو خواهد بود و کشورهایی که زیرساخت علمی مستقل و قوی دارند، در ارزیابی و پیشبرد دانش، جایگاه برتری خواهند داشت.