The uniform Turán density of the tetrahedron

$\pi_u(K_4^{(3)}) = 1/2$, matching the long-known lower-bound construction. The AI contribution is one identity inside the argument rather than the argument, which is why this is recorded as AI-assisted; it is included in the catalog because the identity is a step of the proof, not a matter of exposition.

$\pi_u(K_4^{(3)}) = 1/2$, matching the long-known lower-bound construction. The AI contribution is one identity inside the argument rather than the argument, which is why this is recorded as AI-assisted; it is included in the catalog because the identity is a step of the proof, not a matter of exposition.