上海把一场关于数学与人工智能融合的讨论带到了人们面前。这次活动被称为“数学与AI夜话”，是在上海东郊宾馆举行的。活动的主旨是探索基础科学如何帮助人工智能发展。昨晚，世界华人数学家大会上，人们把数学和人工智能这两个领域放在一起讨论。著名数学家丘成桐院士带领大家进行这次讨论。丘院士说，基础数学对技术革命起到了重要作用。他举例说，在上世纪六十年代，快速傅里叶变换（FFT）算法被重新发现并应用后，信号处理领域就有了突破性进展。今天的人工智能也是如此，“依赖算力堆砌”的人工智能可能正处于一个类似的转折点前。丘成桐指出，人工智能的进一步发展需要从数学底层逻辑中寻找新一代的范式变革，而不仅仅是硬件升级。这次活动还把上海市经济和信息化委员会、上海市人工智能行业协会、上海数学与交叉学科研究院、上海人工智能实验室、阿里巴巴通义实验室、商汤科技等机构聚在了一起，他们共同探讨如何利用严谨逻辑提升人工智能的可靠性和创造力。 这些机构展示了他们的最新研究成果。比如，上海人工智能实验室展示了他们在解决复杂数学问题上的能力。在一场测试中，他们开发的模型不仅得分超越人类金牌分数线，而且解题方法也被专家评价为“新颖巧妙”。 商汤科技团队演示了他们处理复杂积分时采取的策略。他们没有直接进行数值计算，而是利用被积函数的对称性来简化问题。这种策略被形容为初步的“机器审美”，触及了数学思维中的化归智慧。 另外，还有一些团队关注如何保证逻辑推理的严谨性。比如字节跳动团队介绍了通过形式化数学路径来训练模型的方法。这个方法要求每一步推导都符合数学公理体系，从而杜绝逻辑谬误。 整个活动由上海市经济和信息化委员会指导，上海市人工智能行业协会与上海数学与交叉学科研究院联合主办。 这次活动不仅仅是一次学术交流活动，更是上海系统性布局“科学智能”战略的一个缩影。 上海希望通过搭建数学等基础学科与人工智能产业之间的对话平台，推动产学研协同发展。 通过这次讨论可以看出中国正在向人工智能研究的“深水区”迈进，把重点从追求参数规模转向可靠性、逻辑性和原创性上。 这条从基础数学到科学智能的探索之路意义重大，关乎中国未来的竞争力和创新源头。