IT Home On October 12, according to the Beijing Daily, on October 11, the Qiu Chengtong Mathematics and Artificial Intelligence Laboratory Alliance was established at Tsinghua University. It will focus on research in areas such as large-scale models for mathematical science, AI-assisted formalization of mathematics and discovery of conjectures, interpretable AI, and intelligent computing in interdisciplinary fields, aiming to promote deep integration of AI and mathematics.
According to previous reports by IT Home, OpenAI unveiled 722 mathematical research manuscripts at once this month. The content covers cutting-edge fields such as number theory, algebraic geometry, theoretical computer science, fluid mechanics, and statistical physics. It solved several long-standing mathematical problems, causing a significant impact on the mathematical community.
Qiu Chengtong, the leader of the alliance and president of Tsinghua Quanzhen Academy, spoke at the alliance’s establishment ceremony about his views on the development of mathematics in the AI era: “This forces us to rethink the essential value of mathematics.”It also requires us to ride the wave of the AI trend., instead of hiding.”
According to the announcement, the alliance has released more than 10 key achievements and research directions in “AI + Mathematics”. These focus on areas such as geometry, quantum computing, and life sciences. They cover scientific issues like the Degenerate Arnold Conjecture, boundedness of minimal modifications, and 7-dimensional homotopy spheres.
Among them, in the research titled “7-dimensional homotopy spheres: All smooth structures can support cross-sections with positive values everywhere” conducted by the Tseng-Tung Liu Center for Mathematical Sciences at Tsinghua University and the Shanghai Institute of Mathematics and Interdisciplinary Studies, AI is used to assist in exploring proof strategies and simplifying calculations; computational algebraic systems are used to verify exact identities and bounds, as well as to generate reproducible calculation certificates; mathematicians are responsible for conceiving and proving the results, verifying the outcomes, and completing mathematical arguments and papers. In addition, AI also provides inspiration for scientists in solving other scientific problems, helping them carry out early experimental calculations, etc.
Qiu Chengtong said, the alliance has brought together over 1,000 mathematicians and research scientists. By joining forces with Tsinghua University Qiu Chengtong Academy, the Qiu Chengtong Mathematical Science Center, the Beijing Yanqi Lake Applied Mathematics Research Institute, the Chinese Academy of Sciences Chenxing Mathematical Center, the Shanghai Mathematics and Interdisciplinary Research Institute, the Southeast University Qiu Chengtong Center, the Hetao Mathematics and Interdisciplinary Research Institute (Shenzhen), and the Hong Kong Chinese University Zhizhen Interdisciplinary Mathematics Science Academy, they will provide cutting-edge guidance to young scholars and students, and actively promote resource integration to explore the path for building large mathematical models unique to China.