Comment Comment by gw32 https://mathstodon.xyz/@tao/117207849921390904Tao agrees. parent gw32 1 month ago
Tao agrees.