Ambil himpunan-himpunan bilangan. "Bunga matahari" adalah sekelompok himpunan yang semuanya beririsan tepat pada inti yang sama. Selebihnya, yaitu kelopaknya, tidak pernah bersentuhan. Para matematikawan menyukainya.
Pada 1970-an, Erdős dan Szemerédi bertanya: berapa banyak himpunan yang bisa dikumpulkan tanpa ada k di antaranya yang membentuk bunga matahari? Dugaan mereka: jauh lebih sedikit secara eksponensial daripada semua himpunan yang mungkin. Hanya kasus tiga kelopak yang sudah terjawab, pada 2016.
Kini tiga matematikawan dari Wina dan KAIST membuktikannya untuk setiap jumlah kelopak. Batasnya: 3 × (2 − 1/16k³) pangkat n. Dekat dengan 2ⁿ, namun lebih kecil secara eksponensial.
Langkah kuncinya ditemukan oleh ChatGPT 6 Astra Pro. Para penulis menulis ulang, memeriksanya, dan meminta perangkat lunak Lean memverifikasi buktinya.
Sumber: Proof of the Erdős-Szemerédi sunflower conjecture, https://arxiv.org/abs/2610.26686










