evals/fixtures/prime-binomial.md

# Research target

For every integer n >= 2, is n prime if and only if n divides binomial(n,k)
for every integer k with 1 <= k < n?

Investigate three mathematically distinct approaches and carry each far enough
to obtain an actual proof or precise obstruction. Then establish the original
goal. Record proof, finite evidence and review status separately.