Understand this story
On October 30, 2026, ScienceNet published an interview report mentioning that the Institute for Advanced Study in Mathematics of Zhejiang University and Zhijiang Laboratory jointly launched the Future Mathematics Program. The report stated that the program focuses on four areas: mathematical foundation models, formal verification, AI mathematical mechanisms, and interdisciplinary empowerment. Li Jianshu, an academician of the Chinese Academy of Sciences, said in the report that AI may change the paradigm of mathematical research, and pointed out that mathematics has done far from enough for AI; Wang Jian, an academician of the Chinese Academy of Engineering, believes that AI's reasoning ability currently comes mainly from code, and that learning deeper reasoning from mathematical data will bring greater gains. The report also mentioned that Google DeepMind's AI agent solved 9 previously unsolved Erdős problems and tackled 44 open mathematical conjectures in May this year, and that OpenAI recently published 722 mathematical manuscripts generated by its internal AI models on GitHub, while 25 Fields Medalists including Terence Tao and Deng Yu jointly issued an open letter warning of a serious misalignment between AI and mathematics. Currently, no further progress on the program has been disclosed.
AI-generated from public reports
Latest development · Report
Li Jianshu and Wang Jian on AI and Mathematics: From an Excess of Answers to Two-Way EmpowermentDevelopments
1 confirmed developments
- Source:English text is being prepared.
Reports and discussion timeline
Browse reports and discussion by time. Their evidence levels remain distinct.
Oct 30
ScienceNet
Li Jianshu and Wang Jian on AI and Mathematics: From an Excess of Answers to Two-Way Empowerment
ScienceNet reporters interviewed Li Jianshu, an academician of the Chinese Academy of Sciences, and Wang Jian, an academician of the Chinese Academy of Engineering, to discuss the controversies and directions surrounding AI's entry into mathematical research. The article mentions that in May of this year, Google DeepMind's AI agent solved 9 previously unsolved Erdős problems and tackled 44 open mathematical conjectures; OpenAI recently published 722 mathematical manuscripts generated by its internal AI models on GitHub; and 25 Fields Medalists, including Terence Tao and Deng Yu, jointly issued an open letter warning of a serious misalignment between AI and mathematics. Li Jianshu believes that AI may change the paradigm of mathematical research and points out that mathematics has done far from enough for AI; Wang Jian believes that AI's reasoning ability currently comes mainly from code, and that learning deeper reasoning from mathematical data will bring greater gains. The Institute for Advanced Study in Mathematics at Zhejiang University, where the two work, and Zhijiang Laboratory jointly launched the Future Mathematics Program, which focuses on four aspects: mathematical foundation models, formal verification, AI mathematical mechanisms, and interdisciplinary empowerment.