WAIC | 2024年世界人工智能大会“数学与人工智能”学术会议成功举办!

由斯梅尔数学与计算研究院(Smale Institue of Mathematics & Computation)主办的2024年世界人工智能大会(WAIC)“数学与人工智能”学术会议7月4日在上海世博中心圆满落幕!作为全球性高级别学术研讨会,此次会议由华院计算技术(上海)股份有限公司董事长、斯梅尔数学与计算研究院执行院长宣晓华担任主持,美国卡内基梅隆大学计算机科学学院名誉教授、1995年图灵奖获得者及美国三院院士Manuel Blum,欧洲人文和自然科学院外籍院士、欧洲科学院院士、上海交通大学自然科学研究院院长、上海交通大学数学科学学院讲席教授金石,欧洲科学院院士、牛津大学应用数学教授Jose A.Carrillo,牛津大学DeepMind人工智能教授Michael Bronstein,伦敦大学学院人工智能中心主任、英国研究与创新署基础人工智能博士培训中心主任、UiPath杰出科学家David Barber,世界科学院院士、阿勒福赞杰出青年科学家国际奖得主、南非布隆方丹自由州大学和台湾中华医科大学教授Abdon Atangana,南非北方大学应用数学系教授、系主任Oluwole Daniel Makinde,阿联酋人工智能大学副教授、副系主任Martin Takac出席。菲尔兹奖得主、法国高等科学研究所(IHES)终身数学教授Laurent Lafforgue,澳大利亚国立大学计算机科学研究学院(RSCS)荣誉教授Marcus Hutter以及西南财经大学统计学院教授、统计研究中心主任、博士生导师林华珍通过线上方式参与了此次学术会议,上海市经济和信息化委员会主任张英出席会议并致辞。这些全球顶尖的数学家和科学家们围绕机器学习与人工智能的数学基础、人工智能中的算法研究、AI4Science以及AI4Math等主题进行深入讨论,共同探讨数学与人工智能领域的最新研究成果和未来发展趋势。

图片

会上,94岁高龄的斯梅尔数学与计算研究院名誉主席斯蒂芬·斯梅尔教授以线上视频的形式发表了他关于“21世纪的18道数学问题”中的“智能的极限”的观点。1998年,斯梅尔列出了21世纪的18道数学问题。“斯梅尔问题”,沿袭了1900年著名的希尔伯特数学问题的精神。“斯梅尔问题”有一部分就来自希尔伯特数学问题。

图片

会议围绕三大议题进行探讨,在关于“如何借助数学打造更好的人工智能算法基础(特别是深度神经网络和Transformer领域),从而提升人工智能算法的效率和鲁棒性、增加因果推理能力和可解释性,消除模型的幻觉现象等?”的议题上,Michael Bronstein教授发表了深刻见解,他高度肯定了数学家在构筑人工智能算法基础方面的卓越贡献。Bronstein教授从两个维度进行了详尽剖析:一方面,不论是预测性人工智能还是生成式人工智能,其核心均离不开优化过程,因此数学家的任务就是不断地探索与开发更好的算法,提高算法的效率。另一方面,他强调数学分析对于理解人工智能理论的重要性,特别是生成式人工智能,其执行任务的能力在很大程度上依赖算法的设计,而数学家通过优化算法,不仅提升了预测的准确性,还赋予了AI更强的预见性,使其在面对复杂任务时能够做出更为合理的决策。

图片

这一观点得到了在场嘉宾的广泛共鸣,Martin Takac教授则进一步阐述道:“我们希望可以不断推进、拓宽并深化算法的边界,追求算法更高的效率与效能。”此番讨论奠定了数学研究在人工智能方面的演进中所扮演的重要角色。

图片

随着人工智能的飞速发展,它已广泛渗透至生活的各个角落,虽然为现代人类社会提高了前所未有的效率,带来了诸多的便捷与福祉。然而,人工智能依旧面临着一系列理论和实践上的挑战。因此,会议也以“对于通用人工智能(AGI)、大模型的涌现现象、意识智能等前沿研究领域有哪些好的数学模型?智能的极限又是什么?”为议题,深入剖析现有的数学模型是如何推动人工智能、大模型的发展,以此探讨数学与人工智能之间双向促进、共同发展的互动关系。针对此议题,David Barber教授深刻地指出数学的纯粹、清晰性和复杂的人类推理、语言、知识以及人工智能之间存在着巨大鸿沟。他强调,利用数学模型来驱动人工智能,促使人工智能更理解人类语言,是一项充满挑战又极具潜力的任务。同时,他也乐观地表示,目前已有的统计学、逻辑推理等已经为人工智能的发展奠定了坚实的基础,相信未来也会有更精准高效的数学模型来协助人工智能的发展。

