A recent AI assisted discovery of a counterexample to a conjecture in commutative algebra includes an elegant construction of one-dimensional Gorenstein domains.  I will explain the construction and discuss its origins and consequences.