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

Terence Tao, the mathematician, has published a comment, noted by Hacker News, describing open mathematical problems as a resource now being “non-renewably mined” by artificial intelligence systems. The remark, posted to his Mathstodon account, frames the accumulated stock of unsolved problems in mathematics as finite in a practical sense, subject to depletion as AI tools are turned toward resolving them at scale.

The post, dated September 8, gives no further elaboration in the material provided beyond the mining framing itself. No additional quotations from Tao are available in the sourced material, and this bulletin does not extend his remark beyond what was reported.

Tao is a Fields Medalist and one of the most prominent working mathematicians, whose public commentary on mathematical practice and, increasingly, on the role of computational and AI tools in research carries substantial weight within the field. Open problems have historically served as a renewable-seeming commons, restocked by new conjectures as old ones fall. Tao’s phrasing suggests a different picture, one in which the rate of consumption by automated systems may outpace the rate at which new open questions are generated or recognized.

The item was surfaced via Hacker News aggregation rather than a primary mathematical publication. No response from other mathematicians, and no elaboration from Tao beyond the cited post, appears in the available source material.