Tao: Open math problems being non-renewably mined by AI
Points and comments are a snapshot, not live.
Terence Tao suggests open math problems are being non-renewably mined by AI.
The article is a Mastodon post by Terence Tao discussing how AI may be used to solve open math problems, potentially exhausting them as resources. The page requires JavaScript to view, and only a cached snapshot is available.
What commenters are saying
Commenters debate AI's impact on mathematics. Some argue AI will end traditional problem-solving as we know it, making deep understanding economically infeasible. Others note mathematics has always been competitive, citing Gauss, Newton, and Wiles working in secret. A concern is that AI could lead to hoarding of results for hype rather than open science.