🔺 از فرضیه ریمان تا ضرب سریع ماتریس‌ها: برجسته‌ترین دستاوردهای ادعایی در انبوه مقالات OpenAI

🔹 به دنبال انتشار جنجالی بیش از ۷۰۰ مقاله برای ۳۷۲ مسئله باز علمی توسط OpenAI (که در پست پیشین ابعاد اعتراضی جامعه ریاضی را بررسی کردیم)، اکنون با فرونشستن گردوغبار اولیه، ارزیابی‌های فنی آغاز شده است. هرچند بررسی تمام مقالات سال‌ها زمان می‌برد و برخی نتایج به دلیل اشتباه پس‌گرفته شده یا ناخوانا توصیف شده‌اند، اما کارشناسان برجسته تأیید می‌کنند که در میان این کوه داده، ادعاهایی حیرت‌انگیز وجود دارد که می‌تواند مرزهای ریاضیات، فیزیک و علوم کامپیوتر را جابه‌جا کند.

❕ پیشروی در هولناک‌ترین مسئله ریاضی: فرضیه ریمان
فرضیه ریمان مهم‌ترین مسئله حل‌نشده ریاضیات محض و کلید معمای توزیع اعداد اول است. مدل OpenAI موفق به حل کامل آن نشده، اما دو پیشرفت عظیم پیرامون آن ارائه داده است: اثبات «حدس شبه‌ریمان» که برای کاربردهای عملی تعیین جایگاه اعداد اول کاملاً کفایت می‌کند، و دیگری اثبات عدم وجود «صفرهای سیگل» در توابع مرتبط؛ دستاوردی که ریاضی‌دانان آن را نه صرفاً یک گام روبه‌جلو، بلکه بستن پرونده یکی از قدیمی‌ترین موانع اثبات ریمان می‌دانند.

🔹 در زمینه علوم کامپیوتر نظری نیز شگفتی‌های بزرگی رقم خورده است. ضرب ماتریس‌ها سنگ‌بنای گرافیک رایانه‌ای، شبیه‌سازی‌ها و ساختار خود مدل‌های زبانی است. در حالی که دهه‌ها تلاش دانشمندان رکورد توان محاسباتی آن را به ۲.۳۷ رسانده بود، مقاله OpenAI ادعا می‌کند این ضریب را به ۲.۲۵ کاهش داده است؛ تلاشی که گویی در آن هوش مصنوعی سعی دارد کدهای بنیادی پردازش خود را سریع‌تر کند! همچنین اثبات برابری چند کلاس پیچیدگی الگوریتمی نشان داد مسائلی که نیازمند تولید داده‌های تصادفی برای حل سریع بودند، می‌توانند کاملاً بدون نیاز به تصادف نیز حل شوند.

❕ الماس‌هایی در میان انبوهی از متون ناخوانا
کیفیت این صدها مقاله به هیچ‌وجه یکدست نیست. در حالی که اثبات تعمیم چهاربعدی «حدس کاکیا» یا ساختار ماده در فیزیک نظری تحسین دانشمندان را برانگیخته، برخی مقالات فیزیک ذرات به قدری مغشوش و نامفهوم نگاشته شده‌اند که داوران آنها را شبیه به متون بی‌ارزش ارزیابی کرده‌اند. از آنجا که این اثبات‌ها توسط نرم‌افزارهای کمکی مانند «لین» تأیید صوری نشده‌اند، جامعه علمی تأکید دارد تفکیک نبوغ واقعی از خطاهای پنهان هوش مصنوعی مستلزم بازبینی‌های آکادمیک طولانی‌مدت است.

🔹 این رویداد ثابت می‌کند که سامانه‌های هوش مصنوعی اکنون قادرند ایده‌های به‌ظاهر نامرتبط ریاضی‌دانان مختلف را به یکدیگر پیوند زده و استراتژی‌های استدلالی اصیل خلق کنند؛ گامی که نشان می‌دهد آینده علم در تعامل میان بصیرت انسانی و قدرت پردازش ماشینی شکل خواهد گرفت.

[منبع]
🆔 @Science_Focus
#هوش_مصنوعی #ریاضیات #علوم_کامپیوتر #فرضیه_ریمان #الگوریتم #فیزیک_نظری #OpenAI