Sayılardan oluşan kümeler alın. Bir "ayçiçeği", hepsi tam olarak aynı çekirdekte kesişen bir küme grubudur. Geri kalan her şey, yani yapraklar, birbirine hiç değmez. Matematikçiler onlara bayılır.
1970'lerde Erdős ve Szemerédi şunu sordu: Hiçbir k tanesi bir ayçiçeği oluşturmadan kaç küme toplayabilirsiniz? Tahminleri: olası tüm kümelerden üstel olarak daha az. Yalnızca üç yapraklı durum 2016'da çözülmüştü.
Şimdi Viyana ve KAIST'ten üç matematikçi bunu her yaprak sayısı için kanıtlıyor. Sınır: 3 × (2 − 1/16k³) üssü n. 2ⁿ'ye yakın, ama yine de üstel olarak daha küçük.
Kilit adımı ChatGPT 6 Astra Pro buldu. Yazarlar onu yeniden yazdı, kontrol etti ve kanıtı Lean yazılımına doğrulattı.
Kaynak: Proof of the Erdős-Szemerédi sunflower conjecture, https://arxiv.org/abs/2610.26686










