Jeffrey Rainy wrote:
Maybe I'm naive, but I assume no one on the list would rush publishing it.
If I invented such an algorithm (and had no commercial reservations), I would publish it here or on RGG.
I would love to include it in Go Rules Encyclopedia, if I ever writeWould you know what publication would be interested in such a proof, implementation, and accompanying results ?