Update: the linked page has now been updated to say:

> it was Claude, with Levent Alpöge and Ava Howell!

Alpöge is the same guy who prompted Claude for a proof of the Jacobian conjecture.