图片

金石教授则从另一个角度切入,他认为一个理想的数学模型应当是要将领域知识和物理定律完美结合,这样的模型才能更有效地解决复杂的问题。Michael Bronstein在探讨“智能的极限”时,以富有哲理的比喻阐述了人类对于智能认知的演进过程。他提出现在的人类看到人工智能的进步,如同十年前我们看科幻小说幻想今天一样,虽然今日我们见证了人工智能的显著进步,却仍感觉有些不一样。他强调,人工智能的极限就如同人类不断追求与设定的新目标,是一个动态变化、永无止境的过程。

图片

Marcus Hutter教授对于人工智能的见解深刻且前瞻,他坚信人工智能的作用不仅仅是预测,而是拥有影响世界的决策能力。因此,他提出通过将最优决策理论与未知世界的预测理论相结合,可以构建在任意未知环境中都能做出最优决策的AGI系统,如ASI(强人工智能)。在过去的几年里,Marcus Hutter教授已经证实了我们拥有很多优化的概率,他做出了将智力这一非正式概念数学化的努力,提出了一个从0到1的评分系统来评估AI的智能程度。他认为理想的智能测量应能捕捉所有智力的关键特征,包括记忆、概括能力、推理、理解力和创造力等。虽然目前的研究仍处于基础的开发阶段,但他积极利用逼近法来让计划得以继续执行,使其更优化、更完美,以确保每一步都朝着既定目前稳步前进。对于当前的数据模型,Marcus Hutter教授也持乐观的态度。他表示目前的数据模型虽然尚在发展之中,但未来他会让数据模型更加接近理想状态。

图片

Abdon Atangana教授对此表示:我们每天都在发明创造与发明,然后通过验证我们的成果,来为人工智能注入更多的内容,让它接受更多的的培训和进步。诚然,人工智能的出现可能让人类不再需要用自己的大脑进行研究,但是实际上人工智的发展仍然需要靠人类去进行深度参与和补充,尤其是它无法直接向我们验证新定理和新方法论。因此,关于人工智能的未来,我更想看到的是它可以超越现在的界限,可以替代人类验证一些新方向和新主题。

图片

数学作为人工智能的基石之一,其基本理论和应用技术的深入研究是人工智能行稳致远的关键。因此,要想让人工智能在各行各业取得稳健的发展,必须先确保数学基础问题的有效解决。同时,人工智能的飞速发展和广泛引用,也推动了数学领域的研究不断向前,为数学提供了更多的研究视角、方法和挑战,促进了数学理论的创新和突破。既然人工智能的发展离不开数学的支持,那么人工智能是否也能反过来对数学产生促进作用?

图片

“人工智能如何助力数学研究,特别是在定理证明、证明验证以及猜想生成方面?”这是本次会议的最后一个议题。在这个议题上,Jose A.Carrillo教授以风趣又不失深刻的言辞表达了自己的看法:“对于我个人而言,我并不担心我的工作会被替代。诚然,目前的人工智能虽然在一定程度上可以可以辅助数学家进行错误的检查,避免失误,但是人工智能的发展仍然面临着诸多未解难题,至少我(作为一名数学家)目前这几年仍不会失业。”

图片

世间万物兼具两面性,数学与人工智能相互间的促成关系背后也可能潜藏风险。在现场观众对这一问题感到疑惑时,Manuel Blum教授以深邃的洞察力提出了独到见解,他指出:“人类总有一天可能都会毁灭,但是人工智能的出现并非这一宿命的必然推手,相反地,人工智能可能是协助人类规避风险的关键钥匙。”Oluwole Paniel Makinde教授对此表示赞同,他补充道:“我们应当以积极乐观的心态,相信人工智能会给我们带来创新!”

图片

