نشرت شركة OpenAI 722 مخطوطة رياضية تم إنتاجها بواسطة نموذج الحدود الداخلية الذي لم يتم إصداره، ووضع المجموعة الكاملة في مستودع GitHub العام بموجب ترخيص Apache-2.0. يعد الإصدار، الذي تم الإعلان عنه في منشور بحثي بعنوان "مشاركة تقدم الذكاء الاصطناعي في الرياضيات" في 6 أكتوبر 2026، من بين أكبر عمليات التفريغ الفردية للنتائج الرياضية التي تم إنشاؤها بواسطة الذكاء الاصطناعي حتى الآن، ويأتي مع اختبارات رسمية لإثبات اللين، وملخصات منطقية مختصرة، وتفاصيل غير عادية حول مقدار حساب كل نتيجة مستهلكة.

تهبط هذه الخطوة في حقل على حافة الهاوية بالفعل. ذكرت صحيفة نيويورك تايمز أن الإصدار زاد من إزعاج مجتمع الرياضيات الذي قضى أشهرًا في صراع مع أنظمة الذكاء الاصطناعي لإنتاج نتائج بحثية جادة، بينما وصفت مجلة ساينتفيك أمريكان OpenAI بأنها تطلق العنان لـ "مئات النتائج الرياضية الإضافية في مجال يعاني بالفعل من الصدمة". بالنسبة للقراء الذين يتتبعون [أحدث تطورات أبحاث الذكاء الاصطناعي] (https://aibuzzwire.news)، يعد الإصدار بمثابة حالة اختبار لكيفية مشاركة المختبرات الحدودية في العلوم المولدة آليًا دون إثارة نزاعات ائتمانية.

ماذا يوجد داخل المستودع

المجموعة موجودة في مستودع openai/math على GitHub. وفقًا لـ README الخاص به، فإن المحتويات عبارة عن مخطوطات رياضية وأعمال إثبات داعمة تم إنتاجها بواسطة نموذج OpenAI داخلي، وتم تجميعها كجزء من تقييمات تطوير النموذج بشأن مشكلات البحث المفتوحة. يحتوي الفهرس الحالي على 722 مخطوطة منظمة في 372 عائلة، حيث تقوم الأسرة بتجميع الأوراق ذات الصلة التي قد تتضمن نتيجة رئيسية، أو حجج مصاحبة، أو عواقب، أو أدلة بديلة، كل منها مصنف حسب التخصص الرياضي.

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

كيف تم إنتاج النتائج

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

تم استبعاد استثناءين من هذا الإجراء: العمل على إنشاء منطقة خالية من الصفر لدالة زيتا ريمان، مع كتابة تغطي منطقة Re(s)> 11/12 التي تم تحريرها بواسطة الإنسان لسهولة القراءة، وإثبات حدسية هودج لأصناف CM الأبيليانية. كلاهما من الرياضيات الجادة السائدة، وكلاهما سيواجهان الآن التدقيق المجتمعي.

كما تم نشر عشرة ملخصات مختصرة لمنطق النموذج. وهي تغطي النتائج بما في ذلك أس اللاعقلانية لـ pi، وتخمينات ماهلر المتماثلة والعامة، وتشابه عوامل المجموعة الحرة، والحدود شبه متعددة الحدود للتقدم الحسابي، وتخمين كابلانسكي المباشر في الخاصية الثانية، وصيغة Mezard-Parisi للنظارات الدورانية المخففة، والمغنطة التلقائية في مغناطيس هايزنبرغ الكمي، والمغناطيس ثلاثي الأبعاد. نظام فلاسوف-ماكسويل النسبي.

ساعدت مجموعة استشارية في صياغة الإصدار

تقول OpenAI إنها استشارت المجموعة الاستشارية المستقلة للرياضيات والذكاء الاصطناعي في معهد الدراسات المتقدمة أثناء تطوير أفضل الممارسات لمشاركة النتائج. نشرت هذه المجموعة توصياتها بشأن الإفراج المسؤول في 29 سبتمبر 2026، بعد تلقي أكثر من 600 رد من مجتمع الرياضيين. وكانت التوصيات صريحة: "نحن لا نؤيد هذه الممارسة، ونطلب منهم التوقف عن اختبار المسائل الرياضية المتقدمة على النماذج المملوكة". وتحث المجموعة المختبرات على إيداع النتائج في مستودعات علمية لا يتحكم فيها مختبر الذكاء الاصطناعي، وتعيين معرفات ثابتة يمكن الاستشهاد بها، والكشف عن اسم النموذج، والمطالبات المستخدمة، وسلاسل الاستدلال المختصرة، والامتناع عن التعامل مع إصدارات النتائج باعتبارها أدوات تسويقية.

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

عبء التحقق ينتقل إلى علماء الرياضيات

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

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

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

البقاء في صدارة منحنى الذكاء الاصطناعي

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

اقرأ المزيد من أخبار الذكاء الاصطناعي →