Comment by yaris

Works of Shinichi Mochizuki immediately come to mind. He is not AI but provides very good examples of math that is useless because it is incomprehensible by (other) humans.