This question strikes me as strange, because it has always been in the nature of the mathematical community to share results as openly and widely as possible. Hong Wang’s work was in the public domain and was meant to be built upon. This is what human mathematicians have been doing for centuries.