前进！乘风破浪。"

科技创造美好生活，创新赋能城市未来。在漫长的城市发展历史中，这样一群人正竭尽全力追赶科技前沿。他们是城市创新发展的参与者，也是最美的科技工作者。

"

“超级计算之城”中的“超级计算人”

想尽一切办法让电脑实现人形计算

张景中

"

当大多数年轻人的目光都聚焦在当下最热门的游戏——传奇联盟季后赛的时候，80多岁的中科院院士张景中也在“数学探索”中研究了数学在新场景中的新算法和新应用。

自1954年进入北京大学数学力学系以来，张景中已成为我国著名的数学家和计算机科学家。他一生的大部分时间都在研究数学。

在60年的教学科研生涯中，张景中提出并实现了定理机器证明的数值并行方法，将多年来在教育数学研究中发展起来的新几何方法应用于机器证明，开创了几何定理可读证明自动生成的原理和方法。利用这种方法，我们可以快速证明几何，计算和发明新的定理，并给出易于理解的几何证明。

近年来，随着教育数学有效性的不断出现，基础数学教育的有效性得到了很大的提高，张景中的工作重心逐渐转移到数学问题的自动求解上。在他看来，用计算机代替人进行科学研究有很长的障碍，但在未来肯定会对人类有很大的帮助。

今年6月，成都超级计算中心在首届天府超级计算创新与应用论坛上首次发布。预计今年成都超级计算中心将实现高峰运行。位于成都科学城泸溪智谷核心区的成都超级计算中心的建成，将填补国家超级计算系统在中国西部空的布局，成都跻身“超级计算城市”行列。也是在今年，四川国家应用数学中心在成都正式揭牌。

“四川国家应用数学中心正式揭牌。虽然项目还在建设中，但可以看到数学研究的影响力和关注度在不断提升。”张景中说，无论是人工智能还是信息技术，数学都是参天大树的灵魂和‘根系’。很多科技问题，说到底都是算法问题，要解决的一个问题就是找算法。“四川国家应用数学中心的不断完善，为基础科学研究带来了更好的载体，也为技术创新与基础科学相结合提供了良好的环境。希望通过这些大平台的建设，让数学成为年轻人爱玩的‘游戏’，让数学研究在技术创新中发挥应有的支撑作用。”