Prenez des ensembles de nombres. Un « tournesol », c'est un groupe d'ensembles qui se chevauchent tous sur le même cœur. Le reste, les pétales, ne se touche jamais. Les mathématiciens les adorent.
Dans les années 1970, Erdős et Szemerédi ont demandé : combien d'ensembles peut-on réunir sans que k d'entre eux forment un tournesol ? Leur intuition : exponentiellement moins que tous les ensembles possibles. Seul le cas à trois pétales était réglé, en 2016.
Trois mathématiciens de Vienne et du KAIST le démontrent pour tout nombre de pétales. La limite : 3 × (2 − 1/16k³) puissance n. Proche de 2ⁿ, mais exponentiellement plus petit.
L'étape clé a été trouvée par ChatGPT 6 Astra Pro. Les auteurs l'ont réécrite, vérifiée, et fait contrôler la preuve par le logiciel Lean.
Source : Proof of the Erdős-Szemerédi sunflower conjecture, https://arxiv.org/abs/2610.26686










