Fast forward to mid-week, when we learn that some random cypherpunk had nonchalantly posted the solution at a late pandemic hour on a distant yet public server in the fediverse.

OK after having read this in full: apparently truly public but prior goes way back to 1653 instead of into the 2020s.. Cipherbrain folk were looking up the wrong page? Sweet ring of "auto research" / limitless attention is all you need..