OpenAI تنشر على GitHub 372 نتيجة رياضية ولّدها الذكاء الاصطناعي، من حدسية كاكيا رباعية الأبعاد إلى فرضية ريمان
نشرت OpenAI 722 مخطوطة مجمّعة في 372 عائلة نتائج أنتجها نموذج داخلي لم يُطرح بعد. كثير من البراهين جرى التحقق منه بلغة Lean، لكن رياضيين ينتقدون غياب الأوامر النصية وعدم إتاحة النموذج.
في 6 أكتوبر 2026 نشرت OpenAI دفعة كبيرة من النتائج الرياضية في مستودع على GitHub (الساعة 6 مساءً بتوقيت شرق الولايات المتحدة). وبحسب The Verge، يضم المستودع 722 مخطوطة مجمّعة في 372 عائلة نتائج، أنتجها جميعاً نموذج متقدم لم يُطرح بعد.
ما الذي يُزعم
- تقول OpenAI إن كل نتيجة تحلّ أو تدفع قُدماً بشكل كبير مسألة مفتوحة في الرياضيات أو علوم الحاسوب النظرية.
- ومن أبرز ما أوردته Scientific American حلٌّ مزعوم لحدسية كاكيا في أربعة أبعاد، وتحسينات على خوارزميات حاسوبية مهمة، وتقدّم نحو فرضية ريمان.
- جرى التحقق من كثير من البراهين بلغة Lean للتحقق من البراهين، ما يجعل صحتها شبه مؤكدة؛ أما البقية فستحتاج أشهراً من التقييم.
- وقال متحدث باسم OpenAI لـ Scientific American إن جميع النتائج تقريباً جاءت من أمر نصي واحد أُعطي لوكيل ذكاء اصطناعي واحد (مع الإشارة إلى أن بعضها ربما احتاج عدة محاولات). في المقابل، أنتج نتيجةَ نافييه-ستوكس السابقة سربٌ من 10 آلاف وكيل كلّف ملايين الدولارات من الحوسبة. وتنقل The Verge قول OpenAI إن “النتيجة المتوسطة” استهلكت ما يعادل نحو ثلاث ساعات من تفكير ChatGPT Pro.
انتقادات
توصي مجموعة استشارية مستقلة من الرياضيين شكّلتها OpenAI في سبتمبر بنشر النموذج والأمر النصي الدقيق ووقت الحوسبة لكل نتيجة. لكن OpenAI تكشف فقط متوسط وقت الحوسبة وبعض الإحصاءات — من دون الأوامر النصية — وتقول إنها غير ملزمة بهذه التوصيات. وقال عالم الرياضيات في MIT أندرو ساذرلاند لـ Scientific American: “علينا أن نطلب الإيصالات”. ورحّب دانيال ليت (جامعة تورنتو) بالنشر، بينما انتقد تيرينس تاو الوتيرة “الجنونية” لنتائج مختبرات الذكاء الاصطناعي.
تنبيه: هذه ادعاءات OpenAI؛ والتحقق المستقل من النتائج غير المصاغة بلغة Lean بدأ للتو.