Joe Shipman proved that marked ruler and compass constructions can solve general quintic equations, a problem he and John Conway had long discussed. The proof uses Tschirnhaus transformations, double neusis constructions, and square roots, with substantial assistance from AI language models for algebraic geometry and polynomial analysis.