上海市经济和信息化委员会主任张英代表上海市政府到场祝贺并欢迎全球各位数学家来到上海参加2024世界人工智能大会及“数学与人工智能”学术会议。张英主任强调,李强总理在WAIC会议开幕式讲话指出上海正全力构建一个技术策源、应用示范和制度创新人才集聚的高地。从技术策源的角度来看,数学就是推动技术策源最为核心与关键的力量。她进一步指出,鉴于数学与人工智能之间不可分割的紧密联系,政府高度重视人工智能的应用发展,以及数学和人工智能之间的关系和推动力。这不仅是本次“数学与人工智能”学术会议得以成功举办的重要背景,也是主办方对本次会议寄予厚望的根源所在。

图片

此次在WAIC会议主会场举办全球性数学与人工智能会议,充分体现了本次WAIC会议的全球性和理论前沿性,也体现了上海致力于打造全球性人工智能基础研究前沿和数学等AI算法技术相关基础学科研究高地的期许。

图片

“数学与人工智能”圆桌会议,作为一次思想的盛宴、智慧的碰撞,见证了数学家们围绕前沿问题展开的激烈讨论与深刻洞见。在这里,思想的火花汇聚成照亮前行道路的明灯,预示着数学理论与人工智能技术的深度融合将开启一个充满无限可能的新纪元。在这个充满无限可能的新时代,我们有理由相信,数学与人工智能将携手并进,共同书写人类科技进步的崭新篇章。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/868376.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

html+js+css练手小项目

文章目录 练手小项目前言1.多轮播图1.1 效果展示1.2 实现思路1.2.1 三张轮播图1.2.2 左侧轮播图 1.2.3 右侧轮播图1.2.4 整体结合 2.图片变色2.1 效果展示2.2 实现 练手小项目 ☀️作者简介:大家好我是言不及行yyds 🐋个人主页:言不及行yyds的…

字节码编程javassist之打印方法耗时和入参

写在前面 本文看下如何实现打印方法耗时和入参。 1:程序 需要增强的类: public class ApiTest1 {public Integer strToInt(String str01, String str02) {return Integer.parseInt(str01);}}插桩类 package com.dahuyou.javassist.huohuo.aa;import…

tableau条形图绘制 - 2

tableau条形图绘制 1. 条形图绘制-11.1 创建工作表1.2 修改工作表名称1.3 条形图绘制1.4 显示标签1.5 行列转换 2. 条形图绘制-22.1 新建工作表2.2 修改工作表名称2.3 条形图绘制2.4 价格度量选平均值2.5 标签度量选平均值2.6 升序,整个视图显示2.7 行列转换 3. 堆积…

模型训练结果可视化

📚博客主页:knighthood2001 ✨公众号:认知up吧 (目前正在带领大家一起提升认知,感兴趣可以来围观一下) 🎃知识星球:【认知up吧|成长|副业】介绍 ❤️如遇文章付费,可先看…

AntDesign上传组件upload二次封装+全局上传hook使用

文章目录 前言a-upload组件二次封装1. 功能分析2. 代码详细注释3. 使用到的全局上传hook代码4. 使用方式5. 效果展示 总结 前言 在项目中,ant-design是我们常用的UI库之一,今天就来二次封装常用的组件a-upload批量上传组件,让它用起来更方便。 a-uploa…

Spring Cloud: Nacos配置中心与注册中心的使用

一、配置中心(配置管理) 配置中心是一种集中化管理配置的服务。它的主要作用包括集中管理配置信息,将不同服务的配置信息集中存储和管理;支持动态更新配置,通过操作界面或 API 无需重启服务即可应用最新配置信息;实现配置信息共享…

如何解决亚马逊环境技术问题?自养号测评助力下单成功率飙升

在构建针对测评任务的环境系统时,确保系统的稳定性和操作成功率至关重要。面对市场上纷繁复杂的解决方案,如虚拟机、模拟器、GCS服务、云手机及VPS等,虽选择众多,但往往伴随着高昂成本与低成功率的挑战。因此,构建一个…

数据库课设---酒店管理系统(MySQL、VBNet)

目录 一. 知识技术 二. 需求分析 2.1 功能需求 2.2 数据需求 三. 数据流图与数据字典 3.1 数据流图 3.1.1 业务流图 3.1.2 数据流图 3.1.3 关系图 3.2 数据字典 四. 数据库设计 4.1 概念模型设计 4.2 逻辑模型设计 4.3 数据库实现 …

网络规划与设计————期末复习

一、选择题(每题1分) 1、光纤线组建的标准以太网是______。 A.10BASE-5 B.10BASE-2 C.10BASE-T D.10BASE-F 其实也很好记,光纤的英文是 "Fiber Optic",双绞线的英文是 "Twisted Pair"。 5呢…

