OpenAI یافته هایی را در مورد صدها مسئله ریاضی منتشر می کند

شرکت هوش مصنوعی ایالات متحده OpenAI صدها مقاله تحقیقاتی ریاضی را که توسط یک مدل هوش مصنوعی منتشر نشده منتشر کرده است، یافته‌ها را برای بررسی در دسترس قرار می‌دهد و در عین حال هشدار می‌دهد که برخی ممکن است حاوی خطا باشند.

این مجموعه که روز سه‌شنبه در پلتفرم اشتراک‌گذاری کد GitHub منتشر شد، شامل ۷۲۲ نسخه خطی است که در ۳۷۲ مجموعه از نتایج مرتبط گروه‌بندی شده‌اند. اینها می توانند شامل یک یافته اصلی، استدلال های پشتیبان یا شواهد جایگزین باشند.

به گفته این شرکت، این مدل تقریبا 4000 مشکل تحقیقاتی را در طول آزمایش انجام داد.

OpenAI گفت که نتایج منتشر شده در مراحل مختلف تأیید قرار دارد.

برای بسیاری از نتایج، این شرکت همچنین اثبات‌هایی را منتشر کرد که به زبان برنامه‌نویسی Lean نوشته شده بودند که رایانه‌ها را قادر می‌سازد بررسی کنند که آیا استدلال‌های ریاضی به طور منطقی دنبال می‌شوند یا خیر. قصد دارد به محض در دسترس شدن، موارد بیشتری را اضافه کند.

OpenAI 10 خلاصه از استدلال مدل و برآورد قدرت محاسباتی مورد استفاده را منتشر کرد. گفته شد که میانگین نتیجه به قدرت محاسباتی معادل تقریبا سه ساعت تفکر ChatGPT Pro نیاز دارد.

این شرکت گفت که با گروه مشاوره مستقل ریاضیات و هوش مصنوعی در موسسه مطالعات پیشرفته در مورد نحوه ارائه و به اشتراک گذاری این تحقیق مشورت کرده است.

این گروه گفت: "این یک رویداد مهم برای ریاضیات است، با پیامدهایی هم برای ریاضیات و هم برای جامعه ریاضی که بسیار فراتر از نتایج فردی است."

در ادامه می‌افزاید: "عمومی کردن این اثر اولین قدم است. این انتشار آغاز، نه تکمیل فرآیند درک انسان و ادغام کار در دانش ریاضی است." آینده تحقیقات ریاضی نمی تواند تنها شامل درک نتایج تولید شده توسط آزمایشگاه های هوش مصنوعی باشد.