संख्यांचे काही संच घ्या. "सूर्यफूल" म्हणजे असा संचांचा गट जे सगळे अगदी एकाच गाभ्यात एकमेकांवर येतात. बाकी सगळे, म्हणजे पाकळ्या, कधीच एकमेकांना स्पर्श करत नाहीत. गणितज्ञांना ते फार आवडतात.
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










