مستودع لا ورقة بحثية
نشرت OpenAI في السادس من أكتوبر فهرسًا لنتائج رياضية أنتجها ما تسمّيه نموذجًا داخليًا متقدمًا، ووضعت المحتوى كله في مستودع على GitHub بدلًا من إرساله إلى الدوريات العلمية. يحتوي الفهرس على 722 مخطوطة منظمة في 372 عائلة نتائج، حيث تجمع العائلة نتيجة رئيسية مع حجج مصاحبة أو نتائج فرعية أو إثباتات بديلة.
تقول الشركة إن العمل جاء من تطوير النموذج وليس من برنامج بحثي مخصص. وجاء في ملف التعريف بالمستودع: “كجزء من تطوير النموذج، نقيّم نماذجنا على مسائل بحثية مفتوحة”، وأضاف: “وسّعنا هذه التقييمات بعد أن تشبّع الأداء على تقييماتنا الرياضية القائمة”.
ما تقوله الأرقام عن الحساب
كشفت OpenAI عن تفاصيل منهجية أكثر من المعتاد. على مدى التقييم طُرحت على النموذج نحو 4000 مسألة. واستهلكت النتيجة المنشورة المتوسطة ما يعادل نحو ثلاث ساعات من حساب التفكير في ChatGPT Pro. وأدّى تجميع المخرجات في عائلات ومخطوطات، مع شرط ما تسميه الشركة مستوى دلالة مناسبًا، إلى الرقم 722.
وعُومل بندان بطريقة مختلفة. فالعمل على منطقة خالية من الأصفار لدالة زيتا لريمان وإثبات حدسية هودج للمتنوعات الأبيلية ذات الضرب المركّب خرجا عن الإجراء الثابت، وتقول OpenAI إن صياغة نتيجة دالة زيتا — المتعلقة بالمنطقة التي يتجاوز فيها الجزء الحقيقي من s الكسر 11/12 — حرّرها إنسان لتسهيل القراءة.
التحفظات في المستودع لا في الإعلان
تشمل المجموعة نتائج في مراحل تحقق مختلفة. وتحمل مخطوطات كثيرة صياغات رسمية بلغة لين، وهي لغة تتيح للحاسوب التحقق من الإثبات، لكن ليس جميعها. وتكتب OpenAI بوضوح أن “بعض النتائج غير المصوغة رسميًا قد تحتوي على مشكلات”، وتقول إنها ستصلح سريعًا ما تجده، مع إضافة الصياغات الرسمية إلى المستودع تباعًا.
هذا التأطير مهم، لأن الشركة نفسها، لا مُحكّمًا مستقلًا، هي التي تقرر ما هو مهم بما يكفي للنشر. وتقول OpenAI إنها استشارت المجموعة الاستشارية المستقلة للرياضيات والذكاء الاصطناعي في معهد الدراسات المتقدمة بشأن الممارسات الفضلى، واستندت إلى نصائح المجموعة وتوصياتها المعلنة في تحديد طريقة إطلاق النتائج.
عشرة ملخصات للتفكير
إلى جانب المخطوطات، أصدرت OpenAI ملخصات موجزة لتفكير النموذج في عشر نتائج، منها أُس اللاجذرية للعدد پاي، وحدسيتا ماهلر المتناظرة والعامة، والحدود شبه الحدودية للمتسلسلات الحسابية، وحدسية كابلانسكي للانتهائية المباشرة في الخاصية اثنين، ونظام فلاسوف-ماكسويل النسبي ثلاثي الأبعاد. كما نشرت تعليمات اقتباس لكل مخطوطة، وقالت إنها ستحفظ تاريخ الإصدارات وتسجّل التصحيحات كإصدارات جديدة.
ما يستحق المتابعة
النموذج الذي أنتج كل هذا غير متاح. تقول OpenAI إنها “تعمل على إطلاق النموذج الذي أنتج هذه النتائج بطريقة مسؤولة”، وإنها ستمول سلسلة من حلقات العمل والمؤتمرات والبرامج الخاصة حول فهم النتائج الكبرى التي ينتجها الذكاء الاصطناعي، مع تفاصيل لاحقة.
الاختبار العملي الآن هو مكتبة لين. فالإثباتات المصوغة رسميًا يمكن لأي جهاز التحقق منها، أما المخطوطات غير المصوغة فيجب أن يقرأها رياضيون، و722 مخطوطة قراءة كثيرة. وسرعة امتلاء فهرس الصياغات الرسمية — وعدد النتائج غير المصوغة التي تصمد أمام تدقيق المجال — ستقول أكثر مما يقوله العدد في العنوان.
