एर्डोश ने 1961 में पूछा था। जवाब: आधे, लगभग निश्चित रूप से

किसी बहुपद के हर गुणांक के लिए एक सिक्का उछालिए: चित आए तो +1, पट आए तो −1। नतीजा होता है एक यादृच्छिक लिटलवुड बहुपद (random Littlewood polynomial), 1 ± z ± z² ± … ± zⁿ। n घात के किसी भी बहुपद की तरह, इसके n मूल होते हैं — सम्मिश्र समतल के वे बिंदु जहाँ इसका मान शून्य होता है।

1961 में गणितज्ञ एर्डोश ने पूछा कि ये मूल कहाँ जाते हैं। ज़्यादा सटीक रूप से: जैसे-जैसे घात बढ़ती है, क्या बंद इकाई चक्रिका — त्रिज्या 1 का वृत्त और उसके भीतर की हर चीज़ — के अंदर पड़ने वाले मूलों का अनुपात, प्रायिकता एक के साथ, ठीक आधे की ओर जाता है? यह सवाल एर्डोश समस्याओं की सूची में समस्या #522 बन गया। इसका एक कमज़ोर रूप, जो “लगभग निश्चित रूप से” के बजाय “उच्च प्रायिकता के साथ” सही है, याकिर (Yakir) पहले ही साबित कर चुके थे।

अब MIT के सेबास्टियन कावाडा एर्डोश के सवाल का जवाब देते हैं: हाँ।

वृत्त से चिपके हुए

शोधपत्र “आधे” से ज़्यादा साबित करता है। लगभग सभी मूल इकाई वृत्त के चारों ओर एक पतली पट्टी में भीड़ लगाते हैं, जिसकी दूरी 1/n के क्रम की होती है। चर x = n(|z| − 1) के साथ इस पट्टी को बड़ा करके देखें, तो त्रिज्या 1 + x/n वाले वृत्त के अंदर पड़ने वाले मूलों का हिस्सा एक ही वक्र पर टिक जाता है:

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

x = 0 पर यह वक्र ठीक ½ देता है: एर्डोश का जवाब। यही वक्र यादृच्छिक गुणांकों के पूरे परिवार के लिए लागू होता है — सिक्का उछालना, वृत्त पर यादृच्छिक बिंदु, गॉसियन संख्याएँ। शीर्षक का सार्वभौमिक (universal) हिस्सा यही है।

यह नतीजा तब भी सही रहता है जब अलग-अलग घातों के बहुपद आपस में किसी भी तरह से जुड़े हों: चाहे एक-एक सिक्का उछाल जोड़ते हुए बनाए गए हों, या हर घात पर पूरी तरह नए सिरे से चुने गए हों। सिक्का उछाल के लिए, चक्रिका के अंदर मूलों की संख्या n/2 से जितनी ज़्यादा होती है, वह अधिकता लगभग n^(3/4) से नीचे रहती है।

सार्वभौमिकता कहाँ रुकती है

इसके बाद शोधपत्र “आधे” के आसपास होने वाले छोटे उतार-चढ़ावों को देखता है। यहाँ गुणांकों का बंटन मायने रखने लगता है। गॉसियन गुणांकों के लिए अधिकता का प्रसरण 0.3059 × n की तरह बढ़ता है। दूसरे सममित बंटनों के लिए यह चौथे क्यूम्यूलेंट (fourth cumulant) नाम की एक राशि के बारहवें हिस्से जितना खिसक जाता है; यह राशि मापती है कि बंटन की पूँछें कितनी भारी हैं। सिक्का उछाल के लिए स्थिरांक 0.3059 − 1/6 हो जाता है। दस लाख तक की घात वाले 16,384 यादृच्छिक बहुपदों पर किए गए कंप्यूटर प्रयोग इन भविष्यवाणियों से मेल खाते हैं।

इसे कैसे साबित किया गया

दो क्लासिकल औज़ार भारी काम करते हैं। जेन्सेन का सूत्र किसी चक्रिका में मूलों की गिनती को एक वृत्त के चारों ओर बहुपद के लघुगणक के औसत में बदल देता है; पता चलता है कि यह औसत बहुत कसकर केंद्रित रहता है। कठिन कदम है घातों के एक विरल अनुक्रम से एक साथ हर घात तक पहुँचना। उतार-चढ़ावों के लिए कोणांक सिद्धांत (argument principle) मूलों की अधिकता को एक चिह्नित गिनती में बदल देता है: इकाई वृत्त पर बहुपद द्वारा खींचा गया एक वक्र किसी रेखा को कितनी बार पार करता है।

मशीन से जाँचा गया

82 पन्नों के इस शोधपत्र का हर मुख्य नतीजा Lean 4 प्रूफ़ असिस्टेंट में औपचारिक रूप से सत्यापित है। समस्या #522 के प्रमाण को Google DeepMind की Formal Conjectures परियोजना में उसके औपचारिक कथन के हल के रूप में स्वीकार किया गया, और एक अकेली फ़ाइल से कोई भी इसे वेब ब्राउज़र में दोबारा चलाकर देख सकता है। लेखक लिखते हैं कि MIT में मैनोलिस केलिस की प्रयोगशाला के आंतरिक AI मॉडलों ने, जिनमें भाषा मॉडल भी शामिल हैं, Lean में औपचारिकीकरण और कई व्युत्पत्तियों की जाँच में मदद की; लेखक कहते हैं कि गणितीय दृष्टिकोण उनका अपना है।

अप्रैल 2026 में एर्डोश समस्याओं के फ़ोरम पर इसी कथन के लिए दो अनौपचारिक तर्क पोस्ट किए गए थे। कावाडा कहते हैं कि यह प्रमाण और इसका दृष्टिकोण मौलिक हैं, और यह पहला औपचारिक रूप से सत्यापित प्रमाण है। सवाल पूछे जाने के पैंसठ साल बाद, मशीन से जाँचा गया जवाब है: आधे, लगभग निश्चित रूप से।