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