1959 دا اک قیاس، OpenAI دا اک ثبوت، تے اوہنوں پڑھن والا اک ریاضی دان
ایہہ لیکھ اوہناں نوٹساں بارے اے جو اک ریاضی دان نے کسے ہور دا ثبوت سمجھاؤن لئی لکھے۔ OpenAI دے ثبوت بارے ایتھے جو کجھ آکھیا گیا اے، اوہ سب اوہناں نوٹساں توں، دوجے ہتھ، آؤندا اے۔
نقطیاں وچوں لنگھدیاں لکیراں
مسئلہ سکول دی اک مشق توں اُگدا اے جیہنوں انٹرپولیشن کہندے نیں: x دیاں کجھ قدراں چُنو، طے کرو کہ ہر اک اُتے کوئی فنکشن کیہڑی قدر لووے، تے کوئی نہ کوئی کثیر رقمی (polynomial) ایہہ ہمیشہ کر دیندا اے۔ سطح اُتے اوہی کھیڈ اک لکیر نوں نقطیاں دے اک ٹولے وچوں لنگھن نوں کہندی اے، جو اوہ کر سکدی اے جے اوہدا درجہ کافی اُچا ہووے۔ درجہ d دی لکیر — جو x تے y وچ اک کثیر رقمی مساوات نال واہی جاندی اے جیہدی سب توں اُچی طاقت d ہووے: سدھی لکیر دا درجہ 1، دائرے دا 2 — دے (d+1)(d+2)/2 عددی سر (coefficients) ہوندے نیں، تے اوہنوں کسے نقطے وچوں لنگھن لئی کہنا اک مساوات اے۔
ہُن ہور منگو: لکیر نوں ہر نقطے وچوں کثرت m نال لنگھنا پوے — کئی واری، جیویں اوتھے اک دوجے نوں کٹدیاں ٹاہنیاں دی گنڈھ۔ ہر ایہو جہیا نقطہ 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۔
ثبوت، جیویں Tevelev دسدا اے
حوالہ “OpenAI, Nagata’s conjecture for plane curves” اے، 23 ستمبر 2026 دی تریخ والا اک OpenAI Math Release پری پرنٹ، نال جُڑے سوالاں اُتے ساتھی مسودے 23 ستمبر تے 5 اکتوبر نوں جاری ہوئے۔ UMass Amherst دے Jenia Tevelev نے اوہنوں اک لیکچر لئی پڑھیا تے اوس بیان نوں ایہناں نوٹساں وچ بدلیا، ایس امید نال کہ اوہ “فائدے مند ہون گے، خاص کر کے غیر ماہراں لئی”۔ Tevelev کسے نویں پن دا دعویٰ نئیں کردا تے دلیل نوں نویں سرے توں ترتیب دتی۔
معیاری پہلے قدم سطح نوں اک ملائم کیوبک لکیر اُتے دبا دیندے نیں تے r نقطیاں نوں اک وچ رلا دیندے نیں۔ ایس بیان وچ، نواں خیال ایہہ اے کہ کیوبک نوں اک گنڈھ (node) — اک نقطہ جتھے لکیر آپ نوں کٹدی اے تے اک پھندا نُچڑ کے وکھ ہو جاندا اے — بناؤن دتی جاوے، تے جیویں جیویں اوہ نُچڑنا پورا ہوندا اے، اوہدے تھیٹا فنکشناں دا پِچھا کیتا جاوے — یعنی ایہو جہی لکیر اُتے وسن والے فنکشن لکھن دا معیاری طریقہ۔ فیر اک دوئی (duality) سوال “کیہڑیاں لکیراں نقطیاں اُتے صفر ہوندیاں نیں؟” نوں اوہدے عکس “اوتھے کیہڑیاں قدراں مقرر کیتیاں جا سکدیاں نیں؟” نال بدل دیندی اے، تے جو باقی رہندا اے اوہ پورے عدداں والے جالی نقطیاں دی اک تکون اُتے انٹرپولیشن اے — بھرن لئی قدراں دی اک محدود فہرست، “جو سِدھا سادہ اے”۔
سولہ تہرے نقطیاں دی صورت: تکون دے 91 جالی نقطے (کھبے) تے 96 یک رقمی (monomials)، یعنی x²y ورگے مُڈھلے رقم جیہناں نال کثیر رقمی بندے نیں (سجے)۔ ایہہ وکھانا کہ ایہہ 96 رقم 91 نقطیاں اُتے کوئی وی قدراں لے سکدے نیں — یعنی 96 × 91 میٹرکس دا “پورا رینک” (full rank) اے — لکیر نوں رد کر دیندا اے۔ — شکل 3، Tevelev (2026)، arXiv:2610.30050، CC BY 4.0۔
اوہی حساب اک جُڑے، ہور تکنیکی سوال نوں وی نبیڑ دیندا اے، جیہدے وچ سطح نوں اک نقطے دے دوالے دو سمتاں وچ وکھ وکھ مقداراں نال وڈا کیتا جاندا اے (“وزنی بلو اَپ”، weighted blow-ups)، جدوں اوہناں مقداراں دی نسبت نوں توں ودھ جاوے — Dumnicki، Harbourne، Küronya، Roé تے Szemberg دے اک قیاس دی اک صورت۔
نوٹس دلیل نوں اک ثبوت وجوں پیش کردے نیں۔ اوہ کسے آزاد رسمی جانچ دا ذکر نئیں کردے، جیویں ہم منصب جائزہ (peer review) یا کمپیوٹر نال پکا کیتا ثبوت۔
“اوہناں دا پہلا انسانی پڑھن والا”
نوٹساں وچ مصنف دی رائے وی اے۔ جاری کیتے مسودے پڑھدیاں، Tevelev لکھدا اے: “میں سوچیا کہ کتے میں اوہناں دا پہلا انسانی پڑھن والا تے نئیں۔ اوہ تقریباً بالکل بنا سودھے جاپدے سن۔” Tevelev نوں شک اے کہ کمپنی نے امید رکھی سی کہ ریاضی دان اوہناں نوں سنوار دین گے، اک ادارتی کوشش جو “مہارت تے ویلہ منگدی اے، پر اصلی کھوج نال جُڑی قدر دا تھوڑا جیہا حصہ ای دیندی اے”۔ ہور بہت ساریاں وانگ، Tevelev منندا اے کہ ایہہ طریقہ پیشے نوں نقصان دیندا اے، “خاص کر کے نوجواناں دے حوصلے تے تربیت نوں”۔
“نال ای، میرا خیال اے کہ ایہہ مسودے اک حیران کن کامیابی نیں،” Tevelev لکھدا اے: ماڈل نے اوہ مسئلے حل کیتے جیہناں نوں بہت سارے ماہر پہنچ توں باہر سمجھدے سن، تے “ریاضیاتی قیاساں دیاں پرانیاں جھاڑیاں” “AI دی اگ وچ تیزی نال سڑ رہیاں نیں”۔
تجویز: AI کمپنیاں ولوں پیسے دتی جان والی اک آزاد فاؤنڈیشن، جو نوجوان کھوجیاں نوں گرانٹاں، فیلوشپاں تے سب توں ودھیا ماڈلاں تک رسائی دیوے، امریکی نیشنل سائنس فاؤنڈیشن (National Science Foundation) دے نمونے اُتے ہم منصب جائزے نال۔
نوٹس دسدے نیں کہ اوہ “ChatGPT Astra نال سودھے تے تصویراں نال سجائے گئے”۔