GPT-5.2 Pro يحقق إنجاز رياضي بحل ثلاث من مسائل إيردوس
في تطور لافت في عالم الذكاء الاصطناعي والرياضيات، نجح نموذج GPT-5.2 Pro في المساهمة بحل ثلاث مسائل من مسائل إيردوس المفتوحة، بالتعاون مع نظام Aristotle من Harmonic، وبمراجعة وقبول من علماء رياضيات بارزين.
تفاصيل الخبر
تمكن GPT-5.2 Pro من توليد براهين رياضية لمسائل إيردوس المعروفة بصعوبتها، مع تحويل هذه البراهين إلى صيغ رسمية قابلة للتحقق باستخدام أداة Aristotle، ما أدى إلى قبول بعضها من قبل مختصين في المجال.
- حل مسألة إيردوس #397: تم تقديم برهان ناتج عن GPT-5.2 Pro، جرى تنظيمه والتحقق منه رسميًا عبر Harmonic، وتم قبوله من عالم الرياضيات الشهير تيرينس تاو.
- إنجاز ثالث خلال أسبوع واحد: هذا الحل يُعد ثالث مسألة إيردوس يتم حلها بواسطة GPT-5.2 خلال فترة زمنية قصيرة، ما يعكس تسارع قدراته في الاستدلال الرياضي العميق.
- مسألة #728: تمكن النموذج من حل المسألة بشكل مستقل بالكامل وفق تفسير محدد للمسألة، مع الإشارة إلى وجود بعض الغموض في الصياغة الأصلية.
- دور Aristotle: أداة Aristotle لعبت دورًا محوريًا في تحويل البراهين النصية التي ينتجها النموذج إلى براهين رسمية قابلة للتحقق باستخدام أنظمة رياضية صارمة.
الأهداف المستقبلية
تعكس هذه الإنجازات توجهًا واضحًا نحو:
- تحويل الذكاء الاصطناعي إلى شريك بحثي فعلي في الرياضيات والعلوم النظرية، وليس مجرد أداة مساعدة.
- تسريع حل المشكلات المفتوحة التي ظلت لعقود دون حلول مؤكدة.
- تعزيز التحقق الرسمي للبراهين للحد من الأخطاء البشرية وزيادة موثوقية النتائج.
- فتح آفاق جديدة للتعاون بين العلماء والنماذج الذكية في مجالات تعتمد على التفكير المنطقي العميق.
إن نجاح GPT-5.2 Pro في حل مسائل إيردوس يمثل نقطة تحول في العلاقة بين الذكاء الاصطناعي والبحث العلمي. هذا التقدم لا يثبت فقط قدرة النماذج الحديثة على التفكير الرياضي المتقدم، بل يمهّد لمرحلة يصبح فيها الذكاء الاصطناعي عنصرًا أساسيًا في اكتشاف المعرفة الجديدة.
