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

Renowned mathematician Terence Tao has raised concerns regarding the impact of artificial intelligence on mathematical research. In a recent discussion, Tao highlighted that AI models are increasingly being used to solve open mathematical problems. He argues that these problems represent a finite, non-renewable resource of intellectual challenges. As AI systems become more efficient at mining these solutions, the pool of accessible, high-quality problems for human mathematicians to explore is shrinking. Tao suggests that this rapid consumption could fundamentally alter the landscape of mathematical discovery, potentially leaving fewer opportunities for human intuition and traditional research methods to contribute to the field. The discussion underscores a growing tension between the efficiency of automated discovery and the long-term sustainability of mathematical inquiry, prompting a broader conversation about how the scientific community should balance AI integration with the preservation of human-led research efforts.