اردوش نے 1961 میں پوچھا تھا۔ آدھے، تقریباً یقینی طور پر

ایک کثیر رقمی (polynomial) کے ہر عددی سر کے لیے سکہ اچھالیے: چت پر +1، پٹ پر −1۔ نتیجہ ایک بے ترتیب لٹل وُڈ کثیر رقمی ہے، 1 ± z ± z² ± … ± zⁿ۔ درجہ n کے ہر کثیر رقمی کی طرح اس کے بھی n جذر ہوتے ہیں — مختلط مستوی (complex plane) کے وہ نقطے جہاں اس کی قیمت صفر ہوتی ہے۔

1961 میں ریاضی دان اردوش نے پوچھا کہ یہ جذر کہاں جاتے ہیں۔ زیادہ دقیق طور پر: جیسے جیسے درجہ بڑھتا ہے، کیا بند اکائی قرص — یعنی رداس 1 کا دائرہ اور اس کے اندر کی ہر چیز — میں واقع جذروں کا تناسب، احتمال ایک کے ساتھ، ٹھیک نصف کی طرف مائل ہوتا ہے؟ یہ سوال اردوش کے مسائل کی فہرست میں مسئلہ #522 بن گیا۔ اس کا ایک کمزور تر نسخہ، جو “تقریباً یقینی طور پر” کے بجائے “زیادہ احتمال کے ساتھ” درست ہے، اس سے پہلے یاکیر ثابت کر چکے تھے۔

MIT کے سیبسٹین کاوادا اب اردوش کے سوال کا جواب دیتے ہیں: ہاں۔

دائرے سے چمٹے ہوئے

یہ مقالہ نصف سے زیادہ ثابت کرتا ہے۔ تقریباً تمام جذر اکائی دائرے کے گرد ایک پتلی پٹی میں، 1/n کے درجے کے فاصلے پر، جمع ہو جاتے ہیں۔ متغیر x = n(|z| − 1) کے ذریعے اس پٹی کو قریب سے دیکھیے، تو رداس 1 + x/n کے دائرے کے اندر جذروں کا حصہ ایک ہی منحنی پر آ ٹھہرتا ہے:

Φ(x) = ½ (1 + coth x − 1/x)

x = 0 پر یہ منحنی ٹھیک ½ دیتی ہے: اردوش کا جواب۔ یہی منحنی بے ترتیب عددی سروں کے ایک پورے خاندان کے لیے درست ہے — سکے کی اچھال، دائرے پر بے ترتیب نقطے، گاؤسی اعداد۔ عنوان کا آفاقی (universal) حصہ یہی ہے۔

نتیجہ اس وقت بھی درست رہتا ہے جب مختلف درجوں کے کثیر رقمی آپس میں کسی بھی طرح جڑے ہوں: ایک وقت میں ایک سکے کی اچھال کا اضافہ کر کے بنائے گئے ہوں، یا ہر درجے پر بالکل نئے سرے سے چنے گئے ہوں۔ سکے کی اچھال کی صورت میں، قرص کے اندر جذروں کی تعداد کا n/2 پر اضافہ تقریباً n^(3/4) سے کم رہتا ہے۔

جہاں آفاقیت رک جاتی ہے

اس کے بعد مقالہ نصف کے گرد چھوٹے اتار چڑھاؤ کا جائزہ لیتا ہے۔ یہاں عددی سروں کا تقسیمی قانون اہم ہونے لگتا ہے۔ گاؤسی عددی سروں کے لیے اضافے کا تغیر (variance) 0.3059 × n کی طرح بڑھتا ہے۔ دیگر متشاکل قوانین کے لیے یہ ایک مقدار، جسے چوتھا کیومولینٹ کہتے ہیں، کے بارہویں حصے کے برابر سرک جاتا ہے؛ یہ مقدار بتاتی ہے کہ قانون کے سرے (tails) کتنے بھاری ہیں۔ سکے کی اچھال کے لیے مستقل 0.3059 − 1/6 ہو جاتا ہے۔ دس لاکھ تک کے درجے والے 16,384 بے ترتیب کثیر رقمیوں پر کمپیوٹر تجربات ان پیش گوئیوں سے مطابقت رکھتے ہیں۔

یہ کیسے ثابت ہوتا ہے

دو کلاسیکی آلات بھاری کام سنبھالتے ہیں۔ جینسن کا فارمولا کسی قرص میں جذروں کی گنتی کو ایک دائرے کے گرد کثیر رقمی کے لوگارتھم کی اوسط میں بدل دیتا ہے؛ یہ اوسط نہایت مرتکز نکلتی ہے۔ مشکل قدم درجوں کی ایک بکھری ہوئی ترتیب سے ایک ساتھ تمام درجوں تک پہنچنا ہے۔ اتار چڑھاؤ کے لیے اصولِ دلیل (argument principle) جذروں کے اضافے کو اس بات کی علامت دار گنتی میں بدل دیتا ہے کہ اکائی دائرے پر کثیر رقمی کی کھینچی ہوئی ایک منحنی کتنی بار ایک خط کو کاٹتی ہے۔

مشین سے جانچا گیا

82 صفحات کے اس مقالے کا ہر بنیادی نتیجہ ثبوت معاون Lean 4 میں رسمی طور پر تصدیق شدہ ہے۔ مسئلہ #522 کا ثبوت Google DeepMind کے Formal Conjectures منصوبے میں اس کے رسمی بیان کے حل کے طور پر قبول کیا گیا، اور ایک واحد فائل کی مدد سے کوئی بھی اسے ویب براؤزر میں دوبارہ چلا سکتا ہے۔ مصنف لکھتے ہیں کہ MIT میں مانولس کیلس کی لیب کے اندرونی مصنوعی ذہانت ماڈلز نے، جن میں لسانی ماڈلز بھی شامل ہیں، Lean میں رسمی تشکیل اور کئی اخذ کردہ نتائج کی جانچ میں مدد کی؛ مصنف کا کہنا ہے کہ ریاضیاتی طریقۂ کار ان کا اپنا ہے۔

اپریل 2026 میں، اسی بیان کے دو غیر رسمی دلائل اردوش کے مسائل کے فورم پر شائع کیے گئے۔ کاوادا کہتے ہیں کہ یہ ثبوت اور اس کا طریقۂ کار اصل ہیں، اور یہ پہلا رسمی طور پر تصدیق شدہ ثبوت ہے۔ سوال پوچھے جانے کے پینسٹھ سال بعد، مشین سے جانچا گیا جواب یہ ہے: آدھے، تقریباً یقینی طور پر۔