Pegue em conjuntos de números. Um "girassol" é um grupo de conjuntos que se sobrepõem todos exatamente no mesmo núcleo. Todo o resto, as pétalas, nunca se toca. Os matemáticos adoram-nos.
Nos anos 1970, Erdős e Szemerédi perguntaram: quantos conjuntos se podem reunir sem que k deles formem um girassol? O palpite: exponencialmente menos do que todos os conjuntos possíveis. Só o caso de três pétalas estava resolvido, desde 2016.
Agora, três matemáticos de Viena e do KAIST demonstram-no para qualquer número de pétalas. O limite: 3 × (2 − 1/16k³) elevado a n. Perto de 2ⁿ, mas exponencialmente menor.
O passo decisivo foi encontrado pelo ChatGPT 6 Astra Pro. Os autores reescreveram-no, verificaram-no e mandaram verificar a demonstração pelo software Lean.
Fonte: Proof of the Erdős-Szemerédi sunflower conjecture, https://arxiv.org/abs/2610.26686