苹果电脑压缩软件哪个好用一些? mac电脑用什么压缩软件 mac电脑压缩文件怎么设置密码

压缩软件是Mac电脑必不可少的工具,虽然Mac系统自带了一款“归档实用工具”,但是其功能实在匮乏,若你需要加密压缩文件或者把文件压缩成指定格式,那么该工具无法满足你的需求。Mac用户应该怎么选择压缩软件呢?本文就来告…

股票数据分析(K线图、均值图、MACD图、RSI图)--股票日数据

数据 数据是上证指数日行情数据,股票代码000002.sz,原始数据shdata示例如下: 读取数据: import numpy as np import pandas as pd import mplfinance as mpf import matplotlib.pyplot as plt from datetime import datetime imp…

出书流程/专著/合著/年内下号

出书流程/专著/合著/年内下号 年内书号,年内书号,年内书号 独著,合著,一书一号,正规出版。省级出版社,国家级出版社,985,211大学出版社,百佳出版社,均可安排…

刷题之删除有序数组中的重复项(leetcode)

删除有序数组中的重复项 这题简单题&#xff0c;双指针&#xff0c;一个指针记录未重复的数的个数&#xff0c;另一个记录遍历的位置。 以下是简单模拟&#xff0c;可以优化&#xff1a; class Solution { public:int removeDuplicates(vector<int>& nums) {int l0…

JVM专题之G1垃圾收集器下

索引(记录)的源码的工作流程图如下: CSet(Collection Set 回收集合) 收集集合(CSet)代表每次GC暂停时回收的一系列目标分区。在任意一次收集暂停中,CSet所有分区都会被释放,内部存活的对象都会被转移到分配的空闲分区中。因此无论是年轻代收集,还是混合收集,工作的机…

主流电商平台营销中大数据的应用◆

随着经济的不断发展&#xff0c;网络信息技术不断加强&#xff0c;电子商务和大数据的蓬勃发展极大地方便了人们的生活。本文章主要阐述大数据分析与电商营销的含义、大数据分析在电子商务营销中的应用&#xff0c;以及该应用的作用和存在哪些不足及解决方法。探究大数据分析在…

Geoserver源码解读六 插件(怎么在开发模式下使用)

系列文章目录 Geoserver源码解读一 环境搭建 Geoserver源码解读二 主入口 Geoserver源码解读三 GeoServerBasePage Geoserver源码解读四 REST服务 Geoserver源码解读五 Catalog Geoserver源码解读六 插件&#xff08;怎么在开发模式下使用&#xff09; 文章目录 系列文…

希亦、小吉、觉飞内衣洗衣机值得买吗?王牌对决测评还不来看看!

内衣洗衣机是近几年新兴的家电产品&#xff0c;以清洁效果好、除菌能力强&#xff0c;被很多人种草入手了&#xff01;但网上有不少人虽感兴趣&#xff0c;但不清楚如何选。担心买到质量差&#xff0c;清洗不干净的产品。所以为了帮助大家可以更好的了解哪个品牌的内衣洗衣机比…

latex改写字体和字号

文章目录 字体使用宏包设置命令声明命令 字号例子设置特定字号 设置行间距用\setlength{\baselineskip}{24pt}设置\renewcommand{\baselinestretch}{2} \selectfont中文行距&#xff08;{ctex}&#xff09; 补充&#xff1a; 字体 使用宏包 \usepackage{ctex}设置命令 只对确…

04-Haproxy搭建Web群集

理论讲解 Haproxy 是目前比较流行的一种群集调度工具&#xff0c;同类群集调度工具有很多&#xff0c;如LVS 和Nginx。相比较而言&#xff0c;LVS 性能最好&#xff0c;但是搭建相对复杂:Nginx的upstream模块支持群集功能&#xff0c;但是对群集节点健康检查功能不强&#xff…

大模型面试笔试常见问题汇总(精心准备)

1 GPT和Bert的区别? 1.模型结构和训练方式 BERT通过掩码语言模型(Masked Language Model, MLM)和下一句预测(Next Sentence Prediction, NSP)任务进行训练: 掩码语言模型(MLM):在输入序列中,BERT随机掩盖一些词语,并要求模型预测这些被掩盖的词语。这使得BERT能够学…