تخمين جاكوبيان: لغز عمره 87 عاماً يسقط بفضل ذكاء اصطناعي أثناء مباراة كرة قدم

كيف استخدم ليفينت ألبوغي كلود فيبل 5؟

في ليلة 19-20 يوليو 2026، وأثناء مشاهدته لنهائي كأس العالم للأندية لكرة القدم، كان عالم الرياضيات ليفينت ألبوغي (Levent Alpöge) - وهو خبير في نظرية الأعداد ويعمل في شركة أنثروبيك بعد أن كان زميلاً مبتدئاً في جمعية الزملاء بجامعة هارفارد - يتلقى سؤالاً من صديقه أخيل ماثيو حول تخمين جاكوبيان . لم يتردد ألبوغي في استخدام أحدث نماذج شركته، كلود فيبل 5 (Claude Fable 5)، للعمل على المسألة. لم يتوقع أحد أن يقدم النموذج إجابة بهذه السرعة .

ما عاد به كلود لم يكن برهاناً تقليدياً، بل كان مثالاً مضاداً (counterexample) صريحاً: خريطة متعددة الحدود مكونة من 216 حرفاً فقط، تحقق شرط وجود محدد جاكوبي ثابت غير صفري، ولكنها في الوقت نفسه ليست دالة متباينة (non-injective)، أي أن عدة نقاط مختلفة يمكن أن تعطي نفس الناتج، مما ينتهك النتيجة التي كان يفترض أن يثبتها التخمين .

نشر ألبوغي النتيجة على منصة X في 19 يوليو 2026، كاتباً:
"مرحباً، تخمين جاكوبيان خاطئ، الشكر لصديقي العزيز أخيل على السؤال، ولصديقي العزيز الآخر فيبل الذي عمل أثناء نهائي كأس العالم" .

المثال المضاد بالتفصيل

المثال المضاد هو خريطة متعددة الحدود F: ℂ³ → ℂ³ (ثلاثة أبعاد)، معرفة على النحو التالي :

هذه الخريطة تظهر خاصيتين أساسيتين :

• محدد جاكوبي: det Jac F = −2 (عدد ثابت غير صفري)، مما يجعلها دالة كيلر.
• عدم التباين: هناك ثلاث نقاط مختلفة ترسل جميعها إلى نفس النقطة (-1/4, 0, 0):
  • (0, 0, -1/4)
  • (1, -3/2, 13/2)
  • (-1, 3/2, 13/2)

بما أن الدالة غير متباينة، فلا يمكن أن يكون لها دالة عكسية (إذا كانت f(a)=f(b) مع a≠b، فلا يوجد دالة g تحقق g(f(a))=a و g(f(b))=b في نفس الوقت). وبالتالي، فإن هذه الخريطة تناقض تخمين جاكوبيان. تعمل الخريطة على أي حقل ذي خاصية صفرية لأن جميع المعاملات والنقاط هي أعداد نسبية .

وقد صدرت ورقة أولية (مؤرخة في 20 يوليو 2026) تقدم التحقق الجبري الكامل، وتحدد الهندسة العالمية لهذه الخريطة، وتثبت أن مجموعة عدم الاكتمال (nonproperness set) هي عبارة عن سطح فائق (hypersurface) - وهي الآلية التي تجعل الخريطة غير قابلة للعكس . كما تقدم الورقة عوائل لا نهائية من هذه الأمثلة المضادة .

وضع حالة المتغيرين

تخمين جاكوبيان لحالة n = 2 (متغيرين مركبين) لا يزال مسألة مفتوحة حتى يوليو 2026. المثال المضاد الذي تم اكتشافه يدحض التخمين فقط للأبعاد n ≥ 3 .

حالة التحقق والمراجعة العلمية الحالية

اعتباراً من 22 يوليو 2026، الوضع هو:

• قابل للتصديق رياضياً: المثال المضاد صريح ويمكن التحقق منه بشكل آلي. علماء الرياضيات يتعاملون معه بجدية . تم إنتاج تحقق رسمي باستخدام نظام الإثبات Lean 4، وقد نجح في اجتياز اختبارات البناء المستمر (CI builds) .
• لا يوجد نشر في دورية محكمة بعد: لا توجد ورقة بحثية منشورة في مجلات علمية أو على موقع arXiv حتى آخر التقارير . المادة موجودة كمنشور على وسائل التواصل الاجتماعي وملف PDF مصاحب على موقع ulam.ai.
• تحديث ويكيبيديا: قامت صفحة ويكيبيديا لتخمين جاكوبيان بتحديث محتواها لإدراج المثال المضاد الذي يدحض التخمين لـ N > 2 .
• تقييم المجتمع العلمي: الإجماع بين المعلقين هو أن الرياضيات شبه مؤكدة الصحة، لكن القبول الرسمي والاستشهاد في السجلات العلمية لا يزال معلقاً حتى هذا التاريخ . يُنسب هذا الإنجاز إلى تعاون إنسان-ذكاء اصطناعي، وليس إلى كلود بمفرده .

الخلاصة: يبدو أن تخمين جاكوبيان غير صحيح فعلياً في الأبعاد ≥ 3. حالة المتغيرين ما زالت مفتوحة. المثال المضاد سليم رياضياً وتم التحقق منه بشكل مستقل، لكنه لم يكمل بعد عملية المراجعة العلمية الرسمية.