एका AI ने 1990 च्या दशकातील रंगवणी-अनुमान बुडवले

रेषांनी जोडलेल्या बिंदूंचे एक जाळे घ्या — एक आलेख (graph). संपूर्ण रंगवणी (total colouring) प्रत्येक बिंदूला आणि प्रत्येक रेषेला रंग देते, तीन नियम पाळून: शेजारचे दोन बिंदू वेगळे, एका बिंदूवर भेटणाऱ्या दोन रेषा वेगळ्या, आणि रेषा तिच्या दोन टोकांच्या बिंदूंपेक्षा वेगळी. हे साधणाऱ्या रंगांच्या किमान संख्येला संपूर्ण वर्णांक (total chromatic number) म्हणतात, आणि ती χ″(G) अशी लिहितात.

आता ते अवघड करूया. प्रत्येक बिंदूला आणि प्रत्येक रेषेला परवानगी असलेल्या रंगांची स्वतःची यादी द्या, सर्व याद्या एकाच आकाराच्या k, आणि याद्यांमधून निवडलेली वैध रंगवणी मागा. याद्या कशाही असोत ते साधणारा किमान k म्हणजे यादी संपूर्ण वर्णांक, χ″ℓ(G). तो χ″(G) पेक्षा कधीच लहान असू शकत नाही: सर्व याद्या सारख्या असतील, तर आपण पुन्हा सामान्य समस्येकडेच येतो.

1990 च्या दशकाच्या उत्तरार्धातील एक अनुमान

तीन गटांनी — बोरोडिन, कोस्टोचका आणि वुडॉल; युव्हान, मोहर आणि श्क्रेकोव्स्की; हिल्टन आणि जॉन्सन — 1990 च्या दशकाच्या उत्तरार्धात स्वतंत्रपणे मांडले की वैयक्तिक याद्यांची कधीच काही किंमत मोजावी लागत नाही:

प्रत्येक आलेखासाठी χ″ℓ(G) = χ″(G) (दोन बिंदूंमध्ये अनेक रेषा असल्या तरीही).

हे आहे यादी संपूर्ण रंगवणी अनुमान (List Total Colouring Conjecture). पुरावे त्याच्या बाजूने होते: कोणत्याही बिंदूतून दोनपेक्षा जास्त रेषा नसलेल्या आलेखांसाठी ते खरे ठरते, आणि प्रत्येक बिंदूतून नेमक्या तीन रेषा असलेल्या प्रत्येक आलेखाला (घनीय आलेख, cubic graph) याद्यांतून जास्तीत जास्त 5 रंग लागतात हे ज्ञात होते.

प्रत्युदाहरण

कॅनडातील व्हिक्टोरिया विद्यापीठाचे जोनाथन नोएल आता 20 बिंदूंचा घनीय आलेख दाखवतात, ज्याचा χ″ = 4 पण χ″ℓ = 5 आहे. अनुमान खोटे आहे.

रचना संक्षिप्त आहे. K₂,₃ नावाच्या एका लहान आलेखाच्या चार प्रती घ्या: दोन “खाजगी” बिंदू, प्रत्येक त्याच तीन “टर्मिनल” बिंदूंशी जोडलेला. मग प्रतींच्या प्रत्येक जोडीला टर्मिनलमधील नेमक्या एका “छेद” रेषेने जोडा. शेवटी प्रत्येक बिंदूतून तीन रेषा निघतात.

छेद-रेषांनी जोडलेल्या चार खंडांच्या रूपात काढलेला, चार रंगांत रंगवलेला 20 बिंदूंचा आलेख.

फक्त चार रंगांत संपूर्ण रंगवणी केलेला आलेख G, आकार आणि रेषांच्या शैलींनी दाखवलेला. — आकृती 1, Noel (2026), arXiv:2609.38417.

सामान्य खेळात चार रंग पुरेसे आहेत: रंग 4 सर्व खाजगी बिंदूंना आणि सर्व छेद-रेषांना जातो, जे कधीच एकमेकांना स्पर्श करत नाहीत, आणि उरलेले एक लहान तक्ता आणि एक चक्रीय नियम सांभाळतात.

पूर्ण करता न येणाऱ्या याद्या

सापळ्यात 1 ते 5 रंग वापरले जातात. खंड i मधील प्रत्येक बिंदू आणि रेषेला “i सोडून सर्व रंग” ही यादी मिळते; छेद-रेषांना 5 किंवा i + 2 नसलेल्या, काळजीपूर्वक निवडलेल्या याद्या मिळतात. मग सिद्धता एखाद्या छोट्या रहस्यकथेसारखी उलगडते:

प्रमेयिका: K₂,₃ च्या कोणत्याही 4-रंगवणीत दोन खाजगी बिंदूंचा रंग एकच असला पाहिजे.
म्हणून प्रत्येक खंड i ला रंगांची एक जोडी {i, sᵢ} असते, आणि दोन खंडांमधील प्रत्येक छेद-रेषेने दोन्ही जोड्यांमध्ये समान असलेला रंग वापरला पाहिजे.
थोडी मोजणी दाखवते की एक रंग t चारही जोड्यांमध्ये असलाच पाहिजे.
प्रत्येक संभाव्य t साठी, एका विशिष्ट छेद-रेषेच्या यादीत तो रंग नसतो. विरोधाभास.

तोच आलेख, प्रत्येक बिंदू आणि रेषेवर तिच्या यादीत नसलेला रंग दर्शवलेला.

याद्यांचे वाटप: प्रत्येक बिंदू आणि रेषा 1 ते 5 पैकी दर्शवलेला एक रंग सोडून सर्व रंग वापरू शकते. कोणतीही संपूर्ण रंगवणी या याद्या पाळू शकत नाही. — आकृती 2, Noel (2026), arXiv:2609.38417.

यंत्राने शोधले, गणितज्ञाने तपासले

शोधनिबंध आपल्या उगमाबद्दल विलक्षण स्पष्टवक्ता आहे. 24 सप्टेंबर 2026 रोजी नोएल यांनी ChatGPT 6 Astra Ultra ला अनुमान खोडून काढण्याची सूचना दिली, आणि त्याने “लेखकाच्या फारशा सहभागाशिवाय” प्रत्युदाहरण तयार केले. त्यांनी युक्तिवाद तपासले आणि प्रतिरूपाने तयार केलेल्या मसुद्यांवरून मजकूर पुन्हा लिहिला; प्रतिरूपाने मुद्रितशोधनातही मदत केली, संदर्भ सुचवले आणि आकृत्या काढल्या. “अचूकतेची पूर्ण जबाबदारी लेखक घेतात,” असे निवेदनाच्या शेवटी म्हटले आहे. शोधनिबंध प्रीप्रिंट आहे, पण सिद्धता इतकी लहान आहे की धीर असलेला कोणताही वाचक ती पडताळू शकतो.

एकाचा फरक, की अधिक?

वैयक्तिक याद्यांमुळे एक जादा रंग लागू शकतो. त्यापेक्षा जास्त लागू शकतात का? तीनचा फरक पडला, तर एक चांगला अभ्यासलेला नातेवाईक — यादी कडा रंगवणी अनुमान (List Edge Colouring Conjecture) — सुद्धा कोसळेल, कारण χ″ℓ ≤ χ′ℓ + 2 आणि χ″ ≥ χ′. नोएल AI च्या प्रत्युदाहरणानंतरही उभ्या राहणाऱ्या एका खुल्या प्रश्नाने शेवट करतात: प्रत्येक आलेखासाठी χ″ℓ(G) ≤ χ″(G) + 1 आहे का?