Scaling Accessible Mathematics on arXiv: HTML Conversion and MathML 4
تُقدم هذه الورقة تقريراً عن تقدم مبادرة أوراق arXiv بـ HTML التجريبية للفترة 2025-2026، مع تسليط الضوء على تحسينات الدقة المدفوعة من المجتمع، وجهود التحويل على نطاق المتن الكامل، وإدخال MathML 4 لتعزيز إمكانية الوصول، ونقل نسخة من LaTeXML إلى لغة Rust لتعزيز الأداء وخفض التكاليف.
البحث الأصلي مُهدى إلى الملك العام بموجب CC0 1.0 (http://creativecommons.org/publicdomain/zero/1.0/). هذا شرح مولَّده بالذكاء الاصطناعي للبحث أدناه. لم يكتبه المؤلفون ولم يصادقوا عليه. وللتحقق من الدقة التقنية، يرجى الرجوع إلى البحث الأصلي. اقرأ إخلاء المسؤولية الكامل
الصورة الكبيرة: تحويل الرياضيات "المتجمدة" إلى نص "حي"
تخيل أن أكبر مكتبة في العالم للأوراق العلمية (arXiv) مليئة حالياً بكتب مطبوعة بحبر محدد وجامد للغاية. تبدو هذه الكتب جميلة ودقيقة (ملفات PDF)، ولكن إذا حاولت قراءتها باستخدام قارئ الشاشة (للمكفوفين)، أو تكبير رسم توضيحي صغير، أو طلبت من الكمبيوتر تلخيص الرياضيات، فإن الحبر لا يتحرك. إنه "متجمد".
يعمل مؤلفو هذه الورقة البحثية على بناء نظام جديد لتحويل هذا الحبر المتجمد إلى "نص حي" (HTML). هذا النص الحي يمكنه التدفق ليتناسب مع أي حجم شاشة، ويمكن للكمبيوتر قراءته بصوت عالٍ، وفهمه بواسطة محركات البحث. هدفهم هو التأكد من أن العالم، عندما يكتب عالِمٌ ورقةً رياضية، فإنها تعمل للجميع، وليس فقط للأشخاص الذين يمتلكون بصراً مثالياً ومتصفحاً معيناً.
الإنجازات الأربعة الرئيسية ("أبرز النقاط")
1. إصلاح التسريبات (مساعدة المجتمع)
فكر في نظامهم الجديد كأنه قارب جديد أطلقوه في عام 2023. ومثل أي قارب جديد، كان به بعض التسريبات. على مدار العام الماضي، استمعوا إلى الركاب (القراء والمؤلفين) الذين أبلغوا عن أماكن دخول الماء. لقد أصلحوا حوالي نصف المشكلات الـ 6,000 التي تم الإبلاغ عنها. وهم يعملون الآن على جعل القارب محكماً بما يكفي لكي تبحر 90% من جميع الأوراق دون أن تغرق.
2. ملصق "النية" (تعليم الكمبيوتر التحدث)
الرياضيات صعبة على الكمبيوتر لقراءتها بصوت عالٍ لأن الرموز يمكن أن تعني أشياء مختلفة. على سبيل المثال، حرف "x" الصغير قد يكون متغيراً، أو علامة ضرب، أو حرفاً.
- الطريقة القديمة: يخمن الكمبيوتر، وغالباً ما يخطئ، مما يجعله يبدو آلياً أو مربكاً.
- الطريقة الجديدة (MathML 4): يضيف المؤلفون "ملصقات نية" (intent labels) إلى الرياضيات. الأمر يشبه وضع ملاحظة لاصقة على كلمة تقول: "انطق هذا كما هو مكتوب تماماً" أو "هذا مصطلح علمي محدد". هذا يساعد قارئات الشاشة على نطق الرياضيات بوضوح، حتى لو كانت الرموز غريبة أو جديدة.
3. محرك "رست" (تسريع المصنع)
النظام الذي يحول الأوراق مبني حالياً بلغة برمجة قديمة تسمى "بيرل" (Perl). إنه يشبه مصنعاً يعمل بمحرك قديم وبطيء.
- المشكلة: محرك "بيرل" بطيء، وتكلفة تشغيله مرتفة، وعدد الأشخاص الذين يعرفون كيفية إصلاحه يتناقص.
- الحل: يعيدون بناء المحرك باستخدام لغة حديثة تسمى "رست" (Rust).
- لمسة الذكاء الاصطناعي: عادةً، إعادة كتابة محرك ضخم يدوياً تستغفرق سنوات. ومع ذلك، فقد استخدموا ذكاءً اصطناعياً متطوراً جداً (يسمى "الذكاء الاصطناعي الوكيل" أو Agentic AI) للمساعدة في كتابة الكود. عمل الذكاء الاصطناعي كمتدرب فائق السرعة، حيث كتب حوالي 100,000 سطر من الكود في ثلاثة أسابيع فقط—وهو عمل كان سيستغرق من شخصين بشريين سنتين.
- النتيجة: محرك "رست" الجديد أسرع بـ 10 إلى 30 مرة. وهذا يعني أن المؤلفين يمكنهم رؤية أوراقهم محولة إلى التنسيق الجديد فور تقديمها تقريباً.
4. خط الإنتاج "الحي"
هم لا يقومون بإصلاح الأوراق الجديدة فحسب؛ بل يبنون خط إنتاج لتحويل الـ 3 ملايين ورقة القديمة في الأرشيف في نهاية المطاف. في الوقت الحالي، النظام تجريبي، لكنهم يحسنونه بثبات بحيث تصبح كل ورقة في المكتبة متاحة في النهاية.
كيف يعرفون أن عملهم يسير بشكل جيد؟
يستخدمون طريقتين للتحقق من تقدمهم، مثل الميكانيكي الذي يفحص السيارة:
- تقرير "الصرير": ينظرون إلى شكاوى المستخدمين. إذا قال مستخدم: "هذا الرسم التوضيحي يبدو معطلاً"، فإنهم يصلحونه فوراً.
- "اختبار الضغط": يقومون بتشغيل النظام على كامل تاريخ الأوراق لمعرفة أي الصيغ الرياضية أو الحزم البرمجية تسبب تعطل النظام. يساعدهم هذا في العثور على المشكلات الخفية التي قد لا يبلغ عنها أي مستخدم بمفرده.
المستقبل
يعتقد المؤلفون أنه في المستقبل، يجب أن تكون كتابة ورقة رياضية متاحة للجميع هي الوضع الافتراضي، وليست خطوة إضافية خاصة. هم أيضاً في منتصف تغيير كبير لمنظمتهم (لتصبح مؤسسة غير ربحية مستقلة)، وهو ما يأملون أن يمنحهم الاستقرار لمواصلة بناء هذه الأدوات على المدى الطويل.
باخت-القول: إنهم يأخذون أكبر مكتبة رياضيات في العالم، ويقومون بترقية "النظارات الطبية" لكي يتمكن الجميع من رؤية الرياضيات بوضوح، ويستخدمون الذكاء الاصطناعي لبناء محرك أسرع وأرخص لجعل كل ذلك يحدث.
غارق في أبحاث مجالك؟
تصلك نشرة يومية بأحدث الأبحاث المطابقة لكلماتك البحثية المفتاحية — مع ملخصات تقنية، بلغتك.