Tomemos conjuntos de números. Un «girasol» es un grupo de conjuntos que se solapan todos exactamente en el mismo núcleo. Todo lo demás, los pétalos, no se toca nunca. A los matemáticos les encantan.
En los años setenta, Erdős y Szemerédi se preguntaron: ¿cuántos conjuntos se pueden reunir sin que k de ellos formen un girasol? Su conjetura: exponencialmente menos que todos los conjuntos posibles. Solo se había resuelto el caso de tres pétalos, en 2016.
Ahora tres matemáticos de Viena y del KAIST lo demuestran para cualquier número de pétalos. El límite: 3 × (2 − 1/16k³) elevado a n. Cerca de 2ⁿ, pero exponencialmente más pequeño.
El paso clave lo encontró ChatGPT 6 Astra Pro. Los autores lo reescribieron, lo comprobaron e hicieron verificar la demostración con el programa Lean.
Fuente: Proof of the Erdős-Szemerédi sunflower conjecture, https://arxiv.org/abs/2610.26686










