上海市委常委、副市长陈杰在致辞中指出，要以数学的基础创新驱动人工智能（AI）技术迭代，赋能产业升级，面向全球征集“AI+数学”综合性解决方案，加快构建一流创新生态。
普陀区委书记胡广杰表示，将主动服务沿沪宁产业创新带建设，推动“AI+数学”协同攻关，把普陀打造成为沿沪宁产业创新带的引力场、智汇源、孵化器和服务中心。
两位菲尔兹奖得主的深度参与是论坛最大亮点。普林斯顿大学教授查尔斯·费夫曼在视频致辞中回溯了从早期机械验证到AI赋能协同演进的数学与计算的发展历程。而菲尔兹奖首位华人得主丘成桐团队联合欧洲、日本数学家精心遴选，为论坛特别命题，直接考验AI的深层推理能力。
考题由机器模型现场作答，并在屏幕实时展示推理过程。其中，上海人工智能实验室的Intern-IMO系统成功破解2025年国际数学奥林匹克竞赛首题，通过自然语言推理完成几何构型分析与归纳证明，获IMO官方打分员认可；阶跃星辰模型则在不等式证明中展现“工具调用”能力，当自身代数计算出错时，主动借助外部工具验证并修正思路，最终完成形式化验证；商汤“日日新”大模型更通过图文混合输入，分别以坐标计算与辅助线构造两种方法求解平面几何题，展现多路径推理能力。
论坛现场。图片由主办方提供
圆桌论坛环节，西班牙国家研究委员会研究员郑凡与上海人工智能实验室专家合作，展示AI对复杂几何题的分步拆解过程；复旦大学教授印佳与商汤团队则呈现AI对学生错误解答的批改过程，模型不仅指出角度计算失误，还追溯逻辑漏洞源头。上海科技大学教授蔡明亮点评称，大模型在概率递推问题中展现的逻辑链完整性令人惊讶，但在需要“反直觉”构造的场景仍显不足，而这正是人类数学家的核心价值所在。
在中外学生“结对”仪式环节，10位来自牛津大学、剑桥大学、多伦多大学、慕尼黑工业大学等国际高校以及上海交通大学、复旦大学、同济大学等沿沪宁高校的数学与AI专业学生结对。后续，这些学生将围绕“AI辅助形式化证明”“数论问题的机器学习探索”等课题开展联合研究。
随后的主旨演讲环节，中国科学院院士徐宗本直指AI架构设计的核心矛盾——智能问题本质是无限维的，而技术实现却受限于有限参数，提出通过算子簇公共不动点理论设计深度架构，并以实验证明大模型存在“冗余阈值”，为模型优化提供数学依据。瑞士苏黎世联邦理工学院教授托尔斯滕·霍夫勒则聚焦算力与推理进化，分析大语言模型从“下一词预测”到“思维树推理”的跃迁，提出通过量化压缩与稀疏激活提升效率，其团队研发的网络拓扑策略使AI算力利用率提升10-15倍。
Hitchin–Ngo实验室与Fefferman实验室同期揭牌成立，前者将攻关镜像对称等前沿问题，探索几何与物理的深层联系，后者则致力于用AI破解流体力学奇异性难题，助力天气预报与湍流模拟。未来将采用“双基地”模式，联动欧洲与上海的算力和数据资源。
近日，四川农业大学动物医学院猪病研究中心黄小波课题组在自然指数（Nature index）期刊Journal of Biological Chemistry发表 ·生产中的模型由“安全系统”团队管理。开发中的前沿模型有“准备”团队，该团队会在模型发布之前识别和量化风险 大学校门要全面敞开吗？开放程度如何把握？ 近日，北京大学李植副教授发表文章《从今天与保安比赛跑步说起——北京大学的门卫 12月18日，由中国科协—北京大学科学文化研究院、中国科协创新战略研究院及北京大学科学技术与医学史系共同主办的“第三 中新网1月1日电 据国家地震台网官方微博消息，中国地震台网自动测定：1月1日15时10分在日本本州西岸近海附近(北纬37.98度，东 科技日报讯 （记者张佳星）我国的临床资源十分丰富，但原创医学科研成果质量和规模与临床资源却不相匹配。如何进一步提升 。本文链接：人工智能的数学边界与基础重构论坛在沪举办http://www.sushuapos.com/show-11-23999-0.html
声明：本网站为非营利性网站，本网页内容由互联网博主自发贡献，不代表本站观点，本站不承担任何法律责任。天上不会到馅饼，请大家谨防诈骗！若有侵权等问题请及时与本网联系，我们将在第一时间删除处理。
上一篇： 直面电力行业关键问题，这个中试基地发布
下一篇： 人工智能赋能医药健康新范式论坛在沪举办