找了32年,数学家们终于找到第九个Dedekind数

01234567891011121314151617181920212223242526272829303132333435