Some Experiments With AI Math Proofs AI Proof 1.
AI Proof 2.
AI Proof 3, part 1.
AI Proof 3, part 2.