اختراق علمي غير متوقع: طبيب أعصاب صيني يحل فرضية "كروزيك" الرياضية بعد تشغيل ChatGPT لـ 16 ساعة متواصلة

المشكلة تقع عند تقاطع نظرية المصفوفات والتحليل الدالي في الجبر الخطي العددي - وهي مسألة أساسية ومتخصصة قاومت جهودًا استمرت عقدين من الزمن من قبل خبراء كرسوا حياتهم المهنية لها.

من الموجات فوق الصوتية للدماغ إلى اختراق رياضي

لم يكن جين يحاول صنع تاريخ رياضي. كان يبحث في الموجات فوق الصوتية عبر الجمجمة (transcranial ultrasound) - لنمذجة كيفية اختراق الموجات فوق الصوتية للجمجمة - مما قاده إلى تحليل المصفوفات، وفي النهاية إلى فرضية كروزيك . كل رياضياته المتقدمة كانت دراسة ذاتية من خلال أبحاثه في الموجات فوق الصوتية؛ حيث كانت دراسته الجامعية في الجيولوجيا من جامعة بكين، وحصل على شهادته الطبية من Peking Union Medical College. لم يكن لديه أي تدريب رسمي في الرياضيات المتقدمة .

التشغيل الذاتي لمدة 16 ساعة

قام جين بتكييف استراتيجية التعليمات التي استخدمتها OpenAI عند حل فرضية Cycle Double Cover. صمم إعدادًا متعدد الوكلاء وخصوميًا بأربع تعليمات :

1. العمل دون اتصال: عمل النموذج في بيئة منفصلة فعليًا، مما منعه من سحب البراهين أو الحلول الموجودة من الويب.
2. الاستكشاف بالتوازي: أنشأ النظام العديد من الوكلاء الفرعيين الذين يستكشفون استراتيجيات برهان مختلفة حقًا، مما يمنع التقارب المبكر على نهج واحد.
3. التدقيق الخصومي: تم إخضاع البراهين المرشحة لفحوصات خصومية، مما أجبر النموذج على إيجاد وإصلاح أخطائه الخاصة.
4. لا للتوقف المبكر: تم توجيه النظام بعدم التوقف حتى ينجو برهان كامل من جميع الفحوصات.

بدأ جين النظام وغادر. بعد ما يقرب من 16 ساعة من التشغيل المستمر - نفذ خلالها GPT-5.6-Sol آلاف الدورات من التوليد واختبار الفرضيات والرفض وإعادة البناء - أنتج برهانًا كاملاً .

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

التحقق من قبل الخبراء

أمضى المحلل العددي أليكس تاونسند (Alex Townsend) من جامعة كورنيل العام السابق يسأل ChatGPT بشكل روتيني لمهاجمة فرضية كروزيك، وكان يراه يتوقف عند نفس النقطة المفقودة في كل مرة . في 30 يوليو 2026، سأل مرة أخرى - ولكن هذه المرة، أعاد ChatGPT رابطًا إلى preprint نُشر في 27 يوليو بعنوان "The Numerical Range Is a 2-Spectral Set" .

راجع تاونسند وآن جرينباوم (Anne Greenbaum) من جامعة واشنطن preprint بعين الشك. بعد عدة ساعات، استنتجا أن البرهان صحيح . ميشيل كروزيك نفسه - عالم الرياضيات الذي طرح الفرضية قبل 22 عامًا - راجع المخطوطة وأكد صحتها .

المصدر المفتوح والتحقق المستقل

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

واللافت أن بعد ثمانية أيام من نشر جين لـ preprint، ظهر برهان مستقل منفصل بواسطة Emiel Lorist و Felix Schwenninger - اللذين استخدما أيضًا ChatGPT 5.6 لاستكشاف الاستراتيجيات - على arXiv، مما يؤكد النتيجة بشكل مستقل .

ماذا يعني هذا للذكاء الاصطناعي والعلوم؟

قصة برهان جين ملحوظة لعدة أسباب. تُظهر أن غير الخبير الذي ليس لديه تدريب رسمي في مجال ما يمكنه، من خلال تصميم سير عمل ذاتي مناسب لنموذج ذكاء اصطناعي متطور، تقديم مساهمة حقيقية لمشكلة أربكت المتخصصين المحترفين. كما تُظهر قوة أنظمة التفكير الذاتي المصممة جيدًا: لم يستخدم جين الذكاء الاصطناعي كأداة بحث أو chatbot - بل صمم نظامًا يمكنه استكشاف عمله والتحقق منه وتحسينه على مدار ساعات عديدة دون تدخل بشري .

المشكلة ليست لعبة أو لغزًا؛ إنها مشكلة مفتوحة عمرها 22 عامًا تمت مراجعة برهانها وقبوله من قبل عالم الرياضيات الذي طرحها، إلى جانب خبراء آخرين رائدين في هذا المجال .