Fields Medal winners launch AI math alliance in China amid Western skepticism

In contrast, Western mathematicians—including 25 Fields Medal winners like Terence Tao and Peter Scholze—express growing concern over AI-generated proofs. Some argue these tools erode deep understanding and create dependency on opaque systems. A boycott of AI-generated proofs is being discussed, while others highlight the overwhelming volume of automated submissions. The debate centers on whether AI produces meaningful insights or merely brute-forces known methods, and whether the distinction matters at all.