Miss Jia’s conversation with Dong Bin: AI for Math, endless frontiers
2026-09-04 08:00Models🔥 42.2 heat score
1sources
1days unfolding
42.2heat score
4mentions
SummaryAI generated
On September 4, 2026, Dong Bin, a distinguished professor at Peking University’s Boya Program, and his team announced that they had successfully solved the famous Anderson Conjecture using an automated AI framework they developed independently. This was the first time an artificial intelligence system has independently solved an open problem in mathematics in China, and they also completed large-scale formal verification work. This achievement sparked intense discussions among the global mathematical community about the impact of AI on code and mathematics. During related conversations, Dong Bin recounted his own educational experience from Tsinghua High School to Peking University’s School of Mathematics, mentioned the achievements of “golden generation” classmates such as Wei Dongyi and Xu Chenyang, and explored topics such as the value of basic sciences, the impact of AI on the job market, and the reconstruction of the education system.
Dong Bin’s team used an independently developed automated AI framework to solve Anderson’s conjecture, achieving the first time in China that a mathematical open problem was solved autonomously by AI and large-scale formal verification was completed. Dong Bin, a distinguished professor at Peking University, and his team made breakthroughs in the field of AI for Math, triggering intense debates among mathematicians worldwide about the impact of AI on code and mathematics. The conversation covered Dong Bin’s educational experiences from Tsinghua High School to Peking University’s School of Mathematics, the stories of his peers from the “golden generation” such as Wei Dongyi and Xu Chenyang, as well as his views on the value of basic disciplines, the impact of AI on employment, and educational reform.