数学不仅是基础科学的重要支柱,更是破解工业软件“卡脖子”难题的核心引擎。在算法设计、模型优化与底层求解器等关键环节,数学正发挥着不可替代的作用。

11月29日,在中国重庆·科学会堂内,思想激荡、智慧汇聚。第四届数学促进经济社会发展论坛(2025)如期举行。本届论坛以“数学基石,软件当立”为主题,全国两百余位专家学者、企业代表齐聚西部(重庆)科学城,围绕“新一代工业软件研发与应用”共商发展大计。

打开网易新闻 查看精彩图片

▲论坛活动现场。雷键 摄

论坛由张平文院士倡议发起,自2022年以来已连续4年在科学城举办,成为数学界与产业界深度融合的标杆平台。在重庆市经济和信息化委员会、西部科学城重庆高新区管委会的指导下,本届论坛由北大重庆大数据研究院、上海交通大学重庆人工智能研究院、重庆国家应用数学中心联合主办,延续了让基础科学“理论走向实践”的核心使命,尤值一提的是当天发布的多个创新成果,成为科学城展现“数学赋能产业”的生动注脚。

PART 01

主论坛定调:数学为基,锚定软件自主之路

本届论坛采用“一主三分”架构,即1场主论坛加3场分论坛,聚焦数学与工业软件、量子智算与人工智能、应用数学赋能产业等关键议题,形成从理念到落地、从基础到应用的完整闭环。

“工业软件的底层架构,无不根植于深厚的数学理论。”张平文院士通过视频致辞表示。

打开网易新闻 查看精彩图片

▲论坛活动现场,张平文院士通过视频致辞。雷键 摄

工业软件演进是“数学方法工程化”的历史,数学是其从理论走向实践的根本驱动力。

北京大学重庆大数据研究院院长胡俊教授,在主旨报告中回顾了中国工业软件曲折历程,表示“制造强国”战略下,自主工业软件是制造业竞争核心,面对国产软件底层算法等挑战,需夯实数学根基、推动原始创新以实现跨越。“数学基石,软件当立”,不仅是本届论坛的核心理念,更是我国迈向制造强国必须遵循的客观规律。

重庆市经信委二级巡视员刘群生则立足地方实践指出,重庆正以“33618”体系构建现代制造业集群。而科学城作为科创高地,也已将工业软件纳入“满天星”行动计划主攻方向。

PART 02

三场分论坛并行:多维探索数智融合新路径

与主论坛呼应,三场分论坛同日进行,并从不同维度延伸“数学+产业”的探索触角,其中多项成果与科学城产业发展深度绑定。

由北京大学大数据分析与应用技术国家工程实验室、北京大学重庆大数据研究院共同主办的“新一代工业软件研发与应用”分论坛,重磅发布“北达飞易新一代CAE算法引擎V1.0”与“源启小智・民呼我为”智能化分析平台V1.0两项自主创新成果,充分展现了我国在工业软件领域的最新突破。北达飞易CAE算法引擎由北大胡俊教授团队领衔研发,依托其在弹性力学混合有限元方法的原创突破,获北大数学院等多方支持。该引擎并非功能堆砌,而是以突破工程数学壁垒为核心,融合AI与高性能计算,构建含共性数学库与创新求解器的技术基座,可高效支撑多学科CAE软件集成。

量子智算升维未来·AI 焕新产业动能”分论坛,由上海交大重庆人工智能研究院主办,专用量子计算与量子人工智能重庆市重点实验室协办。三款创新产品集中发布:全球首款“量子科学计算平台UnitaryLab 1.0”,基于原创量子算法突破传统瓶颈,9维方程计算效率提升1万亿倍以上,为多行业提供支撑;“NanoTitan Pro”一体机在算法、架构等方面全面升级,势函数训练成本降至1/10;医疗全景智能体已有县域医共体落地,将大幅提升基层诊疗效率。

打开网易新闻 查看精彩图片

▲“应用数学赋能产业创新与发展”分论坛。雷键 摄

重庆国家应用数学中心主办的“应用数学赋能产业创新与发展”分论坛,集中发布8项成果。如,“基于区域交通流平衡的实时自适应交通信号控制系统及平台”项目,就融合雷视、视频等多源数据,借助强化学习与运筹优化算法,实现分钟级仿真与秒级响应。该项目已在科学城10余个路口部署,区域平均车速提升9%,全域拥堵指数稳定在1.5以下。这些“数学+制造”成果,是“数学+”模式在现代产业中深入实践的生动例证,展现了数学在构建现代化产业体系、赋能经济社会高质量发展中的广阔前景。

PART 03

科学城筑基:让数学成果结出产业硕果

近年来,西部(重庆)科学城正加速构建以数学为根基的创新产业集群,持续为数学与产业深度融合提供“沃土”。

政策与平台的双重支撑,让创新活力持续迸发。《重庆市人民政府关于支持西部(重庆)科学城高质量发展的意见》明确支持科学城开展数学基础研究和应用开发。依托北大重庆大数据研究院、上海交通大学重庆人工智能研究院、重庆国家应用数学中心等平台,以及软件信息产业、智能网联新能源汽车等特色产业集群,科学城对产业相关企业给予研发费用加计扣除、税收减免等政策支持,已形成“基础研究-核心算法-工业软件-产业应用”完整产业链,正在成长为“数学理论转化为产业优势”的关键枢纽。

从有限元方法到CAE/CAD,从数学内核到工业软件,从量子模拟到AI赋能……连续4年成功举办论坛,既是对科学城工业软件发展成果的检阅,更坚定了这里“以数学筑基、靠软件强业”的方向。

如今,科学城的数学产业已从单点突破迈向系统布局,正通过“数学的思维+算法的力量+软件的形态”,为制造强国建设注入源源不断的“数智动能”、为中国式现代化贡献“数学智慧”。