数の集合をいくつか考えよう。「ひまわり」とは、すべてがまったく同じ芯の部分で重なり合う集合の集まりのことだ。それ以外の部分、つまり花びらは、互いに決して触れない。数学者はこれが大好きだ。
1970年代、エルデシュとセメレディは問いかけた。どのk個もひまわりを作らないように集合を集めるとしたら、いくつまで集められるか。彼らの予想は、ありうるすべての集合より指数関数的に少ない、というものだった。解決していたのは、花びら3枚の場合だけだった。2016年のことだ。
今回、ウィーンとKAISTの数学者3人が、花びらが何枚でもこれを証明した。上限は 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










