智慧共同解决数学

张继平院士对AI的发展持开放态度，他强调我们需要重视AI对数学研究的冲击和挑战，明确AI不会消灭数学反而会提升数学的重要性，人类需要借助AI智慧共同解决数学底层逻辑与定理验证问题。