AI and Mathematics: Beijing Launches an Alliance, Fields Medalists Express Concerns

Two opposing dynamics are at play. While some Fields Medal winners fear that the use of AI-generated proofs will diminish mathematical understanding, Shing-Tung Yau is leading an alliance in Beijing that unites institutions and aims to gather a thousand researchers. The Chinese objectives include machine-verifiable proofs and more transparent reasoning.

Reservations in the West, calls for boycott, and volume of submissions

Twenty-five Fields Medal winners have expressed concerns about the use of AI in mathematics, fearing that automatically generated proofs could harm understanding and create a dependency on tools they cannot follow. Terence Tao and Peter Scholze are among the signatories. Within the community, some are calling for a boycott of proofs produced by AI systems, while others are struck by the volume of automated submissions. Among specialists who are already using these tools, there is no consensus on the ability of models to produce genuine mathematical insight, or merely to apply known methods, nor on the significance of this distinction. Skepticism is reported to be prevalent in Western countries.

Chinese alliance led by Yau and announced technical objectives

In Beijing, Shing-Tung Yau, a Fields Medal winner, launched the Yau Laboratory Alliance for Mathematics and Artificial Intelligence on Sunday with leading Chinese mathematicians. This alliance brings together eight institutions and aims, according to the South China Morning Post, to create a network of over 1,000 researchers. Yau also warned that China is lagging behind the United States. The stated priorities are the development of AI models specialized for mathematics, the creation of machine-verifiable proofs, and the design of transparent AI reasoning.