ZDNet تسميها “تأملًا عميقًا فيما يمكن لأجهزة الكمبيوتر تحقيقه في النهاية” و”المشكلة الأكثر أهمية التي لم يتم حلها في علوم الكمبيوتر”، مع آثارها على كل من التشفير والحوسبة الكمومية. “سؤال: ب = ن.ب؟”
“الآن، ويتم دعم هذا الجهد بواسطة الذكاء الاصطناعي“.
في ورقة بحثية بعنوان “نمذجة اللغة الكبيرة للعلوم: دراسة P مقابل NP”، أطلق المؤلف الرئيسي Qingxiu Dong وزملاؤه على نموذج اللغة الكبيرة GPT-4 الخاص بـ OpenAI الطريقة السقراطية. -4. (كان هناك ورق تم نشره هذا الشهر على خادم arXiv للطباعة المسبقة (من قبل علماء في مايكروسوفت، وجامعة بكين، وجامعة بيهانج في بكين، وجامعة بكين للتكنولوجيا والتجارة.) تأخذ طريقة الفريق الحجج من ورقة بحثية سابقة وتغذيها بالملعقة إلى GPT-4 لإنتاج إجابات مفيدة.
لاحظ دونج وفريقه أن GPT-4 يثبت الحجج القائلة بأن P لا يعادل في الواقع NP. ويزعمون أن النماذج اللغوية الكبيرة يمكنها أن تفعل أكثر من مجرد نطق كميات كبيرة من النص، وأنها قادرة على الكشف عن “رؤى مبتكرة” تؤدي إلى “اكتشافات علمية” يطلقون عليها اسم “ماجستير في العلوم من أجل العلوم”. “.
من خلال 97 جولة فورية، يجمع المعلمون بين GPT-4 ومجموعة متنوعة من المتطلبات ويصلون إلى التفاصيل الجوهرية للرياضيات P = NP، مقدمين كل مطالباتهم ببيان تمهيدي لحالة GPT-4، “أنت ذكي”. فيلسوف، “” أنت عالم رياضيات ماهر في نظرية الاحتمالات” – بمعنى آخر، يلعب GPT-4 دورًا أو “شخصية” في اللعبة المعروفة الآن والتي تعمل على تحسين إنشاء النص. تتمثل استراتيجيتهم في حث GPT-4 على إثبات أن P لافي الواقع، يفترض NP المكافئ أولاً أنه يفعل ذلك مع مثال، ثم يجد طريقة يقع بها المثال – وهو نهج يسمى الدليل بالتناقض…
[T]يجادل مؤلفوه بأن الاستماع إلى حوارهم يظهر إمكانية أن تفعل نماذج اللغة الأكبر أكثر من مجرد مرآة للإبداعات النصية البشرية. وكتبوا: “يسلط تحقيقنا الضوء على القدرة المحتملة لـ GPT-4 على التعاون مع البشر في استكشاف المشكلات المعقدة بشكل استثنائي وعلى مستوى الخبراء”.
