Code for the paper RL unknotter, hard unknots and unknotting number

Semester project aiming at reproducing the results disproving the conjecture about the additivity of the unknotting number under connected sum, disproved Nov 2025 by Brittenham and Hermiller. The code implements a randomized search for "good" crossing changes.