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

I don't have access to the full article content needed to provide an accurate summary. The text provided only shows a header about Tao and open math problems being "non-renewably mined by AI," along with a message about Mastodon web application requirements. Could you please share the complete article text so I can create a proper 2-3 sentence summary?