Tao: Open math problems being non-renewably mined by AI

Submitted by _alternator_.

466 points