“人工智能的数学边界与基础重构”高端论坛亮相WAIC 2025

“人工智能的数学边界与基础重构”高端论坛亮相WAIC 2025

人民网上海7月27日电(马作鹏)7月26日,“人工智能的数学边界与基础重构”高端论坛在沪举办。来自全球顶尖研究院和高校的科学家、教授、学生代表,以及来自全国企业代表齐聚黄浦江畔,共同踏入了一场关于“底层逻辑”的学术追问。

上海市委常委、副市长陈杰表示,当前上海正在加快推进具有世界影响力的科技创新中心,也极力在打造具有影响力的人工智能发展的高地,做强科技创新的策源功能和高端产业引领功能,以数学的基础创新驱动AI技术迭代,赋能产业升级。

上海市普陀区委书记胡广杰表示,普陀区正主动服务沿沪宁产业创新带建设,努力推动沿沪宁“AI+数学”协同攻关,联动沪宁沿线的各高校、各大院大所、各企业,共同承接课题与场景试验,全力打造引力场、智汇源、孵化器和服务中心,更好以数学领航人工智能之路,以人工智能推动数学发展,不断为上海深化国际科创中心建设贡献力量。

著名数学家丘成桐教授为论坛特别选题命题,题目由其团队联合欧洲、日本数学家精心遴选,聚焦几何与代数的交叉难题,直接考验AI的深层推理能力,由机器模型现场作答,屏幕实时展示AI推理过程。这种“人类出题—机器作答”的模式,既是对AI能力的检验,也是人机协同的一次生动演示,旨在通过顶尖数学家的“问题嗅觉”,引导AI聚焦真正具有突破性的核心难点,避免技术算力的无效消耗。

中国科学院院士徐宗本表示,智能就是指有限的知识走向无限的知识所呈现的性质。无限维问题是本质,有限维技术是现实,设计它的架构一定要从无穷维出发,通过修正算子的性质才能构成一个可用的架构。

当前,上海正围绕数学与AI融合的三大前沿方向布局:一是基础理论突破,依托菲数中国推动落地普陀的两大国际数学实验室,聚焦几何深度学习、微分方程与神经网络融合等方向,推动数学理论为AI提供“公理支撑”;二是AI辅助数学研究,支持高校与科研机构利用超算资源,开展“机器发现规律—人类证明定理”的协同研究,重点探索AI在纽结理论、数论等领域的应用;三是产业场景转化,在智能制造、智能医疗等领域,提炼具有共性的数学问题——如将流体力学模拟转化为纳维-斯托克斯方程求解研究,用拓扑学方法优化多模态影像融合,实现“产业需求拉动理论突破”。

论坛由上海市普陀区人民政府与菲数中国主办。

特别声明:[“人工智能的数学边界与基础重构”高端论坛亮相WAIC 2025] 该文观点仅代表作者本人,今日霍州系信息发布平台,霍州网仅提供信息存储空间服务。

猜你喜欢

快递员父亲为儿子送达北大录取通知书 最幸福的快递(带女儿送快递的快递员父亲)

7月25日,在柳州铁一中学,柳州邮政投递员朱海波完成了他职业生涯中最特别的一次派送。他亲手将北京大学的录取通知书送到儿子朱炫烨手中。这一刻不仅是儿子的荣耀时刻,也是这位普通父亲最骄傲的工作瞬间

快递员父亲为儿子送达北大录取通知书 最幸福的快递(带女儿送快递的快递员父亲)

智元稚晖君发布“灵渠OS”开源计划,自研大模型获SAIL之星奖

智元机器人联合创始人兼 CTO彭志辉(稚晖君)昨天在2025世界人工智能大会暨人工智能全球治理高级别会议主论坛上,携灵犀X2人形机器人登场,发布业界首个具身智能操作系统参考框架“智元灵渠OS”开源计划。 稚…

智元稚晖君发布“灵渠OS”开源计划,自研大模型获SAIL之星奖

蓝奏云手动整理太费脑?这工具批量管理真的绝!(蓝奏云内存)

它俩优点真的戳中我这种懒人:一是免费就能用所有功能,批量管理、在线看啥的全解锁,一分钱不花也能享受到,对咱普通用户太友好;二是格式不挑,不管是MP4、MKV这些常见的,还是老片子的AVI、FLV,导进来…

蓝奏云手动整理太费脑?这工具批量管理真的绝!(蓝奏云内存)

华为Mate60彻底不要利润了,12GB+512GB直降1500元,麒麟9000S+卫星消息(华为mate 60)

在华为手机彻底升级到了鸿蒙OS系统后,产品的耐用性大幅提升,尤其是一些旗舰手机,即便是已经上市两三年的时间,现在运行起来也是格外的流畅,像新上市的手机一样。 华为Mate60是一款标准版手机,上市也快两年的时…

华为Mate60彻底不要利润了,12GB+512GB直降1500元,麒麟9000S+卫星消息(华为mate 60)

她5次上春晚,被恩师骗怀孕,轻声未遂不幸流产,57岁依旧单身(她5次上春晚)

斯琴格日乐是内蒙古人,年轻时在酒吧驻唱。 后来她说自己被人骗怀孕,还流产了,这事差点要了她的命。她在接受采访时很少提过去的事,说自己现在过得很平静,就是一个人习惯了。没人知道未来会怎样,但至少现在,她还能站在…

她5次上春晚,被恩师骗怀孕,轻声未遂不幸流产,57岁依旧单身(她5次上春晚)