إطلاق OpenAI الضخم للرياضيات يثير مخاوف مهنية بين الرياضيين الأكاديميين

في مساء 6 أكتوبر 2026، فتحت OpenAI مستودعاً عاماً يحتوي على 722 مخطوطة رياضية، مجمعة في 372 عائلة مشاكل، أنتجها نموذج داخلي لم يُطلق بعد، وفقاً لمنفذ التكنولوجيا Unite.AI. قالت الشركة إنها عرضت على النظام حوالي 4000 مشكلة مفتوحة في المجموع ونشرت فقط المجموعة التي حكمت بأنها تستحق الإفراج عنها، وتغطي الجبر ونظرية الأعداد والطوبولوجيا وعلم الحاسوب النظري والمنطق الرياضي.

ما أطلقته OpenAI

أفادت Unite.AI أن التدريب على النموذج الداخلي بدأ في 28 أغسطس 2026، مع إطلاق عملية التقييم في 1 سبتمبر. أنتج النموذج على ما يبدو إثباتاً Lean-formalized يتناول سؤال تفرد نافيير-ستوكس - وهو واحد من مشاكل جائزة الألفية السبع لمعهد كلاي للرياضيات - حوالي 5 سبتمبر، مع إعلان OpenAI عن النتيجة علناً في 8 سبتمبر. قالت الشركة إنها لن تسعى للحصول على جائزة المليون دولار المرتبطة بها. أفادت Fortune أن OpenAI أيضاً ادعت بتحقيق تقدم جزئي على ثلاث مشاكل جائزة ألفية أخرى في دفعة 6 أكتوبر دون حلها بالكامل.

لم تأتِ كل مخطوطة مع التحقق المدقق آلياً. لاحظت Unite.AI أن العديد من الأوراق، وليس جميعها، تضمنت رسميات في مساعد إثبات Lean، الذي يتحقق من كل خطوة منطقية تلقائياً؛ النتائج غير الرسمية تحمل مخاطر أعلى للأخطاء المخفية. أفادت Fortune أن OpenAI كانت قد سحبت بالفعل ثلاثة من الحلول المنشورة على الأقل بحلول 8 أكتوبر بعد اكتشاف أخطاء.

يقول حاصل وسام فيلدز إنه بكى

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

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

الرياضيون يردون

دفع الإفراج عن بيان مفتوح من جمعية الرياضيات من أجل الإنسانية (AHM)، وهي مجموعة نشرت مجموعة الاتصالات الخاصة بها كإدخال ضيف في مدونة الرياضي تيرينس تاو في 7 أكتوبر. قال البيان أن الرياضيين لم يطلبوا هذا الجسم من العمل وأن OpenAI تجاهلت التوجيهات السابقة من مجموعة المشورة المعنية بالرياضيات والذكاء الاصطناعي، وهي هيئة مستقلة تقدم المشورة حول كيفية اختبار شركات الذكاء الاصطناعي ونشر المطالبات الرياضية، وفقاً لبيان AHM. وصف البيان إطلاق أكثر من 700 ملف في وقت واحد بأنه يعكس نطاق موارد OpenAI بدلاً من المراجعة العلمية الدقيقة.

أفادت Fortune أن تيرينس تاو، في منشور على Mastodon، قال إن الحادثة تضع علامة نهاية على ما أسماه Math 1.0، محتجاً بأن المشاكل يتم حلها بشكل متزايد من قبل مستخدمي الذكاء الاصطناعي الذين ليس لديهم أي اهتمام بالمجال الأوسع نفسه وأن التخصص يحتاج إلى وضع قيمة أكبر على الشرح وبناء المجتمع بدلاً من حل المشاكل وحدها. قال عالم الرياضيات بجامعة نيويورك تريستان باكماستر، الذي أثار مخاوف سابقة حول عمل نافيير-ستوكس، للـ New York Times، كما نقلت Fortune، أنه يشك في أن بعض النتائج المنشورة امتدت من عمل سابق لرياضيين آخرين إلى الإكمال دون رصيد كافٍ.

وصف عالم الرياضيات بجامعة كولومبيا بيتر وويت، في منشور على مدونته Not Even Wrong، الإفراج بأنه منظم بشكل سيء وقال إن OpenAI تجاهلت توصيات مجموعة المشورة قبل نقل المسؤولية عن فرز النتائج على مجتمع الرياضيات نفسه. حدد وويت النظام وراء الأوراق كنموذج أشار إليه باسم 'Astra'. قال معلقوا منشوره إن العديد من الإثباتات التي ينتجها الذكاء الاصطناعي كانت كثيفة تقنياً لكنها قدمت قليلاً من الحدس الرياضي أو الفهم النظري الجديد، حتى عندما تكون صحيحة.

ليس نزاع جديد

الاحتكاك بين OpenAI والرياضيين يسبق الإفراج عن أكتوبر. أفادت TechCrunch أنه في أكتوبر 2025، نشر نائب رئيس OpenAI كيفن ويل - وحذف لاحقاً - ادعاء بأن GPT-5 وجد حلولاً لـ 10 مشاكل Erdős التي لم يتم حلها سابقاً وأحرز تقدماً على 11 آخرين. قال توماس بلوم، الذي يحافظ على قاعدة بيانات مشاكل Erdős العامة، إن الإطار كان مضللاً للغاية، شرح أن المشاكل المشار إليها بـ 'مفتوح' على موقعه ببساطة تعني أنه كان غير مدرك لحل منشور، وليس أنه لا يوجد أي حل؛ قال إن GPT-5 قد حدد المراجع الموجودة التي فاتته. اعترف باحث OpenAI سيباستيان بوبيك لاحقاً بأن النموذج كان قد حدد فقط الحلول الموجودة في الأدبيات المنشورة بدلاً من اكتشاف حلول جديدة، على الرغم من أنه قال هذا لا يزال له قيمة.

المؤيدون يقولون إن المجال يمكنه أن يتكيف

لم يعامل كل رياضي الإفراج على أنه أزمة. نقلت Fortune عن عالم الرياضيات بجامعة تورنتو دان ليت قوله إنه يعتبر التطور إيجابياً بشكل عام للرياضيات، مع التحذير من أن المجتمع يحتاج إلى الاستمرار في تمويل الرياضيين البشريين حتى لا يفقد المجال الدعم المؤسسي نتيجة لذلك. لاحظ ليت أيضاً أن OpenAI لا توظف رياضيين كافيين لكتابة جميع نتائجها كأوراق تقليدية، وهو ما قال إنه يساعد في شرح، دون أن يعتذر، نطاق وسرعة الإفراج.

• تم إطلاق 722 مخطوطة رياضية من إنشاء الذكاء الاصطناعي عبر 372 عائلة مشكلة في 6 أكتوبر 2026 (Unite.AI).
• اختبرت OpenAI النموذج على حوالي 4000 مشكلة مفتوحة قبل نشر المجموعة المختارة (Unite.AI).
• تم سحب ثلاث نتائج منشورة على الأقل من قبل OpenAI بحلول 8 أكتوبر بعد العثور على أخطاء (Fortune).
• قال حاصل وسام فيلدز هوغو دوميل-كوبان أن 16 من أسئلته المفتوحة كانت من بين المشاكل المعالجة (SenePlus).
• حثت جمعية الرياضيات من أجل الإنسانية الرياضيين على التوقف عن التعاون مع OpenAI (مدونة تيرينس تاو).