संख्याओं के समुच्चय लीजिए। "सूरजमुखी" समुच्चयों का एक ऐसा समूह है जो सब ठीक एक ही केंद्र में एक-दूसरे पर चढ़ते हैं। बाक़ी सब, यानी पंखुड़ियाँ, कभी एक-दूसरे को नहीं छूतीं। गणितज्ञों को ये बहुत प्रिय हैं।
1970 के दशक में Erdős और Szemerédi ने पूछा: आप कितने समुच्चय इकट्ठा कर सकते हैं ताकि उनमें से कोई k मिलकर सूरजमुखी न बनाएँ? उनका अनुमान: सभी संभव समुच्चयों से घातांकीय रूप से कम। केवल तीन-पंखुड़ी वाला मामला 2016 में सुलझा था।
अब वियना और KAIST के तीन गणितज्ञ इसे पंखुड़ियों की हर संख्या के लिए सिद्ध करते हैं। सीमा: 3 × (2 − 1/16k³) की घात n। 2ⁿ के क़रीब, फिर भी घातांकीय रूप से छोटी।
मुख्य क़दम ChatGPT 6 Astra Pro ने खोजा। लेखकों ने इसे दोबारा लिखा, जाँचा, और प्रमाण को Lean सॉफ़्टवेयर से सत्यापित करवाया।
स्रोत: Proof of the Erdős-Szemerédi sunflower conjecture, https://arxiv.org/abs/2610.26686










