Nehmen Sie Mengen von Zahlen. Eine „Sonnenblume“ ist eine Gruppe von Mengen, die sich alle in genau demselben Kern überschneiden. Alles andere, die Blütenblätter, berührt sich nie. Mathematiker lieben sie.
In den 1970er-Jahren fragten Erdős und Szemerédi: Wie viele Mengen kann man sammeln, ohne dass k von ihnen eine Sonnenblume bilden? Ihre Vermutung: exponentiell weniger als alle möglichen Mengen. Nur der Fall mit drei Blütenblättern war geklärt, seit 2016.
Jetzt beweisen drei Mathematiker aus Wien und vom KAIST sie für jede Zahl von Blütenblättern. Die Schranke: 3 × (2 − 1/16k³) hoch n. Nah an 2ⁿ, und doch exponentiell kleiner.
Den entscheidenden Schritt fand ChatGPT 6 Astra Pro. Die Autoren schrieben ihn neu, prüften ihn und ließen den Beweis von der Software Lean verifizieren.
Quelle: Proof of the Erdős-Szemerédi sunflower conjecture, https://arxiv.org/abs/2610.26686










