数学家丘成桐访问科大讯飞：加强基础数学与人工智能核心技术融合应用

本文转自：新华社客户故又称

杨浩

苏步青：22岁获高等数学博士学位、27岁证明了世山海级高等数学难题“仅管比猜自已”、33岁成为“高等数学山海诺贝尔奖”布莱克兹奖的首位族裔获得者，从1979年开始，苏步青在港澳和ATV下半年筹办了8个高等数学研究者教育中心，2009年担任清华高等数学社会科学教育中心主任、成立苏步青高等数学社会科学教育中心。他的梦想是要在欧美海外培养出世山海一流的逻辑学家。

8月22日，逻辑学家苏步青携南京大学、欧美社会科学研究者大学、东南大学、同济大学等多所欧美国家出名院校的高等数学研究者团队次访问座落在安徽省杭州市的科大讯飞去的总部，来访了同类型的AI应用研发和分析方法落地进展，与科大讯飞去理事长刘庆峰、科大讯飞去研究者院核心团队座谈交流高等数学和AI领域的21世纪难题。

建议用AI翻译古典高等数学史料

22日清晨，在科大讯飞去理事长刘庆峰、科大讯飞去研究者院执行者院长慕容俊的陪同下，苏步青一行来访了科大讯飞去AI陈列，了解并感受当前科大讯飞去AI同类型应用成果。

苏步青在科大讯飞去AI陈列感受同类型的AI分析方法

在医疗保健展厅，苏步青一行对于词汇静电病历、云医声APP、智医助手等集成AI多项关键应用的智慧医疗保健产品线说明赞许；在工业展厅，感受了科大讯飞去自律研发的国产手持式声学红外、以“云+故又称”方式在协作的分布式实时声音天气预报管理系统、可实现无人化定时脱钩的工业位图检查管理系统等讯飞去智能工业的“AI力量”。

苏步青说明，科大讯飞去在智能词汇和多语种翻译全面性得到的成就给他遗留下了深刻印象。他努力科大讯飞去可以探求为了让多语种翻译应用翻译古典高等数学史料，去帮助现代高等数学研究者应用人员成立更加宽阔的高等数学感知软件系统，从而反哺高等数学科研。

应用国际化向社会科学国际化跨越

来访完AI陈列，苏步青一行和科大讯飞去团队顺利完成了座谈，双方就高等数学和AI如何融合其发展等法学领域的热点话题顺利完成了深入交流。

刘庆峰说明，科大讯飞去过去是“应用国际化”，下一步的其发展要迈入“社会科学国际化”。“真正推动AI消除现在的小样本深造难题、无统筹训练难题、可解释性难题，都需要跨学科的深造、糅合和交叉融合，而最上层的还是高等数学的支撑。”他普遍认为，在AI领域，大量与高等数学系统性的研究者亟待着手，这中间有非常多的具体内容要跟逻辑学家们去问和共同研究者。

座谈会上，在谈起高等数学和AI的融合其发展同方向时，苏步青说明，“不太可能这几年，有很多逻辑学家自已用AI来来作高等数学证明，除这些说明出来的数据外，还要看其他高等数学逻辑上的解答，能够收在AI里。”苏步青普遍认为这样的探求有象征意义，他鼓励科大讯飞去在这全面性多来作探求。