Возьмите множества чисел. «Подсолнух» — это группа множеств, которые пересекаются ровно по одному и тому же ядру. Всё остальное, лепестки, никогда не соприкасается. Математики их обожают.
В 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










