حدسية من عام 1959، وبرهان من OpenAI، وعالم رياضيات قرأه

يتناول هذا المقال ملاحظات كتبها عالم رياضيات لشرح برهان وضعه غيره. وكل ما يُقال هنا عن برهان OpenAI مأخوذ من تلك الملاحظات، بصورة غير مباشرة.

منحنيات تمر بنقاط

تنبثق المسألة من تمرين مدرسي يسمى الاستيفاء (interpolation): اختر بضع قيم لـ x، وحدّد القيمة التي ينبغي أن تأخذها دالة عند كل منها، وسيوجد دائمًا كثير حدود يفعل ذلك. وفي المستوى، تطلب اللعبة نفسها من منحنى أن يمر بمجموعة من النقاط، وهو ما يستطيعه إذا كانت درجته عالية بما يكفي. فالمنحنى من الدرجة d — الذي ترسمه معادلة كثيرة حدود في x وy أعلى قوة فيها هي d: فالمستقيم من الدرجة 1، والدائرة من الدرجة 2 — له (d+1)(d+2)/2 من المعاملات، ومطالبته بالمرور بنقطة تعادل معادلة واحدة.

والآن لنطلب المزيد: يجب أن يمر المنحنى بكل نقطة بتعددية m (multiplicity) — أي مرات عدة، كعقدة من فروع تتقاطع هناك. وكل نقطة كهذه تفرض m(m+1)/2 من المعادلات. ومن أجل قيم كبيرة لـ d وm، يعطي العدّ نحو d²/2 من المعاملات مقابل r m²/2 من الشروط، فيضمن العدّ، لعدد r من النقاط، وجود منحنى بمجرد أن تتجاوز d/m قيمة √r بقليل — وبدقة، بمجرد أن يفوق عدد المعاملات عدد الشروط.

تجعل حدسية ناغاتا (1959) ذلك دقيقًا: لـ r ≥ 10 من النقاط الموضوعة بطريقة «عامة جدًا» — أي من دون أي مصادفة خاصة بينها، كما يحدث لنقاط مختارة عشوائيًا — تكون درجة كل منحنى كهذا أكبر من m√r. والشرط r ≥ 10 ضروري: فتسع نقاط تقع دائمًا على منحنى تكعيبي (منحنى من الدرجة 3)، وهذا المنحنى التكعيبي مأخوذًا m مرة هو منحنى من الدرجة 3m يمر m مرة بكل منها — أي m√9 بالضبط، وهي المساواة التي تستبعدها الحدسية. وقد برهن ناغاتا عليها حين يكون r مربعًا كاملًا.

مثالان من الملاحظات: لا يوجد منحنى من الدرجة 9 يمر ثلاث مرات بكل واحدة من 10 نقاط عامة (55 معاملًا فقط مقابل 60 شرطًا — وهذا وحده لا يكفي للحكم، لأن الشروط قد تتداخل؛ فما يستبعده هو حد ناغاتا، إذ إن 9 أقل من 3√10 ≈ 9.5)، ولا يوجد منحنى من الدرجة 12 يمر ثلاث مرات بـ16 نقطة عامة — وهي حالة التساوي 12 = 3√16.

البرهان كما يرويه تيفيليف

المرجع هو «OpenAI, Nagata’s conjecture for plane curves»، وهو مسودة بحثية من سلسلة OpenAI Math Release مؤرخة في 23 سبتمبر 2026، مع مخطوطات مرافقة حول مسائل ذات صلة نُشرت في 23 سبتمبر و5 أكتوبر. وقد درسه جينيا تيفيليف، من جامعة ماساتشوستس أمهرست، لإلقاء محاضرة، ثم حوّل ذلك العرض إلى هذه الملاحظات، آملًا أن «تكون مفيدة، ولا سيما لغير المتخصصين». ولا يدّعي تيفيليف أي أصالة، وقد أعاد تنظيم الحجة.

تضغط الخطوات الأولى المعتادة المستوى على منحنى تكعيبي أملس وتدمج النقاط الـ r في نقطة واحدة. والفكرة الجديدة، وفق هذا العرض، هي ترك المنحنى التكعيبي يكتسب عقدة — أي نقطة يتقاطع فيها المنحنى مع نفسه فيقرص عروة — ومتابعة دوال ثيتا (theta functions) الخاصة به، وهي الطريقة المعتادة لكتابة الدوال التي تعيش على منحنى كهذا، أثناء انغلاق ذلك القرص. ثم تستبدل ثنائية السؤال «أي المنحنيات تنعدم عند هذه النقاط؟» بصورته المعكوسة، «أي القيم يمكن فرضها هناك؟»، فلا يبقى سوى استيفاء على مثلث من نقاط ذات إحداثيات صحيحة — أي جدول منته من القيم يجب ملؤه، «وهو أمر مباشر».

حالة ست عشرة نقطة ثلاثية: نقاط الشبكة الـ91 في المثلث (يسارًا) والحدوديات الأحادية الـ96، أي الحدود الأولية مثل x²y التي تُبنى منها كثيرات الحدود (يمينًا). وإثبات أن هذه الحدود الـ96 يمكن أن تأخذ أي قيم على النقاط الـ91 — أي أن المصفوفة 96 × 91 ذات «رتبة كاملة» — يستبعد وجود المنحنى. — الشكل 3، Tevelev (2026)، arXiv:2610.30050، CC BY 4.0.

ويحسم الحساب نفسه مسألة ذات صلة أكثر تقنية، يُكبَّر فيها المستوى حول نقطة واحدة بمقادير مختلفة في اتجاهين («التفجيرات الموزونة»، weighted blow-ups)، حين تتجاوز النسبة بين هذين المقدارين تسعة — وهي حالة من حدسية وضعها دومنيتسكي وهاربورن وكوروينا وروي وشيمبرغ (Dumnicki, Harbourne, Küronya, Roé, Szemberg).

تقدم الملاحظات الحجة بوصفها برهانًا. ولا تذكر أي تحقق رسمي مستقل، كمراجعة الأقران أو برهان متحقَّق منه حاسوبيًا.

«أول قارئ بشري لها»

تحمل الملاحظات أيضًا رأي المؤلف. فعند قراءة المخطوطات المنشورة، تساءل تيفيليف «إن كنتُ أول قارئ بشري لها. فقد بدت غير محررة كليًا تقريبًا». ويرجّح تيفيليف أن الشركة توقعت من علماء الرياضيات ترتيبها، وهو جهد تحريري «يتطلب خبرة ووقتًا، لكنه لا يجلب إلا القليل من التقدير المرتبط بالبحث الأصيل». ومثل كثيرين غيره، يرى تيفيليف أن هذا النهج يضر بالمهنة، «ولا سيما بحماسة الشباب وتدريبهم».

«وفي الوقت نفسه، أرى أن هذه المخطوطات إنجاز مذهل»، يكتب تيفيليف: فقد حل النموذج مسائل ظن كثير من الخبراء أنها بعيدة المنال، و«الأدغال القديمة من الحدسيات الرياضية» «تحترق بسرعة في نار الذكاء الاصطناعي».

والمقترح: مؤسسة مستقلة تموّلها شركات الذكاء الاصطناعي، تقدم المنح والزمالات وإمكانية الوصول إلى أفضل النماذج للباحثين الشباب، مع مراجعة أقران على غرار المؤسسة الوطنية للعلوم في الولايات المتحدة.

وتذكر الملاحظات أنها «حُررت ورُسمت بمساعدة ChatGPT Astra».