> This letter is complaining that human understanding has been crucial to advancing of mathematics, and AI companies are not bothering with it.

Ironic or what. Mr Tao may be remembered as Mathematics' Canute.