Peking University mathematician Dong Bin on AI solving the Anderson conjecture

In a long interview, Peking University professor Dong Bin describes his team's AI framework autonomously solving the Anderson conjecture, reportedly the first such domestic result with large-scale formal verification. He argues AI can accelerate mathematical theory but worries about verification bottlenecks, the pace of change, and how education and research evaluation must adapt.