Tao: Open math problems being non-renewably mined by AI Global World Thu, 10 Sep 2026 09:57:27 GMT Moderate confidence — 64/100 Sources: Mathstodon