اک اے آئی نے رنگاں دی اک بجھارت بُجھی

لکیراں نال جُڑے نقطیاں دا اک جال لوو — جیہنوں ریاضی دان گراف آکھدے نیں۔ ہُن نقطیاں نوں اینج رنگو کہ لکیر نال جُڑے دو نقطیاں دا رنگ کدی اکو نہ ہووے۔ کم کرن والے رنگاں دی سب توں نکی گنتی گراف دا رنگی عدد (chromatic number) اے۔ اک مشہور خاص صورت چار رنگاں والا مسئلہ (four-colour theorem) اے، جیہڑا 1977 وچ ثابت ہویا، تے جیہدا سرلیکھ سب کجھ دس دیندا اے: “Every planar map is four colorable” (ہر پدھرا نقشہ چار رنگاں نال رنگیا جا سکدا اے)۔

ہیڈویگر دی 1943 دی شرط

1943 وچ، ہیڈویگر نے سارے گرافاں لئی اک وسیع اصول پیش کیتا۔ کسے گراف نوں نقطے یا لکیراں مٹا کے، تے دو جُڑے نقطیاں نوں اک وچ رلا کے سُنگیڑو۔ نتیجے نوں مائنر (minor) آکھدے نیں۔ ہیڈویگر نے اوس سب توں وڈے مکمل گراف (complete graph) ول ویکھیا — اک اجیہا جھرمٹ جیہدے وچ ہر نقطہ دوجے ہر نقطے نال جُڑیا ہووے — جیہڑا ایس طریقے نال لبھیا جا سکے، تے اندازہ لایا کہ لوڑیندے رنگاں دی گنتی کدی وی اوس جھرمٹ دے حجم توں ودھ نہیں ہوندی۔

مقالہ ایہنوں “گراف تھیوری دے سب توں پرانے تے بنیادی مسئلیاں وچوں اک” آکھدا اے۔ ایہ صرف نکیاں صورتاں لئی ثابت اے: پنج دے جھرمٹاں تک، جتھے ایہ چار رنگاں والے مسئلے دے برابر نکلدا اے یا اوس تک گھٹایا جا سکدا اے۔ چھ توں اگے، ایہ کھلا اے۔

نیڑے اپڑنا، اک اک لوگارتھم کر کے

کیوں جے اصل بیان ہتھ نہیں آندا، کھوجیاں نے رنگاں دی گنتی نوں جھرمٹ دے حجم دے کسے اجیہے فنکشن نال بنھن دی کوشش کیتی جیہڑا جنا ہو سکے ہولی ودھے۔ مقالہ ترقی دی کہانی سناندا اے۔ دہاکیاں تک، سب توں چنگی حد تناسب توں تھوڑی تیز ودھدی رہی — اک اجیہے ضربی نال جیہدے وچ لوگارتھم دا جذر شامل سی۔ کجھ ورھے پہلاں، نورن، پوسٹل تے سانگ نے ایہ رکاوٹ توڑی۔ فیر ڈیلکور تے پوسٹل نے ایہنوں ہور سدھاریا تے، سب توں اہم، ایہ وکھایا کہ کافی نکے گرافاں نال نجٹھنا ای کافی اے۔ لیو تے لوو نے وادھو ضربی نوں تِہرے لوگارتھم تک تھلے دھک دتا۔

قدرتی منزل لکیری ہیڈویگر قیاس (linear Hadwiger conjecture) اے: جھرمٹ دے حجم دا اک مقرر گُنا ہمیشہ کافی ہوندا اے۔ ایہو اوہ گل اے جیہنوں مونٹریال دی میک گل یونیورسٹی دے سرگئی نورن تے ای ٹی ایچ زیورخ دے رافیل شٹائنر ہُن ثابت کرن دا دعویٰ کردے نیں۔

مشین دا حصہ

