数学与计算机科学,跨界对话在沪举办
10月10日,2026未来科学·创想季活动“数学与计算机科学×数字未来”跨界对话在上海举办。本场对话聚焦“从计算到洞察与创造”的下一代智能数字根基,汇聚一线科学家、产业领袖与投资机构,共同探讨开源处理器、具身智能、通用数据大模型、AI for Science、深度学习等前沿方向。上海未来产业基金总经理、上海未来启点社区理事长魏凡杰出席活动并致辞。
活动现场。未来论坛供图 上半场主旨演讲环节,中国科学院计算技术研究所副所长、北京开源芯片研究院首席科学家包云岗围绕“AI能力边界的三个观察:深度、随机性与可验证性”作分享,并结合三个实践故事探讨AI能力边界。他认为,在数学证明等场景中,AI证明生成效率突出,但验证正确性仍是关键瓶颈。 歌尔股份董事、首席技术官刘耀诚立足终端产业落地视角,围绕“智见端倪——终端智能变革的进行时”作分享。他指出,AI变革正在从基础设施迈向应用与端侧智能,智能终端将融入日常生活各类场景。 随后的跨界对话环节由包云岗主持,刘耀诚,九万里未来科技有限公司创始人陈鹏,进迭时空创始人、总裁孙彦邦,上海未来产业基金投资部董事总经理李然参与对话交流。 下半场主旨演讲环节,北京大学北京国际数学研究中心博雅特聘教授、北京中关村学院常务副院长董彬,围绕“AI for Mathematics:数学智能体的设计与实践”进行分享。董彬认为,AI正在改变数学研究,将科研人员从繁重的证明工作中解放出来。数学家应主动拥抱AI,学会驾驭智能体、甄别模型幻觉,实现人与 AI 协同进化。 深势科技创始人兼首席科学家、北京科学智能研究院理事长张林峰围绕“AI时代的科学基础设施:探索与实践”进行分享。张林峰回顾了十年来AI赋能科学研究的发展历程。他指出,未来五年,继数学后,AI有望在理论科学、计算科学到实验科学逐步突破。 第二场跨界对话环节由上海交通大学特聘教授、人工智能学院副院长张娅主持,董彬,张林峰、魏凡杰参与对话交流。 本次跨界对话由未来论坛、上海未来启点社区、上海星力泰克联合主办。


