取一些由数构成的集合。“向日葵”是这样一组集合:它们两两重叠的部分都恰好是同一个核心。其余部分,即花瓣,彼此从不相交。数学家很喜欢它们。
20世纪70年代,埃尔德什和塞迈雷迪问道:在不出现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










