نشان دی اوہ بُھل جیہنے تِن ثبوت ڈوب دتے

ہوج دا قیاس (Hodge conjecture) ریاضی دے سب توں ڈونگھے حل نہ ہوئے سوالاں وچوں اک اے۔ ایس مقالے وچ ایہدا بیان Clay Mathematics Institute دی کتاب The Millennium Prize Problems وچ Pierre Deligne دے اک باب توں لیا گیا اے۔ بہت موٹے طور اُتے، ایہہ آکھدا اے کہ کثیر رُکنی (polynomial) مساواتاں نال بیان کیتی گئی کسے ہندسی سپیس دی ٹوپولوجی وچ لُکیاں کجھ “شکلاں” ہمیشہ اجہے نکے ٹکڑیاں توں بنائیاں جا سکدیاں نیں جو آپ وی مساواتاں نال بیان کیتے گئے ہون۔

ستمبر تے اکتوبر 2026 وچ، OpenAI نے “OAI” دے دستخط والے تِن دستاویز جاری کیتے، جنہاں نے خاص صورتاں وچ قیاس ثابت کرن دا دعویٰ کیتا: K3 سطحاں آکھیاں جان والیاں کجھ سطحاں، اوہناں دے حاصل ضرب (products)، تے کجھ اٹھ ابعادی سپیساں لئی۔ OpenAI نے بعد وچ تِنے واپس لے لئے۔ امپیریل کالج لندن دے Yankı Lekili تے یونیورسٹی آف ایڈنبرا دے Nick Sheridan ہُن ٹھیک ٹھیک دسدے نیں کہ اوہ کتھے غلط ہوئے۔

شیشے وچوں اک درست راہ

دستاویزاں نے اک سوہنا راہ پھڑیا۔ اک تکڑا خیال جیہنوں ہومولوجیکل آئینہ تشاکل (homological mirror symmetry) آکھدے نیں، تے جیہدا قیاس Maxim Kontsevich نے کیتا سی، اک ہندسی سپیس X نوں اک بالکل وکھری قسم دی “آئینہ” سپیس Y نال جوڑدا اے، جیہدا مطالعہ سمپلیکٹک ہندسہ (symplectic geometry) وچ ہوندا اے — اک اجہی ہندسہ جو حرکت دی طبیعیات توں آئی اے، تے جیہدے وچ لمائیاں نہیں سگوں رقبے ناپے جاندے نیں۔ اک وار جوڑ پکا ہو جاوے، تے X بارے سوال نوں Y بارے سوال نال وٹایا جا سکدا اے۔

ایتھے، X لئی ہوج دا سوال نبیڑن لئی، آئینہ Y وچ اک خاص شے بناؤنا کافی اے: سطح ورگی اک شکل جیہنوں لگرانژی امرشن (Lagrangian immersion) آکھدے نیں، جیہنوں بے رکاوٹ (unobstructed) وی ہونا چاہیدا اے — اک تکنیکی شرط جو ایہنوں آئینے دے اوزاراں دا جائز رُکن بناؤندی اے۔ Lekili تے Sheridan منّدے نیں کہ ایہہ اک درست طریقہ اے۔ اڑچن ایہہ اے: بے رکاوٹ لگرانژی بناؤنا آپ اک اوکھا مسئلہ اے۔ ایتھے ای تِنے دستاویز ٹُٹ گئے۔

کٹن والے نقطے کتھوں آؤندے نیں

امرشن نوں اپنے آپ نوں کٹن دی اجازت اے، تے ہر کٹن والا نقطہ اک نمبر رکھدا اے، اوہدا درجہ (degree)۔ طاق درجے والے کٹاں ایتھے بے ضرر نیں۔ درجہ 2 والے کٹ اک رکاوٹ بنا سکدے نیں۔

دستاویزاں نے پہلاں اک لچکدار طریقے، Gromov تے Lees دے h-اصول (h-principle) نال اک کچی امرشن بنائی۔ فیر اوہناں نے ایہنوں سنوارن لئی Tobias Ekholm، Yakov Eliashberg، Emmy Murphy تے Ivan Smith دا 2013 دا اک مسئلہ ورتیا، تاں جو ہر کٹ دا درجہ طاق ہووے۔ جدوں کوئی جفت کٹ باقی نہ رہوے، تے بے رکاوٹ ہونا آپے ای نکل آؤندا۔

اک جمع جیہنوں منفی ہونا چاہیدا سی

