代码编织梦想

由斯梅尔数学与计算研究院(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算法技术相关基础学科研究高地的期许。

图片

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

版权声明:本文为博主原创文章,遵循 CC 4.0 BY-SA 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/winnieg/article/details/140269126

算法创新+工业软件推动智能制造核心工艺弯道超车和新型工业化-爱代码爱编程

1月5日上午,株洲市新型工业化推进大会暨加快北斗规模应用和工业软件创新应用推进会召开。这是株洲2024年开年以来召开的第一场全市性大会,释放出市委、市政府以新型工业化推进株洲经济社会高质量发展的鲜明导向和坚强决心。市委书记曹慧泉出席并讲话,市委副书记、市长陈恢清主持。 市领导王卫安、刘光跃、聂方红、杨英杰、唐文发,株洲高新区党工委书记邬凌云出席,市委

华院计算登榜『2024福布斯中国人工智能科技企业top 50』-爱代码爱编程

4月28日,福布斯中国正式发布“2024福布斯中国人工智能科技企业TOP 50”榜单。华院计算凭借其在人工智能领域的卓越成就与深远影响力,荣膺殊荣,成功跻身榜单。 工业和信息化部2024年4月表示,中国人工智能企业数量已超过4,500家。AI 技术已经广泛且深入地渗透到医疗、教育、金融、制造等诸多行业场景中,引领着一场全新的科技革新和产业升级。为展示

活动 | 华院计算与数学家一起走进世界轨道交通之都-爱代码爱编程

4月17日,由株洲市人民政府主办、株洲高新区管委会承办,华院计算技术(上海)股份有限公司(以下简称“华院计算”)协办的“制造名城、院士同行,数学家走进株洲”活动在湖南株洲举行。 来自中国数学会、中国工业与应用数学学会(以下简称“学会”)的数学家代表—欧洲人文和自然科学院外籍院士、欧洲科学院院士、上海交通大学自然科学研究院院长金石,中国科学院院士、

华院计算参编《金融业人工智能平台技术要求》标准-爱代码爱编程

随着人工智能技术的迅猛发展,金融机构正在从业务场景化向企业智能化演进,金融业对智能化的需求愈加迫切。为引导产业有序发展、规范行业自律、加快金融行业智能化转型,中国信通院依托中国人工智能产业发展联盟(AIIA)及人工智能关键技术和应用评测工业和信息化部重点实验室,联合中国工商银行、中国邮政储蓄银行股份有限公司、上海浦东发展银行、中信银行股份有限公司和华院计算

案例 | 华院计算x第一财经:我和我的数智人唱双簧-爱代码爱编程

创新关乎命运,科技引领未来。生成式人工智能(AIGC)给传媒行业发展带来严峻挑战的同时,也带来千载难逢的重大发展机遇。2024年政府工作报告中提出,要深化大数据、人工智能等研发应用,开展“人工智能+”行动,打造具有国际竞争力的数字产业集群。其中,如何推动“AI+数字内容产业”战略规划,更深层次拓宽AI技术在不同产业带的应用布局,深度落实“新质生产力”产业带

华院计算荣获csdn“创新企业”和“年度创新产品与解决方案”大奖-爱代码爱编程

日前,全国最大的专业开发者社区CSDN发布“2023中国开发者影响力年度榜单”,华院计算凭借其卓越的认知智能引擎平台荣获“创新企业”和“年度创新产品与解决方案”两项大奖。 CSDN 以数据为基础,经过个人或企业提交资料、层层筛选、深入调研、专家评审等环节,历时两个月,最终形成大模型生态领军企业、创新企业、AIGC Top智能应用、创新产品与解决方案四

华院计算x江西理工大学:携手深耕“ai+有色领域”,智启产学研合作新篇章-爱代码爱编程

3月18日,华院计算技术(上海)股份有限公司(以下简称“华院计算”)与江西理工大学就人工智能在有色金属和稀土产业进一步深度合作召开座谈会,华院计算董事长、创始人宣晓华,高级顾问万小玲,技术总监杨小东以及江西理工大学党委书记杨斌,校党委常委、副校长熊志华均出席了此次座谈会。 双方就“AI+有色领域”的教学与科研合作进行了深入沟通和交流。华院计算和江西理工大

华院计算 | 意大利早期的三位女学者——历史没有忘记-爱代码爱编程

意大利历史上名人很多,其中三位先驱女学者特别值得后人铭记。 哲学家艾琳娜·皮斯科皮亚(Elena Lucrezia Cornaro Piscopia,1646年6月5日-1684年7月26日)于1678年从帕多瓦大学(Università di Padova)获得哲学博士学位。她是历史上第一个女哲学博士。 物理学家劳拉·巴斯(Laura Maria

新闻 | 华院计算正式设立“兴华人才基金”-爱代码爱编程

3月14日,是联合国教科文组织设立的国际数学节,亦值中国古代数学家刘徽、祖冲之精确计算的圆周率日之际,华院计算正式成立“兴华人才基金”,支持应用数学与人工智能基础研究。华院计算希望通过“兴华人才基金”,旨在吸引和鼓励数学和人工智能领域的青年学者、教师和学生等优秀人才,凝聚多方科研力量,围绕数学与人工智能算法的融合发展开展创新性研究,激发更多创造性思维和创新

喜讯 | 2022-爱代码爱编程

助力科技创新,推动现代化产业体系建设,1月19日下午,创引新经济·临港联合产业高质量发展创新论坛暨第三届科创引力场年度大会,在临港松江科技城顺利举办。本次论坛由工信部中小企业发展促进中心作指导单位,上海临港控股股份有限公司、上海临港联合发展有限公司、临港常熟绿洲芯城、科创引力场共同主办,上海农村商业银行股份有限公司、经济观察报、上海国际技术交易市场联合主办

​大咖来袭 | 专访lenore blum—改变数学面貌的“偶然活动家”-爱代码爱编程

在她长达60年的职业生涯中,莱诺尔·布鲁姆(Lenore Blum,1942-)在发展逻辑和计算方面形成了新的观点,同时她也是数学和计算机科学领域中女性的倡导者。现在,意识成为她关注的焦点。 身穿黑色毛衣的Lenore Blum在阅读《意识剧场之中》(In the Theater of Consciousness)在经过多年的数学和计算

喜讯 | 华院计算摘得“2023大数据产业年度创新技术突破”奖-爱代码爱编程

2024年1月17日, 由数据猿和上海大数据联盟主办,上海市经济和信息化委员会、上海市科学技术委员会指导的“第六届金猿季&魔方论坛——大数据产业发展论坛”在上海市四行仓库举行。论坛以“小趋势·大未来”为主题,围绕大数据产业的各个领域展开深入讨论。华院计算亦应邀参会,与政产学研各界嘉宾、媒体,以及直播间上万网友共同见证了此次盛会。 本届金猿季历

活动|华院计算受邀参加2024全球人工智能技术大会(gaitc),探讨法律大模型如何赋能社会治理-爱代码爱编程

6月22至23日,备受瞩目的2024全球人工智能技术大会(GAITC)在杭州市余杭区未来科技城隆重举行。本届大会以“交叉、融合、相生、共赢”为主题,集“会、展、赛”为一体,聚“产、学、研”于一堂。值得一提的是,大会已连续五年在杭州市余杭区未来科技城盛大举行,今年共有20余位中外院士在内的200多位专家学者齐聚一堂,探讨人工智能的前沿技术和未来趋势,实现学术

waic2024 | 华院计算邀您共赴2024年世界人工智能大会,见证未来科技革新-爱代码爱编程

在智能时代的浪潮汹涌澎湃之际,算法已成为推动社会进步的核心力量。作为中国认知智能技术的领军企业,华院计算在人工智能的广阔天地中,不断探索、创新,致力于将算法的潜力发挥到极致。在过去的时日里,华院计算不断探索新的算法机制,发展新的算法应用,开发新的算法模型,推动算法在智能社会中发挥更大的作用。 随着2024年世界人工智能大会的脚步临近,华院计算将再次站

活动 | 华院计算受邀参加同心知联汇,走进“模速空间”-爱代码爱编程

6月17日,由市知联会先导产业专委会、市知联会经济与金融专委会、市经信系统知联会、上海市人工智能行业协会主办,上海创智合力信息科技有限公司、上海大模型生态发展有限公司承办的同心知联汇,走进“模速空间”活动在上海大模型创新生态社区成功举办。 华院计算技术(上海)股份有限公司(以下简称“华院计算”)受邀出席此次研讨会并作主题演讲,与华东师范大学数据科

活动|华院计算受邀参加archsummit全球架构师峰会-爱代码爱编程

由极客邦科技旗下InfoQ中国团队推出的重点面向高端技术管理者、架构师的ArchSummit全球架构师峰会于2024年6月14日至15日在深圳博林天瑞喜来登酒店成功召开。本次峰会汇聚了众多高端技术管理者、CTO、架构师,共同探讨先进技术在企业的转型与发展的推动作用,并展示了先进技术在行业中的典型实践,协助他们做好技术选型、技术团队组建与管理,确立技术对于产

华院计算 | 简单而复杂的“生命游戏”-爱代码爱编程

人类是社会动物,而人类的社会活动则既简单又复杂。长期以来,数学家、计算机科学家和社会学家们一直试图用简单明了的方式方法去刻画错综复杂的社会现象,其中“生命游戏”提供了一个“寓科学于娱乐”的活动框架。 【一】导引 让我们先来玩一个简单的棋子游戏。 在一个充分大的围棋棋盘上,为简单起见每个空格表示已经放有一个白子(而白子就不标画出来了)。如果空格内出现一

waic | 斯梅尔数学与计算研究院邀您莅临waic 2024“数学与人工智能”论坛_#waic2024 推出首支ai原创主题曲——《waic 正青春》,这首歌曲不仅是ai与音乐-爱代码爱编程

当我们谈论起人工智能这一变革性力量时,就不得不提及数学。人工智能作为当今社会的热门话题,从AlphaGo到ChatGPT,从智能制造到数字文旅,它的发展和应用深刻地影响着行业和人们的生活。然而,人工智能的发展和基础离不开数学。数学与人工智能的共融共进,不仅是两个领域的相互融合,更是人类文化的一次深刻变革。在这个时代,数学与人工智能正携手同行,书写着

waic|华院计算“认知世界 智创未来”主题论坛圆满落幕-爱代码爱编程

7月5日,华院计算技术(上海)股份有限公司(以下简称“华院计算”)在上海世博中心举办了2024年世界人工智能大会“认知世界 智创未来”主题论坛,这也是华院计算连续第六年举办以认知智能为主题的学术研讨会。本次论坛围绕人工智能的最新理论、技术和应用场景展开深入交流,旨在搭建一个跨学科、多层次的全球性交流平台,促进学术界和产业界的沟通与合作,推动包括认知智能在内

喜讯|华院计算认知智能引擎算法平台荣登bpaa大赛创新组top50-爱代码爱编程

6月25日,备受瞩目的BPAA第四届全球应用算法模型典范大赛(以下简称“BPAA大赛”)正式揭晓了《第四届全球应用算法模型典范大赛创业组TOP50榜单》和《第四届全球应用算法模型典范大赛创新组TOP50榜单》。其中,华院计算技术(上海)股份有限公司(以下简称“华院计算”)凭借认知智能引擎算法平台在激烈的竞争中脱颖而出,成功入选了创新组TOP50的商业算法模