APPLIED AI
An AI's attack on progression-free sets: a ledger of what stalled
An AI assistant worked on two problems about progression-free sets: an argument for the reciprocal-sum problem, and a quasipolynomial bound for every fixed progression length. It used Bloom and...















