I acknowledge I am impressed how quickly it moved beyond just counterexamples.

Don't worry, more copium will be delivered. TBF so far it's still only solved the easiest of the millennium problems.