2013 دا مسئلہ ٹھیک اے۔ پر ایہہ کٹاں نوں معیاری ریت دے اُلٹ نشان دی ریت نال گِندا اے۔ ایہدے لکھاری کدی وی ایہہ گل صاف نہیں آکھدے؛ اوہ اپنی ریت لگاتار ورتدے نیں، تے ایہہ اوہناں دے فارمولیاں تے ثبوت توں کڈھی جا سکدی اے۔ OpenAI دے دستاویزاں نے ایہدی تھاں معیاری ریت ورتی — اک نشان اُلٹ گیا۔ ایہہ اہم اے کیونکہ مسئلے دا نتیجہ ایس گل اُتے ٹکیا اے کہ کٹاں دا اک خاص میزان، جو جمع تے منفی نشاناں نال گِنیا جاندا اے، منفی نکلدا اے یا نہیں۔ دستاویزاں نے اپنی امرشن اینج بنائی سی کہ ایہہ میزان منفی آوے — اوہ حالت جیہدے وچ اوہ سمجھدے سن کہ ہر کٹ نوں طاق بنایا جا سکدا اے۔ مسئلے دے اپنے نشان نال، اوہی میزان مثبت اے: یعنی دوجی حالت۔ لگدا اے ایہہ مسئلہ سب توں پہلاں Nathan Humphrey نے ویکھیا تے OpenAI نوں دسیا۔

نشان ٹھیک پڑھیا جاوے تے مسئلہ اک وکھری کہانی سناؤندا اے۔ ایہدی بناوٹ ہمیشہ درجہ 2 والا اک کٹن والا نقطہ چھڈ دیندی اے، جیہنوں Lekili تے Sheridan p آکھدے نیں۔ ہر دوجا کٹ طاق بنایا جا سکدا اے؛ p رہ جاندا اے۔ تے p ثبوت نوں توڑن لئی کافی اے۔

ایہہ اک خلا نالوں وی بھیڑا اے۔ لکھاری وکھاؤندے نیں کہ ایس طرحاں بنیاں امرشناں عام طور اُتے رکاوٹ والیاں ہوندیاں نیں: اک نکی “سخت” ٹکی (rigid disc) — اک اکلی سطح، جیہدی شکل بدلی نہیں جا سکدی، تے جیہدا کنارا امرشن اُتے پیندا اے تے p وچوں لنگھدا اے — اک اجہی رکاوٹ بناؤندی اے جو، اک خاص حالت وچ، مُک نہیں سکدی — تے اوس حالت توں باہر وی کوئی وجہ نہیں کہ ایہہ آپے کٹ جاوے۔ اوہناں دے لفظاں وچ، ایہہ کٹ “لچک دی قیمت” اے۔

سخت بمقابلہ لچکدار

ایس شعبے دے ریاضی دان لچکدار مسئلیاں، جو تفرقی ٹوپولوجی (differential topology) دے عام اوزاراں اگے جھک جاندے نیں، تے سخت (rigid) مسئلیاں، جو نہیں جھکدے، وچ فرق کردے نیں۔ بے رکاوٹ لگرانژی عام طور اُتے سخت ہوندے نیں، تے عام طور اُتے سخت توں لچکدار ول جایا جا سکدا اے پر واپس نہیں۔ ایس سمجھ نے کئی کھوجیاں نوں دستاویز واپس لئے جان توں پہلاں ای اوہناں بارے شکی بنا دتا سی۔ فیر وی لکھاری عاجزی دی اک گل جوڑدے نیں: سمجھ غلط وی ہو سکدی اے، تے 2013 دا مسئلہ آپ وی کدی امیداں دے اُلٹ گیا سی۔

کیہ بچدا اے

Lekili تے Sheridan باقی دلیلاں دا جائزہ نہیں لیندے، تے اوہ تِن چنگے نتیجے گِنواندے نیں۔ مجموعی حکمت عملی — آئینہ تشاکل راہیں ہوج دے قیاس اُتے حملہ — دلچسپ تے اگے ودھاؤن دے قابل اے؛ جے کوئی لگرانژی والی رکاوٹ پار کر لوے، تے دستاویز باقی تکنیکی قدماں وچ راہ وکھا سکدے نیں۔ 2013 دے مقالے دی لُکی نشان دی ریت ہُن صاف ہو گئی اے۔ تے ایہہ سوال وی کہ کیہ اوہدیاں امرشناں کدی بے رکاوٹ ہو سکدیاں نیں۔