أوبن إيه آي تنشر نتائج رياضية وصياغات براهين بلغة Lean

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

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

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

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