نشرت OpenAI في 6 أكتوبر 2026 نتائج رياضية أنتجها نموذج داخلي للذكاء الاصطناعي، مع براهين صيغ كثير منها بلغة Lean للتحقق الحاسوبي. وذكرت Scientific American أن المجموعة تضم 372 نتيجة تقول الشركة إنها تحل مسائل مفتوحة أو تحقق تقدمًا فيها. لكن مراجعة الأهمية العلمية وإمكانية إعادة إنتاج النتائج ما زالتا محور نقاش بين الباحثين.
ماذا أعلنت OpenAI عن الذكاء الاصطناعي والرياضيات؟
تقول الشركة إنها تنشر النتائج في مستودع GitHub يتضمن قواعد لتعديل الأوراق والاستشهاد بها. وأوضحت أنها استشارت مجموعة مستقلة مختصة بالرياضيات والذكاء الاصطناعي في معهد الدراسات المتقدمة لتحسين طريقة مشاركة النتائج مع المجتمع العلمي.
ما دور Lean في التحقق من البراهين؟
Lean لغة تسمح بفحص البراهين الرياضية بواسطة الكمبيوتر. وتقول OpenAI إن المستودع يتضمن صياغات لكثير من البراهين بهذه اللغة، مع إضافة المزيد لاحقًا. وجود تحقق حاسوبي يساعد في فحص صحة خطوات البرهان، لكنه لا يغني عن تقييم الباحثين لجدّة النتيجة وأهميتها ووضوح عرضها.
هل يعني الخبر أن جميع النتائج حُسمت علميًا؟
لا. تفرّق تغطية Scientific American بين الادعاءات المعلنة وبين العمل المطلوب لفهم البراهين وتقييم أفكارها. كما نقلت تحفظات باحثين بشأن الادعاء بأن وكيلًا واحدًا أنتج نتائج من محاولة واحدة، ما دام النموذج غير متاح لإعادة التجربة. لذلك لا ينبغي التعامل مع عدد النتائج باعتباره عدد مسائل حُسمت بإجماع المجتمع العلمي.
هل النموذج متاح في ChatGPT؟
ليس وفق المصادر المنشورة وقت إعداد الخبر. تصف OpenAI النموذج بأنه داخلي وتقول إنها تعمل على إتاحته بصورة مسؤولة. لا يتضمن الإعلان موعدًا محددًا للإتاحة، ولا يعني نشر البراهين أن المستخدم يستطيع تشغيل النموذج نفسه الآن.
ما المعلومات التي نشرتها الشركة عن طريقة العمل؟
ذكرت OpenAI أنها تشارك عشرة ملخصات لاستدلال النموذج، وتقديرات للحوسبة وإحصاءات عن محاولات حل المسائل. وفي المقابل، تشير Scientific American إلى أن الإفصاح لا يتضمن جميع الموجّهات المستخدمة، ما يترك حدودًا أمام إعادة إنتاج النتائج بصورة مستقلة.
لماذا يهم الخبر الباحثين والطلاب؟
يتيح نشر البراهين الاطلاع على مادة بحثية يمكن دراستها والتحقق منها، بدل الاكتفاء بعناوين عن قدرات الذكاء الاصطناعي. وبالنسبة للقارئ العربي في مصر والمنطقة، أهم تمييز هو الفرق بين صحة برهان يمكن فحصه حاسوبيًا وبين توفر أداة عامة لحل المسائل: الخبر يتعلق بالأولى وببحث جارٍ، وليس بإطلاق خدمة تعليمية جديدة.
المصادر وتاريخ الخبر
إعلان OpenAI، 6 أكتوبر 2026:
https://openai.com/index/sharing-ai-progress-in-mathematics/
تغطية Scientific American، 6 أكتوبر 2026:
https://www.scientificamerican.com/article/openai-unleashes-hundreds-more-math-results-upon-a-field-already-in-shock/
نُشر هذا الشرح في 7 أكتوبر 2026. قد تتغير تفاصيل المراجعة وإتاحة النموذج مع صدور معلومات جديدة.