OpenAI أفلتت 722 مخطوطة رياضية — و الإنترنت لم يدرك ما أصابه
8 أكتوبر 2026 · الذكاء الاصطناعي / أبحاث / أمن سيبراني
هذه صباحة الثلاثاء التي كسرت الإنترنت الرياضي: أعلنت OpenAI على X أن نموذج frontier داخلي غير مُطلق أنتج 722 مخطوطة رياضية، أصبحت الآن متاحة على GitHub تحت رخصة Apache 2.0. ثلاثمائة واثنان وسبعون عائلة نتائج. إثباتات Lean رسمية لـ162 منها. والباقي؟ 560 ورقة في المنطقة الرمادية بين مُتحقق منها وغير مُتحقق منها التي تخشاها كل فرق الأبحاث.
دع هذا يستقر في مكانه.
هذا ليس نموذجاً يحل مسائل من الكتب الدراسية. هذا نظام يولّد رياضيات بمستوى قابل للنشر على نطاق واسع — و OpenAI فتحت الأبواب على مصاريعها.
ما هو فعلاً في النشر
مستودع GitHub (openai/math) ينظم كل شيء في عائلات — مجموعات من النتائج ذات صلة مشتركة. بعض أبرز النتائج التي ذهبت بعقول الرياضيين:
- «فرضية رايمان شبهية» — نصف مستوى خالٍ من الأصفار عند Re(s) > 7/8 لوظائف Dirichlet L. ليست فرضية رايمان الكاملة (لا تزال تتطلب Re(s) = 1/2)، لكنها تقدم كبير في نظرية الأعداد التحليلية حيث يأتي التقدم عادةً بخطوات صغيرة.
- أس مضاعفة المصفوفات انخفض من 2 إلى 9/4 (2.25). هذا يقع في قلب الحوسبة العلمية وتعلم الآلة نفسه.
- مضاعفة الأعداد الصحيحة شبه n log n — تقترب من الحد الأقصى النظري، مع آثار مباشرة على التشفير والرياضيات الحسابية.
كل نتيجة مكتملة تمثل ثلاث ساعات تقريباً من الاستدلال بمستوى ChatGPT Pro. بدأ المشروع مع حوالي 4,000 مسألة رياضية طُرحَت على النموذج الداخلي.
قصة التحقق: مختلطة كما كان متوقعاً
التحليلات Lean تغطي النتائج الرئيسية لـ162 ورقة — مما يمنح هذه الادعاءات عموداً فقرياً مُتحقق منه آلياً. الـ560 المتبقية لم يتم التحقق منها رسمياً. تحذر OpenAI نفسها من أن بعضها قد يحتوي على مشكلات.
على الجانب الإيجابي: تدقيق النتائج المنشورة على arXiv في 1 أغسطس لم يجد أخطاءً جوهرية مؤكدة. كتب البروفيسور Alex Kontorovich من Rutgers على X أن الإنجاز كان سيستحق «ميدالية فIELDS فورية، دون أسئلة» لو كان إنساناً قد أنجزه.
سؤال الشفافية
هنا يصبح الأمر مقلقاً. أصدرت مجموعة الاستشارات في الرياضيات والذكاء الاصطناعي (معهد الدراسات المتقدمة) توصيات في 29 سبتمبر تطلب من المختبرات نشر الأوامر الأولية وراء هذه النتائج والامتناع عن استخدامها كتسويق. شاركت OpenAI إحصاءات الحوسبة لكنها رفضت نشر الأوامر.
النموذج الذي أنتج هذه النتائج لم يُطلق بعد — لذا لا يمكن للباحثين الخارجيين فحص أو إعادة إنتاج النظام الذي ولّد المخطوطات.
ما يعنيه هذا لفريقك
الذكاء الاصطناعي يتحول من مساعدة الرياضيين في التحقق من أعمالهم إلى إنتاج بحوث مرشحة على نطاق واسع. هذا التحول جزء من مجموعة أوسع من اتجاهات الذكاء الاصطناعي تعيد تشكيل العلم، وتعني أن الرياضيات المولدة آلياً قد تصبح قريباً مدخلاً روتينياً للمجال بدلاً من كونها غريبة.
لفرق الذكاء الاصطناعي / الأمن السيبراني / التقنية المالية: الآثار حقيقية. طرق التحقق الرسمية (إثباتات Lean) تتحول إلى قالب للأكواد المولدة بالذكاء الاصطناعي والادعاءات الرياضية في أنظمة الإنتاج. إذا كان فريقك لا يتتبع كيفية التحقق من البحوث المولدة بالذكاء الاصطناعي، فأنت بالفعل متأخر.
الأوراق نفسها أصبحت القصة الآن — عامة، قابلة للتحقق، وكثيرة بما يكفي لإبقاء الرياضيين مشغولين لفترة طويلة.