جراح أعصاب يثبت حدسية حيرت علماء الرياضيات لمدة 22 عامًا بتشغيل GPT-5.6 لمدة 16 ساعة
OpenAI
أثبت جراح الأعصاب الدكتور شانمو جين حدسية كروزيكس، وهي مشكلة طويلة الأمد في تحليل المصفوفات، بمساعدة تشغيل مستقل لمدة 16 ساعة لنموذج GPT-5.6 Sol من OpenAI. وقد تحقق العديد من علماء الرياضيات من برهانه، بما في ذلك مؤلف الحدسية، وظهر برهان مستقل ثانٍ بعد أيام. يمثل هذا علامة فارقة: مساهمة رياضية كبرى من هاوٍ مقترنة بنموذج ذكاء اصطناعي.
كان عالم الرياضيات أليكس تاونسند قد طلب من ChatGPT إثبات حدسية كروزيك لمدة عام تقريبًا، لكن النموذج كان يعطي دائمًا براهين خاطئة أو غير مكتملة. في 30 يوليو 2026، أعاد ChatGPT رابطًا إلى ورقة بحثية نُشرت قبل ثلاثة أيام، تدّعي وجود حل. قرأها تاونسند وزملاؤه آنا جرينباوم بشك، وسرعان ما أدركوا أنها حقيقية. المؤلف، الدكتور شانمو جين، هو مقيم في جراحة الأعصاب وباحث ما بعد الدكتوراه، وليس عالم رياضيات محترفًا. أصبح مهتمًا بحدسية كروزيك أثناء عمله على الموجات فوق الصوتية عبر الجمجمة، وصاغ استراتيجية إثبات في جلسة مستقلة استمرت 16 ساعة مع GPT-5.6 Sol في ChatGPT Work، دون الوصول إلى الإنترنت. استخدم النموذج محفظة من استراتيجيات متنوعة، ومراجعات عدائية، واستبعادًا قائمًا على الأمثلة المضادة، كما طلب منه جين. تم التحقق من الإثبات بشكل مستقل من قبل تاونسند وجرينباوم وميشيل كروزيك، وعزز لاحقًا بإثبات ثانٍ مختلف من قبل عالمي الرياضيات إميل لوريست وفيلكس شفينينجر، الذين استخدموا أيضًا ChatGPT 5.6 Pro. تسلط القضية الضوء على تحول نموذجي في الاكتشاف الرياضي وتثير تساؤلات حول استدامة مراجعة النظراء.
المصدر: Habr — хаб ИИ —
الأصلي