Tao: Open math problems being non-renewably mined by AI (mathstodon.xyz)

<a href="https://news.ycombinator.com/item?id=49616968">Comments</a>