نحن نطلق مجموعة واسعة من النتائج الرياضية الجديدة التي أنتجها نموذج داخلي رائع.
وبينما نسعى إلى تحسين طريقة مشاركة النتائج مع مجتمع الرياضيات، كنا نتعاون مع مجموعة الاستشارية للرياضيات والذكاء الاصطناعي في معهد الدراسات المتقدمة(يفتح في نافذة جديدة) لتطوير أفضل الممارسات، وقد استعنّا بنصحهم وبتوصياتهم العامة(يفتح في نافذة جديدة) لإعلام طريقة إطلاقنا لهذه النتائج.
في هذا الإصدار، ننشر النتائج في مستودع على GitHub، مع بروتوكولات لمراجعات الأوراق البحثية والاستشهادات. نواصل استكشاف بدائل أخرى تستضيفها المجتمع لهذا الإصدار تستوفي إرشادات اللجنة. أما في الإصدارات المستقبلية، فنحن ملتزمون بمواصلة تحسين جودة الأوراق عبر الاستشهادات والعرض الرياضي وتقديم النتائج من أجل فهم أفضل.
كجزء من مستودع GitHub الخاص بنا، نشارك صياغات شكلية للعديد من البراهين بلغة Lean، وهي لغة برمجة تتيح التحقق من البراهين الرياضية بواسطة الحاسوب. سنحدّث المستودع بمزيد من الصياغات كلما حصلنا عليها.
ولتعزيز الشفافية والانفتاح العلمي، ننشر أيضًا تفاصيل إضافية حول كيفية حصولنا على النتائج في المستودع. تشمل هذه التفاصيل 10 ملخصات لاستدلال النموذج، وتقديرات للحوسبة المُنفقَة من حيث استخدام Pro على ChatGPT، وإحصاءات حول عدد المسائل التي تمت محاولة حلها. استخدمت النتيجة المتوسطة حوسبة مكافئة تقريبًا لثلاث ساعات من التفكير في ChatGPT Pro.
نريد أن يدفع هذا التقدم حدود المعرفة الإنسانية ويمكّن من مزيد من التقدم في الرياضيات. ستمول سلسلة من ورش العمل والمؤتمرات والبرامج الخاصة حول فهم النتائج الكبرى التي ينتجها الذكاء الاصطناعي—سنشارك المزيد حول هذا في المستقبل القريب.
نريد تمكين العلماء مباشرة بأحدث القدرات ونعمل على إطلاق النموذج الذي أنتج هذه النتائج بشكل مسؤول. لهذا السبب من المهم مواصلة تقييم نماذجنا الداخلية الرائعة في الرياضيات والعلوم الأخرى، حتى نتمكن من تسريع تطوير الأدوات لتقدُّم تلك المجالات. سنواصل الاستجابة لملاحظات المجتمع وتحديث معاييرنا للإفصاحات المستقبلية عن التقدم العلمي الكبير.