1959 کا ایک قیاس، OpenAI کا ایک ثبوت، اور ایک ریاضی دان جس نے اسے پڑھا

یہ مضمون ان نوٹس کے بارے میں ہے جو ایک ریاضی دان نے کسی اور کے ثبوت کی وضاحت کے لیے لکھے۔ یہاں OpenAI کے ثبوت کے بارے میں جو کچھ کہا گیا ہے وہ انہی نوٹس سے، بالواسطہ، لیا گیا ہے۔

نقطوں سے گزرتے خم

یہ مسئلہ اسکول کی ایک مشق سے نکلتا ہے جسے انٹرپولیشن کہتے ہیں: x کی چند قدریں چنیں، طے کریں کہ ہر ایک پر کوئی فنکشن کیا قدر لے، اور کوئی نہ کوئی کثیر رکنی (polynomial) یہ ہمیشہ کر دیتا ہے۔ سطح پر وہی کھیل ایک خم سے کہتا ہے کہ وہ نقطوں کے ایک مجموعے سے گزرے، اور یہ وہ کر سکتا ہے اگر اس کا درجہ کافی بلند ہو۔ درجہ 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 عمومی نقطوں میں سے ہر ایک سے تین بار نہیں گزرتا (60 شرائط کے لیے صرف 55 ضرائب — یہ اکیلے نتیجہ نکالنے کے لیے کافی نہیں، کیونکہ کچھ شرائط ایک دوسرے کو دہرا سکتی ہیں؛ اسے خارج کرنے والی چیز ناگاتا کی حد ہے، کیونکہ 9 کی قدر 3√10 ≈ 9.5 سے کم ہے)، اور درجہ 12 کا کوئی خم 16 عمومی نقطوں سے تین بار نہیں گزرتا — برابری کی صورت 12 = 3√16۔

ثبوت، جیسا تیویلیف بتاتے ہیں

حوالہ ہے “OpenAI, Nagata’s conjecture for plane curves”، ایک OpenAI Math Release پری پرنٹ جس پر 23 ستمبر 2026 کی تاریخ ہے، اور ساتھ متعلقہ سوالات پر ضمنی مسودے جو 23 ستمبر اور 5 اکتوبر کو جاری ہوئے۔ UMass Amherst کے ژینیا تیویلیف نے ایک لیکچر کے لیے اس کا مطالعہ کیا اور اس بیان کو ان نوٹس میں ڈھالا، اس امید پر کہ یہ “مفید ہوں گے، خاص طور پر غیر ماہرین کے لیے”۔ تیویلیف کسی اصلیت کا دعویٰ نہیں کرتے اور انہوں نے دلیل کو نئے سرے سے ترتیب دیا ہے۔

معیاری ابتدائی قدم سطح کو ایک ہموار مکعب خم (cubic curve) پر سکیڑ دیتے ہیں اور r نقطوں کو ملا کر ایک کر دیتے ہیں۔ اس بیان میں نیا خیال یہ ہے کہ مکعب خم کو ایک گرہ (node) بنانے دیا جائے — ایک ایسا نقطہ جہاں خم خود کو کاٹتا ہے اور ایک حلقہ سکڑ کر الگ ہو جاتا ہے — اور جیسے جیسے یہ سکڑنا مکمل ہوتا ہے، اس کے تھیٹا فنکشنز کا پیچھا کیا جائے، یعنی ایسے خم پر بسنے والے فنکشنز لکھنے کا معیاری طریقہ۔ پھر ایک دوئی (duality) اس سوال کو کہ “کون سے خم ان نقطوں پر صفر ہوتے ہیں؟” اس کے عکس سے بدل دیتی ہے کہ “وہاں کون سی قدریں مقرر کی جا سکتی ہیں؟”، اور جو باقی رہتا ہے وہ پورے عدد والے جالی نقطوں کی ایک مثلث پر انٹرپولیشن ہے — بھرنے کے لیے قدروں کی ایک محدود فہرست، “جو سیدھا سادہ ہے”۔

سولہ تہرے نقطوں کی صورت: مثلث کے 91 جالی نقطے (بائیں) اور 96 یک رکنی (monomials)، یعنی 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 کے ایک قیاس کی ایک صورت ہے۔

نوٹس دلیل کو ایک ثبوت کے طور پر پیش کرتے ہیں۔ وہ کسی آزاد رسمی جانچ کا ذکر نہیں کرتے، جیسے ہم منصب جائزہ (peer review) یا کمپیوٹر سے تصدیق شدہ ثبوت۔

“ان کا پہلا انسانی قاری”

نوٹس میں مصنف کی رائے بھی ہے۔ جاری کیے گئے مسودے پڑھتے ہوئے تیویلیف لکھتے ہیں: “میں سوچنے لگا کہ کہیں میں ان کا پہلا انسانی قاری تو نہیں۔ وہ تقریباً مکمل طور پر غیر مدوّن لگتے تھے۔” تیویلیف کو شبہ ہے کہ کمپنی نے توقع کی تھی کہ ریاضی دان انہیں سنواریں گے، ایک ایسی ادارتی محنت جو “مہارت اور وقت مانگتی ہے، مگر اصل تحقیق سے وابستہ پذیرائی بہت کم دیتی ہے”۔ بہت سے دوسروں کی طرح تیویلیف کا ماننا ہے کہ یہ طریقہ پیشے کو نقصان پہنچاتا ہے، “خاص طور پر نوجوانوں کی تحریک اور تربیت کو”۔

“ساتھ ہی، میرے خیال میں یہ مسودے ایک حیران کن کارنامہ ہیں،” تیویلیف لکھتے ہیں: ماڈل نے وہ مسائل حل کیے جنہیں بہت سے ماہرین پہنچ سے باہر سمجھتے تھے، اور “ریاضیاتی قیاسات کی پرانی جھاڑیاں” “AI کی آگ میں تیزی سے جل رہی ہیں”۔

تجویز: AI کمپنیوں کے پیسوں سے چلنے والی ایک آزاد فاؤنڈیشن، جو نوجوان محققین کو گرانٹس، فیلوشپس اور بہترین ماڈلز تک رسائی دے، اور جس کا ہم منصب جائزہ امریکی نیشنل سائنس فاؤنڈیشن کے نمونے پر ہو۔

نوٹس کہتے ہیں کہ انہیں “ChatGPT Astra کے ساتھ مدوّن اور مصوّر کیا گیا”۔