Science & AI-Sammlung | Wird KI ein Partner bei wissenschaftlichen Entdeckungen oder nur ein statistisch klügerer Schraubendreher?
WAIC 2025
World Artificial Intelligence Conference
Forums: July 26 - 28, 2025, Shanghai World Expo Center
Exhibition: July 26 - 29, 2025, Shanghai World Expo Exhibition & Convention Center
In the wave of artificial intelligence rapidly crossing the stages of large models and intelligent agents, scientific research is facing a paradigm shift that may be worthy of being recorded in history.
Terence Tao, a Fields Medalist, once said when talking about the relationship between AI and mathematics: "The distance between AI and the Fields Medal is just a graduate student away." This is not only a light - hearted prophecy but also reflects the complex emotions deep in the hearts of scientists. They look forward to AI becoming an important partner in cracking the mysteries of nature, while also clearly realizing that true insights and creations still depend on human intuition and independent thinking.
On the equally challenging mathematical tower, Wang Hong, a Chinese scholar born in the 1990s, and her collaborators have won global attention with their breakthrough proof of the three - dimensional Kakeya conjecture. This achievement not only made Terence Tao repost and highly praise it immediately but also opened up new ideas for the three long - unsolved conjectures in the field of harmonic analysis. Wang Hong's success reminds people that in the most abstract and delicate scientific world of humanity, inspiration is still irreplaceable, but AI is gradually becoming a potential assistant and pattern observer in these multi - dimensional deductions.
This excited yet restrained attitude precisely reflects the real emotions of the scientific research community towards the "AI for Science" boom. Indeed, in high - data - density frontier fields such as genomics, cancer early warning, drug development, and meteorological and disaster forecasting, AI is capturing patterns, verifying hypotheses, and generating new problem - solving clues at an unprecedented speed. However, when the topic turns to the Navier - Stokes equation, the Riemann hypothesis, or more general deductions of natural laws, scientists still ask: Does AI really understand the deep - seated order of the universe, or is it just 'getting the right answer statistically in a large sample'?
Meanwhile, large computing power and highly adaptable algorithms are often concentrated in leading institutions and technology giants. It is difficult for young scholars, basic laboratories, and startup research teams to obtain continuous resource investment in the long term. Scientific research urgently needs open data sharing and a reusable model ecosystem. However, in reality, data barriers, compliance restrictions, and the imbalance of computing resources still form an "invisible high wall" in front of countless scientific researchers.
With such philosophical questions and practical difficulties, WAIC 2025 has specially launched a scientific intelligence section with "Questions in Mathematics and Questions in Science" as the core. This year, this section has planned eight high - level forums, trying to find answers in the cross - disciplinary collision.
Chinese Academy of Sciences: AI for Science
At the "Artificial Intelligence Empowering Life Science Forum", the Chinese Academy of Sciences will release the Panshi Science Foundation Large Model, indicating that AI is shifting from single - point breakthroughs to empowering the entire chain of scientific research. In addition, two seminars on AI for Science will raise questions about scientific intelligence and its applications: "AI for Science: The Way to Integrate General Intelligence and Domain Experts?" "Challenges in Life Science: How to Use AI to Discover New Laws in Life Science and Reverse Aging?"
Smale Institute of Mathematics and Computation: Mathematics - The Source of All Things
At the "Mathematics and Artificial Intelligence Forum", the Smale Institute of Mathematics and Computation focuses on how AI can become a real thinking engine in esoteric problems such as algebraic geometry and the Navier - Stokes equation. Two AI mathematics seminars will push the controversy to the forefront, discussing "Can AI prove itself and will it become the next mathematical master?", ranging from Gödel's incompleteness theorem to the boundaries of generative reasoning.
All this is not only scientific curiosity but also rational self - questioning. People hope that AI can grow from an assistant to a fellow traveler, but to truly move towards understanding and co - creation, we still need to patiently break through the scientific barriers that have not yet been opened in continuous experiments, debates, and cooperation.
[Innovation of Scientific Research Paradigm] AI for Science Forum Matrix
The information of the eight forums is as follows: Taking whether AI can transform from a tool to a co - researcher as the core proposition, comprehensively discuss the future evolution of mathematics, life science, meteorology, and general scientific research intelligence.
Forum for Initiating the Golden Age of Scientific Intelligence
July 26, 13:30 - 18:00
Shanghai World Expo Center
This forum focuses on "Intelligence × Science: The Resonant Force in Paradigm Transition", bringing together the core forces of scientific intelligence and young scientific research groups. It discusses how to accelerate the arrival of the golden age of scientific intelligence and build a sustainable scientific research innovation ecosystem around the supply of scientific research computing power, the co - construction of algorithm frameworks, and the evolution of AI from a tool to a scientific research partner.
AI Future Development Forum: Super Intelligence, Boundless Co - creation
July 26, 13:30 - 18:00
Shanghai World Expo Center
The forum focuses on the core topic of "The Transition from Scientific General Intelligence (SGI) to Artificial General Intelligence (AGI) in the Era of Big Scientific Research". The forum specially invites Nobel laureates, Turing Award winners, academicians of the Chinese Academy of Sciences, presidents of world - class universities, and young scientists to discuss the frontiers. It sets up sessions such as keynote speeches, major achievement releases, high - level dialogues among university presidents, TR35 Youth Forums, and future - generation achievement displays.
Forum on Questions in Mathematics
July 26, 14:00 - 17:00
Shanghai World Expo Center
This forum focuses on "The Two - way Empowerment between Mathematics and Artificial Intelligence", bringing together top global universities, scientific research institutions, and industry representatives. It discusses how to provide a solid foundation for AI with mathematics and at the same time promote AI to help solve more unknown mathematical mysteries around the in - depth coupling of major frontier problems such as algebraic geometry, differential geometry, and the Navier - Stokes equation with AI algorithms.
Round - table Meeting on the Mutual Promotion between Mathematics and Artificial Intelligence
July 26, 14:00 - 17:00
Meeting Room 619, Shanghai World Expo Center
This forum will invite top mathematicians from around the world to conduct in - depth dialogues from a global perspective, discussing the frontier propositions of the cross - integration of mathematics and artificial intelligence. This forum is a global question at the turning point of the era: Do we have enough mathematical language and a rigorous mathematical system to understand real artificial intelligence? Can the powerful computing power brought by current artificial intelligence feed back into mathematical research and become the key force to promote the transformation of the mathematical research paradigm? They will discuss the theoretical support and practical value of mathematics in the field of artificial intelligence around the mutually - promoting relationship between mathematics and artificial intelligence, promote the in - depth integration of basic research and frontier technologies, and witness how to light up the intelligent future with the power of thinking.
Artificial Intelligence Empowering Life Science Forum
July 26, 14:00 - 17:30
MGM Grand Ballroom, 3rd Floor, MGM Shanghai at Xuhui Riverside
This forum focuses on "AI for Life Science", bringing together top domestic and foreign institutions such as the Chinese Academy of Sciences. It discusses how to solve complex life science problems through multi - disciplinary cross - integration (mathematics, computer science, biology, and medicine) around core topics such as biological big data, AI basic models, precision medicine, and the genomics revolution. The forum will release the Panshi Science Foundation Large Model constructed by the Chinese Academy of Sciences.
Star River Enlightenment · Forum on Open Cooperation in Scientific Intelligence
July 26, 14:00 - 17:30
Meeting Room 517, Shanghai World Expo Center
This forum focuses on the construction of an open and collaborative scientific intelligence ecosystem, bringing together top global experts such as Nobel laureates, Turing Award winners, academicians of the two academies, and industry leaders, as well as front - line young scientific research and technical representatives. It conducts in - depth discussions on the frontier innovation, industrial practice, and open cooperation of scientific intelligence. Taking this as an opportunity, the Shanghai Institute for Science and Intelligence and Fudan University will join hands with all parties to break through the development bottleneck and release cutting - edge achievements such as the "Star River Enlightenment Scientific Intelligence Open Platform", fully activating the ecosystem and promoting scientific intelligence to a new era.
Forum on Meteorological Artificial Intelligence Empowering Early Warning for All
July 26, 15:00 - 18:00
Four Seasons Hall, Shanghai Expo Riverside Hotel
This forum focuses on "Meteorological Artificial Intelligence Empowering Early Warning for All", bringing together international organizations, meteorological and hydrological departments of various countries, scientific research institutions, and technology enterprises. It explores promoting the global application of meteorological artificial intelligence technology, improving the accessibility of early warning, bridging the global intelligence gap, and discussing the governance and trust of artificial - intelligence - enhanced early warning.
Debate on Questions in AI for Science: The Evolution of Scientific Intelligence and Challenges in Life Science
Morning of July 27
Institute of Automation, Chinese Academy of Sciences; Center for Excellence in Molecular Cell Science, Chinese Academy of Sciences
This debate will be divided into two sessions, focusing on frontier issues in the field of "AI for Science" such as "The Way to Integrate General Intelligence and Domain Experts?" and "How to Use AI to Discover New Laws in Life Science and Reverse Aging?" It brings together authoritative experts and young scholars in AI and different disciplinary fields to discuss how AI will have a profound impact on the transformation of the scientific research paradigm.
Debate on Questions in AI Mathematics: From Gödel to GPT
Afternoon of July 27
Shanghai Center for Mathematical Sciences; Shanghai Institute of Mathematics and Interdisciplinary Sciences
This debate focuses on "Whether Artificial Intelligence Can Complete the Self - Proof of Mathematics", bringing together authoritative scholars in the cross - field of mathematics and AI. It discusses how AI can approach the limit of human abstract deduction in terms of cognitive depth around cutting - edge topics such as mathematical logic and generative reasoning.
Global Think - Tank Gathering
International Institutions: World Meteorological Organization, United Nations Environment Programme, International Telecommunication Union, United Nations Office for Disaster Risk Reduction, International Federation of Red Cross and Red Crescent Societies, European Centre for Medium - Range Weather Forecasts, Typhoon Committee, Smale Institute of Mathematics and Computation, New Development Bank of BRICS, etc.
Domestic Institutions: Chinese Academy of Sciences, China Meteorological Administration, National Satellite Meteorological Center, Shanghai Meteorological Bureau, Chinese Society of Industrial and Applied Mathematics, Shanghai Institute for Science and Intelligence, etc.
Domestic Enterprises: Huayuan Computing Technology (Shanghai) Co., Ltd., etc.
Foreign Universities: Federal University of Rio de Janeiro, King Abdullah University of Science and Technology, Australian National University, University of the Free State in Bloemfontein, South Africa, Polytechnic University of Catalonia, etc.
Domestic Universities: Peking University, Fudan University, University of Science and Technology of China, Tongji University, Xi'an Jiaotong University, Wuhan University, Southern University of Science and Technology, Shanghai Jiao Tong University, etc.
High - profile Guests
Secretary - General of the World Meteorological Organization Celeste Saulo
Director of the China Meteorological Administration Chen Zhenlin
Fields Medalist in 1994 Efim Zelmanov
Academician of the World Academy of Sciences Abdon Atangana
Honorary Professor of the Research School of Computer Science (RSCS), Australian National University Marcus Hutter
Director of the Department of Mathematics, Polytechnic University of Catalonia Eva Miranda
Associate Professor of Applied Mathematics and Deputy Director of the Institute of Mathematics, Federal University of Rio de Janeiro Fabio Ramos
Foreign Academician of the European Academy of Humanities and Natural Sciences, Academician of the European Academy Jin Shi
Academician of the European Academy, Academician of the European Academy of Humanities and Natural Sciences Xu Jinchao
Academician of the Chinese Academy of Sciences E Weinan
Academician of the Chinese Academy of Sciences Yuan Yaxiang
Academician of the Chinese Academy of Sciences Pu Muming
Academician of the Chinese Academy of Sciences Chen Runsheng
Academician of the Chinese Academy of Sciences Chen Kaixian
Academician of the Chinese Academy of Sciences Li Jinsong
Dean of the Shanghai Institute for Science and Intelligence, Distinguished Professor of Fudan University Qi Yuan
Chairman of Huayuan Computing Technology (Shanghai) Co., Ltd. Xuan Xiaohua
……
High - profile Releases
In the scientific intelligence section, many important achievements for future scientific research paradigms are presented together. The Chinese Academy of Sciences will release the Panshi Science Foundation Large Model. At the forum on meteorological AI empowering early warning for all, the China Meteorological Administration will release the space weather model and the multi - hazard early - warning intelligent agent, and jointly launch the "China's Action Plan for Artificial Intelligence Empowering Early Warning for All" with the World Meteorological Organization to accelerate the intelligentization and scenario - based development of meteorological governance. Meanwhile, the Shanghai Institute for Science and Intelligence will jointly release the Star River Enlightenment Scientific Intelligence Open Platform with Fudan University, Infinite Light - Year Company and many partners at the "Star River Enlightenment · Forum on Open Cooperation in Scientific Intelligence". It will provide full - chain services for domain scientists, AI developers, and a wide range of scientific researchers, covering core capabilities such as high - quality scientific data, intelligent computing acceleration implementation, open - source scientific intelligence models, closed - loop wet and dry experiments, multi - agent reasoning and planning, and cross - domain collaborative research, jointly driving scientific intelligence into a new era.
*The forum agenda and guests are subject to on - site arrangements.
[Frontier Breakthrough] Exhibition Map of the Scientific Intelligence Section
The exhibition area of WAIC 2025 has exceeded 70,000 square meters for the first time, with four halls in linkage. The H1 Core Technology Hall will show how AI is deeply embedded in the scientific research system and promotes the paradigm transition of mathematical reasoning and life science, outlining a new map of future scientific research. This section focuses on scientific research computing power and AI infrastructure, open - source large models for major scientific problems, and scientific research intelligent platforms, forming a new model of scientific intelligence across multiple disciplines such as mathematics, biology, and meteorology, and accelerating the transformation of the scientific research paradigm from data - driven to intelligence - driven.
Leading Giants