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