Difference between revisions
union-closed-sets
Source +0 −0
… 23 unchanged lines
Revision 38 as rendered
For decades nobody could prove any constant fraction. In 2022 Justin Gilmer, then at Google, proved 1%, using an information-theoretic argument. Within weeks others pushed it to about 38%. The last stretch to 50% appears to need a new idea.
Posed 1979, Péter Frankl.
What would settle it
Lean statement in formal-conjectures