在算力竞赛愈发激烈的当下,人工智能正逼近一堵“逻辑之墙”。模型越大、参数越多,却仍难摆脱幻觉与不确定性。AI究竟为什么要学数学?菲尔兹奖得主丘成桐院士在上海抛出了这一问题。
在第十届世界华人数学家大会特别夜话中,丘成桐院士回顾了计算机发展史:20世纪60年代,硬件一度被计算复杂度“卡死”,真正改变产业走向的并非算力提升,而是快速傅里叶变换(FFT)这一数学算法。“今天的AI也需要属于自己的FFT时刻。”他指出,AI学数学,不是为了算得更快,而是为了从概率走向逻辑,从经验走向确定。
在现场展示中,上海AI实验室、阿里通义、商汤、字节跳动等团队展示了最新进展。部分模型已具备长程推理、自我校验能力,能在推导中主动修正路径;也有模型在复杂计算中利用对称性完成化简,展现出接近数学直觉的判断。这些尝试表明,AI正从“会做题”迈向“能研究”。
活动现场还发布了“人类知识边界:全球数学征解”,以数学问题牵引模型能力突破,构建“数学—模型—应用”的创新生态。正如丘成桐所言,五十年前,数学改变了计算机工业;今天,数学或将再次决定人工智能的上限。在这场关乎认知边界的竞赛中,上海正从基础逻辑处落子。
在算力竞赛愈发激烈的当下,人工智能正逼近一堵“逻辑之墙”。模型越大、参数越多,却仍难摆脱幻觉与不确定性。AI究竟为什么要学数学?菲尔兹奖得主丘成桐院士在上海抛出了这一问题。
在第十届世界华人数学家大会特别夜话中,丘成桐院士回顾了计算机发展史:20世纪60年代,硬件一度被计算复杂度“卡死”,真正改变产业走向的并非算力提升,而是快速傅里叶变换(FFT)这一数学算法。“今天的AI也需要属于自己的FFT时刻。”他指出,AI学数学,不是为了算得更快,而是为了从概率走向逻辑,从经验走向确定。
在现场展示中,上海AI实验室、阿里通义、商汤、字节跳动等团队展示了最新进展。部分模型已具备长程推理、自我校验能力,能在推导中主动修正路径;也有模型在复杂计算中利用对称性完成化简,展现出接近数学直觉的判断。这些尝试表明,AI正从“会做题”迈向“能研究”。
活动现场还发布了“人类知识边界:全球数学征解”,以数学问题牵引模型能力突破,构建“数学—模型—应用”的创新生态。正如丘成桐所言,五十年前,数学改变了计算机工业;今天,数学或将再次决定人工智能的上限。在这场关乎认知边界的竞赛中,上海正从基础逻辑处落子。
监管AI,欧盟出手,美国掉队? 上个世纪,科幻小说家艾萨克・阿西莫夫提出了“机器人三定律”,带来了对“机器人”与“规则”的美好幻想。 如今,伴随着ChatGPT、Sora的爆火,人工智能(AI)领域的激烈竞争,对该领域的监管 记者3月21日从安徽农业大学获悉,该校生命科学学院韩毅教授课题组与国内外专家合作,发现了植物避盐性的关键基因。该研究对于提高植物耐盐性,帮助盐碱地下的农作物稳产具有重要理论指导意义。相 据英国《自然》周刊网站3月19日报道,研究人员首次利用生成式人工智能(AI)制造出全新抗体。报道称,本周生物学预印本资料库中的一份预印本报告的原理验证研究,提高了将“AI指导的蛋白质设计引入治 联合国政府间气候变化专门委员会(IPCC)最新发布的评估报告显示,全球温升预计在2021年至2040年内达到1.5℃。报告指出,自IPCC第五次评估报告发布以来,全球减缓气候变化的政策和法律不断增多,但实施 “人工智能作为数字新基建重点建设方向,前景广阔,大有作为。今年的政府工作报告更首次提出开展‘人工智能+’行动,无疑将为人工智能技术在国内各行各业的广泛应用开启新篇章。”3月22 美国佐治亚理工学院机械工程师开发了一种控制机器人外骨骼的通用方法。无需专门训练、特别校准,对复杂算法进行调整后,用户穿上外骨骼就可以直接行走。研究成果3月20日发表在《科学·机 。本文链接:丘成桐:AI为什么非“卷”数学不可?http://www.sushuapos.com/show-2-14824-0.html
声明:本网站为非营利性网站,本网页内容由互联网博主自发贡献,不代表本站观点,本站不承担任何法律责任。天上不会到馅饼,请大家谨防诈骗!若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。