چند مجموعه از اعداد بردارید. یک «گل آفتابگردان» گروهی از مجموعههاست که همه دقیقاً در یک هستهٔ مشترک با هم همپوشانی دارند. بقیهٔ چیزها، یعنی گلبرگها، هرگز به هم نمیرسند. ریاضیدانان عاشق آنها هستند.
در دههٔ 1970، اردیش و سمردی پرسیدند: چند مجموعه میتوان گرد آورد بیآنکه هیچ 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










