Renowned mathematician Terence Tao and other scholars have recently strongly criticized OpenAI for its mass release of AI-generated mathematical proofs. The incident began when OpenAI released 719 mathematical manuscripts containing hundreds of open problem solutions from GitHub, but this move was accused of violating the recommendations of the "Mathematics and Artificial Intelligence Advisory Group" regarding improving the transparency and publication standards of proprietary models.

Lack of Understanding Mechanism Threatens Research Ecosystem

Tao pointed out that this industrialized approach to solving problems is causing serious negative effects, leading to a phenomenon of "proof indigestion" in the mathematics community. In traditional mathematical research, solving conjectures involves academic exchange, paper simplification, and the development of new theories. However, AI only provides answers without human-understandable explanations or academic interaction, undermining the healthy exploration mechanisms of the mathematical community.

Overemphasis on Metrics Damages the Vitality of the Field

The academic community has also warned that using the speed of solving problems as the sole indicator of mathematical progress is a short-sighted approach. This large-scale mechanical "harvesting" not only fails to bring substantial insights but also squeezes the space for traditional research paths, posing a risk of impoverishment to the innovative soil of the entire discipline.