ثلاث ساعات لكل برهان: ماذا تكشف 722 مخطوطة رياضية من «أوبن إيه آي»؟

بدل أن تقدم شركة «أوبن إيه آي» نموذجًا جديدًا للمحادثة، فتحت نافذة غير مسبوقة على كواليس مختبراتها بنشر 722 مخطوطة رياضية مع وثائق براهينها الداعمة، أنتجها نموذج حدودي داخلي لم يُطرح للجمهور بعد. تأتي هذه الحصيلة، المنشورة عبر منصة «جيت هاب» تحت رخصة «أباتشي 2.0» والموثقة بنحو 4.7 آلاف إعجاب، بعد استشارة المجموعة الاستشارية المستقلة المعنية بالرياضيات والذكاء الاصطناعي في «معهد الدراسات المتقدمة»، حيث استندت الشركة إلى توصيات المجموعة في تحديد أسلوب إتاحة هذه النتائج للوسط العلمي.

تتوزع المخطوطات داخل المستودع ضمن 372 عائلة بحثية، تجمع كل عائلة منها أوراقًا مترابطة تشمل النتيجة الرئيسية والحجج المرافقة والاستتباعات أو البراهين البديلة. وفي مجلد المسودات الأولية، تتيح المنظومة ملفات بصيغة «بي دي إف» وملفات المصدر وإرشادات البناء والاقتباس الخاصة بكل ورقة. واللافت أن الغالبية العظمى من هذه النتائج جرى التوصل إليها عبر إجراء ثابت وموحد، حيث واجه النموذج نحو أربعة آلاف مسألة رياضية خلال فترة التقييم، مستهلكًا في المتوسط ثلاث ساعات من حوسبة التفكير على باقة «شات جي بي تي برو» لكل نتيجة بمفردها.

هذا الإجراء الموحد لم ينطبق على كافة المخرجات؛ إذ استثنت الشركة أعمالًا متقدمة شملت البحث في منطقة خالية من الأصفار لدالة ريمان زيتا، وإثبات حدسية هودج للمتنوعات الأبيلية من نوع «سي إم». وفي مسألة دالة ريمان زيتا عند المنطقة التي يزيد فيها الجزء الحقيقي على 11 من 12، خضعت الصياغة المكتوبة لتحرير بشري لتحسين مقروئيتها، مما يوضح أن التدوين الرياضي القابل للفهم الإنساني لا يزال يتطلب تدخل الخبراء. ورغم أن العديد من هذه المخطوطات كُتب بصيغة برمجية شكلية، فإن المستودع يضم أوراقًا لم تُحوّل بالكامل إلى براهين مصدقة آليًا بعد.

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

بالنسبة للفرق البحثية والمؤسسات التقنية في الخليج ومصر والمشرق العربي، تفرض هذه الخطوة تحولًا عمليًا في حسابات الاستثمار والحوسبة. إن استهلاك ثلاث ساعات كاملة من الحوسبة التفكيرية لإنتاج برهان واحد يعني أن كلفة الاعتماد على النماذج الاستدلالية المتقدمة في قطاعات التشفير والتمويل الكمي والنمذجة الرياضية لن تُقاس بعدد الرموز اللحظية، بل بزمن تشغيل المعالجات. وفي حين تتيح رخصة «أباتشي 2.0» لجامعات المنطقة ومراكزها البحثية تنزيل هذه الأصول وفحص بنيتها البرمجية بحرية كاملة، فإن التحدي الفعلي ينتقل إلى كفاءة التدقيق الشكلي؛ فالقيمة لن تعود لتوليد الحلول بل للقدرة الرياضية على التحقق الصارم من صحتها قبل إدخالها في خطوط الإنتاج.

الدرس الواضح لمن يبني أنظمة ذكية في أسواقنا هو أن الوثوق بالمخرجات المعقدة يتطلب منصات تحقق محلية لا تكتفي باستقبال الإجابات الجاهزة. مع استمرار تدفق النتائج وتسجيل التعديلات علنًا، ستكون ساحة الاختبار الحقيقية هي قدرة العقول البشرية على غربلة 722 وثيقة وإثبات ما إذا كان التفكير الآلي قادرًا على فتح آفاق رياضية جديدة، أم أنه يختصر مسافات الحساب ليترك مهمة الحقيقة لتدقيق العلماء.