This is backwards. Not sure why what is essentially a PR effort by these companies automatically becomes an advancement in the field.

Do we want these capabilities to be useful? It seems making them accessible so that the existing community can use it as a tool is the right approach. Automated proof methods are already used like that.