在算力竞赛愈发激烈的当下,人工智能正逼近一堵“逻辑之墙”。模型越大、参数越多,却仍难摆脱幻觉与不确定性。AI究竟为什么要学数学?菲尔兹奖得主丘成桐院士在上海抛出了这一问题。
在第十届世界华人数学家大会特别夜话中,丘成桐院士回顾了计算机发展史:20世纪60年代,硬件一度被计算复杂度“卡死”,真正改变产业走向的并非算力提升,而是快速傅里叶变换(FFT)这一数学算法。“今天的AI也需要属于自己的FFT时刻。”他指出,AI学数学,不是为了算得更快,而是为了从概率走向逻辑,从经验走向确定。
在现场展示中,上海AI实验室、阿里通义、商汤、字节跳动等团队展示了最新进展。部分模型已具备长程推理、自我校验能力,能在推导中主动修正路径;也有模型在复杂计算中利用对称性完成化简,展现出接近数学直觉的判断。这些尝试表明,AI正从“会做题”迈向“能研究”。
活动现场还发布了“人类知识边界:全球数学征解”,以数学问题牵引模型能力突破,构建“数学—模型—应用”的创新生态。正如丘成桐所言,五十年前,数学改变了计算机工业;今天,数学或将再次决定人工智能的上限。在这场关乎认知边界的竞赛中,上海正从基础逻辑处落子。
在算力竞赛愈发激烈的当下,人工智能正逼近一堵“逻辑之墙”。模型越大、参数越多,却仍难摆脱幻觉与不确定性。AI究竟为什么要学数学?菲尔兹奖得主丘成桐院士在上海抛出了这一问题。
在第十届世界华人数学家大会特别夜话中,丘成桐院士回顾了计算机发展史:20世纪60年代,硬件一度被计算复杂度“卡死”,真正改变产业走向的并非算力提升,而是快速傅里叶变换(FFT)这一数学算法。“今天的AI也需要属于自己的FFT时刻。”他指出,AI学数学,不是为了算得更快,而是为了从概率走向逻辑,从经验走向确定。
在现场展示中,上海AI实验室、阿里通义、商汤、字节跳动等团队展示了最新进展。部分模型已具备长程推理、自我校验能力,能在推导中主动修正路径;也有模型在复杂计算中利用对称性完成化简,展现出接近数学直觉的判断。这些尝试表明,AI正从“会做题”迈向“能研究”。
活动现场还发布了“人类知识边界:全球数学征解”,以数学问题牵引模型能力突破,构建“数学—模型—应用”的创新生态。正如丘成桐所言,五十年前,数学改变了计算机工业;今天,数学或将再次决定人工智能的上限。在这场关乎认知边界的竞赛中,上海正从基础逻辑处落子。
据法新社巴黎3月15日报道,15日发布的一项新的重要分析称,影响神经系统的疾病——如中风、偏头痛和痴呆症——已经超过心脏病,成为全球范围内导致人们健康损害的主要原因。 3月15日,我国一些地区停止居民集中供热。初春时节,乍暖还寒。停暖初期昼夜温差较大,老人、儿童等身体较弱者,可能需要使用电暖气、电热毯等取暖设备,这导致部分家庭近来用电量增加。最近,一款名为 据韩国建国大学研究人员发表在最新一期开放获取期刊《公共科学图书馆·综合》上的一项研究,与狗共度美好时光可减轻压力,同时可增强与放松和注意力相关的脑电波。动物辅助干预措施,如犬类 眼眸深邃似海、璨如星河,中国医学科学院生物医学工程研究所眼科诊疗技术研发团队(以下简称“团队”)正是眼眸“侦探”。该团队不久前被授予“国家卓越工程师团队”称号。别看人眼只有8克左右,却 3月24日消息,今天数码博主“厂长是关同学”曝光了huaweiMate 70系列电话的部分配置信息。该博主表示,huawei全新的Mate 70系列首发会搭载新的芯片,芯片的性能差不多可以比肩5.5nm,还是值得期待的。同 联合国政府间气候变化专门委员会(IPCC)最新发布的评估报告显示,全球温升预计在2021年至2040年内达到1.5℃。报告指出,自IPCC第五次评估报告发布以来,全球减缓气候变化的政策和法律不断增多,但实施 。本文链接:丘成桐:AI为什么非“卷”数学不可?http://www.sushuapos.com/show-2-14824-0.html
声明:本网站为非营利性网站,本网页内容由互联网博主自发贡献,不代表本站观点,本站不承担任何法律责任。天上不会到馅饼,请大家谨防诈骗!若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。