AI Proofs

Proofs found by AI models, worked through from the definitions.

Each essay takes one proof found by an AI model and works through all of it in one piece, with the earlier human results it depends on named and either proved or sketched. They are long, and each stands alone.