OpenAI's Astra يحل 10 مسائل رياضية عالقة منذ عقود بتكلفة 2000 دولار لكل مسألة

مقدمة

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

تفاصيل الإنجاز

وفقًا للتقارير، أنفقت OpenAI أقل من 2000 دولار على كل مسألة باستخدام أسعار توكنات GPT-5.6 Sol، وهو مبلغ زهيد مقارنة بالتكاليف التقليدية للبحث الرياضي. تم نشر النتائج في مستودع openai/ten-proofs مع إثباتات رسمية بلغة Lean 4، بالإضافة إلى ورقة بحثية تصف الحلول وملف PDF مولّد بالذكاء الاصطناعي يعيد بناء كيفية تشكل الإثبات.

مقارنة مع جهود أخرى

قبل أيام، أعلنت Anthropic عن اكتشاف ثغرات تشفيرية باستخدام نموذج Claude Mythos Preview، بتكلفة 100,000 دولار. بينما ركزت OpenAI على مسائل رياضية نظرية بتكلفة أقل بكثير، مما يظهر تنوع استخدامات الذكاء الاصطناعي في البحث.

التأثير على المنطقة العربية

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

ملاحظة للمراجعة البشرية

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