A long-standing problem in design theory was if any nontrivial (t < k < n) Steiner systems have t ≥ 6; also if infinitely many have t = 4 or 5.
В теории схем было долгое время неизвестно, существует ли нетривиальная (t < k < n) систем Штейнера с t ≥ 6, а также существует ли бесконечно много схем с t = 4 или 5.