لکھاری صاف دسدے نیں: ثبوت اوپن اے آئی دے اک ماڈل، GPT-6 Astra، نے اوہناں دیاں ہدایتاں تے چلدیاں لبھیا۔ پہلاں اوہناں نے ایہنوں بہت گھنے گرافاں دی صورت ثابت کرن لئی آکھیا، جیہنوں اوہ گواچا ٹکڑا سمجھدے سن۔ اوہ لکھدے نیں کہ ایہ کامیاب ہویا “صرف دو کو گھنٹیاں تے تھوڑی حوصلہ افزائی توں بعد۔” جدوں اک انحصار نوں کھول کے دسن لئی آکھیا گیا، تے ایہنے اک خاص حجم تک دے گراف ڈھک لئے — پر لوڑیندی پوری حد نہیں۔ فیر اوہناں نے ایہدے توں خلا پورا کرن لئی اک نواں خیال منگیا، جیہدے توں آخری ثبوت دا “بوٹسٹریپ” (bootstrap) قدم نکلیا۔ اوہ آکھدے نیں کہ اوہناں دے اپنے خاص ثبوتی خیالاں وچوں لگ بھگ کوئی وی نہیں بچیا، سوائے سُنگیڑن (contractions) بارے اک تجویز دے۔

لکھت انسانی اے۔ اوپن اے آئی دے اک ہور ماڈل نے پروف ریڈنگ تے حوالیاں دی فہرست وچ مدد کیتی۔ لکھاری دسدے نیں کہ اوپن اے آئی دے کوڈیکس (Codex) نے پورے ثبوت دا اک رسمی، مشین نال جانچیا جا سکن والا روپ Lean ثبوتی معاون وچ بنایا، جیہڑا اے آئی دے لکھے اک مُڈھلے مسودے دے نال آن لائن پایا گیا۔ ریاضی دی پوری ذمہ واری اوہ آپ لیندے نیں۔

ثبوت دے اندر

دلیل دے دو اَدھ نیں:

1. نکے گراف، تھوڑے رنگ۔ اوہناں گرافاں لئی جیہڑے جھرمٹ دی حد توں بہتے وڈے نہیں، لکھاری وکھاندے نیں کہ جھرمٹ دے حجم دا لگ بھگ چار گُنا کافی اے۔ شروعات ریڈ تے سیمور دے 1998 دے اک نتیجے توں ہوندی اے: رنگن دی اک ڈھلی، “کسری” (fractional) شکل پہلاں ای دو دے ضربی نال لکیری اصول دی پیروی کردی اے۔ نواں کم گراف وچ کجھ وادھو لکیراں جوڑ کے تے اک مددگار ڈھانچے وچ بہت وڈے جوڑ (matchings) لبھ کے کسری رنگائی نوں اصلی رنگائی وچ بدلدا اے۔
2. اک بوٹسٹریپ۔ اک دوجی دلیل ہر قدم تے، طاقت (exponent) وچ چار تہائی دے ضربی نال، ڈھکے گئے گراف حجماں دی حد نوں ودھاندی اے، اک وڈے مستقلے دی قیمت تے۔ دس قدم ایس حد نوں اک تہائی توں لگ بھگ 5.92 تک لے جاندے نیں، جیہڑا ڈیلکور-پوسٹل گھٹاؤ دی منگی 5 دی دہلیز توں اگے اے۔ ایہ اَدھ گیارفاش (Gyárfás) دی اک پرانی چال ورتدا اے، جیہڑی لکھاریاں موجب کدی ایس مسئلے تے نہیں ورتی گئی سی۔

لکھاری ثبوت نوں جانے پچھانے اوزاراں توں بنیا دسدے نیں — “موجودہ نتیجیاں دے محدب خول (convex hull) دے اندر،” پر اوہدے کسے ظاہر کنارے تے نہیں۔

کیہ کھلا رہ گیا

مستقلہ بے حد وڈا اے: اک موٹا اندازہ لگ بھگ 10¹⁰⁰ دیندا اے۔ لکھاری ایہنوں 10¹⁰ توں تھلے لیان دی گنجائش ویکھدے نیں، پر سمجھدے نیں کہ، مثلاً، 100 تک اپڑن لئی نویں خیالاں دی لوڑ پوے گی۔ ہیڈویگر دا اصل قیاس جیوں دا تیوں اے: “اسیں فیصلہ نہیں کر سکے،” اوہ لکھدے نیں۔ مقالہ اک پری پرنٹ اے؛ 41 صفحیاں دی نویں ریاضی ہُن دوجے ماہراں دی جانچ دا ساہمنا کرے گی۔