Tao: AI mines open math problems as a non‑renewable resource
| Source: HN | Original article
Tao warns that AI is exhaustively mining open math problems without replenishing them, risking a depletion of unsolved challenges.
Tao, a leading voice in the mathematics community, warned that open research problems are being “non‑renewably mined” by artificial‑intelligence systems. The comment, posted on a public forum, suggests that AI models are increasingly trained on unsolved theorems and conjectures, extracting value from problems that have never been resolved and potentially exhausting the pool of fresh challenges for human mathematicians.
The observation arrives on the heels of OpenAI’s recent claim that its system has solved one of the Clay Institute’s Millennium Problems – a breakthrough that sparked intense debate about the role of machine learning in pure mathematics. As we reported on 9 September 2026, OpenAI acknowledged the achievement while also noting it could not entirely rule out that de‑identified data from external users may have contributed to the model’s performance. Tao’s warning therefore raises a new dimension to the discussion: if AI can repeatedly “mine” open problems for training data, the very landscape of mathematical inquiry could shift, with unsolved questions becoming a finite resource rather than an open-ended frontier.
Why it matters is twofold. First, the practice could accelerate AI‑driven discoveries, but it may also diminish the incentive for human researchers to tackle the same problems, potentially stalling collaborative progress. Second, the legal and ethical status of using unsolved problems as training material remains unclear, echoing broader concerns about data provenance in large‑scale AI development.
Looking ahead, the community will watch for responses from major AI labs on whether they will impose safeguards on the ingestion of open‑problem datasets. Policy makers may consider guidelines that balance innovation with the preservation of a vibrant, open research ecosystem. Follow‑up studies on how AI‑derived insights are being integrated into academic publishing could also shape the next chapter of AI‑augmented mathematics.
Sources
Back to AIPULSEN