在算力竞赛愈发激烈的当下,人工智能正逼近一堵“逻辑之墙”。模型越大、参数越多,却仍难摆脱幻觉与不确定性。AI究竟为什么要学数学?菲尔兹奖得主丘成桐院士在上海抛出了这一问题。
在第十届世界华人数学家大会特别夜话中,丘成桐院士回顾了计算机发展史:20世纪60年代,硬件一度被计算复杂度“卡死”,真正改变产业走向的并非算力提升,而是快速傅里叶变换(FFT)这一数学算法。“今天的AI也需要属于自己的FFT时刻。”他指出,AI学数学,不是为了算得更快,而是为了从概率走向逻辑,从经验走向确定。
在现场展示中,上海AI实验室、阿里通义、商汤、字节跳动等团队展示了最新进展。部分模型已具备长程推理、自我校验能力,能在推导中主动修正路径;也有模型在复杂计算中利用对称性完成化简,展现出接近数学直觉的判断。这些尝试表明,AI正从“会做题”迈向“能研究”。
活动现场还发布了“人类知识边界:全球数学征解”,以数学问题牵引模型能力突破,构建“数学—模型—应用”的创新生态。正如丘成桐所言,五十年前,数学改变了计算机工业;今天,数学或将再次决定人工智能的上限。在这场关乎认知边界的竞赛中,上海正从基础逻辑处落子。
在算力竞赛愈发激烈的当下,人工智能正逼近一堵“逻辑之墙”。模型越大、参数越多,却仍难摆脱幻觉与不确定性。AI究竟为什么要学数学?菲尔兹奖得主丘成桐院士在上海抛出了这一问题。
在第十届世界华人数学家大会特别夜话中,丘成桐院士回顾了计算机发展史:20世纪60年代,硬件一度被计算复杂度“卡死”,真正改变产业走向的并非算力提升,而是快速傅里叶变换(FFT)这一数学算法。“今天的AI也需要属于自己的FFT时刻。”他指出,AI学数学,不是为了算得更快,而是为了从概率走向逻辑,从经验走向确定。
在现场展示中,上海AI实验室、阿里通义、商汤、字节跳动等团队展示了最新进展。部分模型已具备长程推理、自我校验能力,能在推导中主动修正路径;也有模型在复杂计算中利用对称性完成化简,展现出接近数学直觉的判断。这些尝试表明,AI正从“会做题”迈向“能研究”。
活动现场还发布了“人类知识边界:全球数学征解”,以数学问题牵引模型能力突破,构建“数学—模型—应用”的创新生态。正如丘成桐所言,五十年前,数学改变了计算机工业;今天,数学或将再次决定人工智能的上限。在这场关乎认知边界的竞赛中,上海正从基础逻辑处落子。
据法新社3月18日报道,周一,美国半导体巨头英伟达公司发布了其最新型号的电子芯片,这些芯片旨在支持人工智能(AI)革命,英伟达正努力巩固其作为人工智能领域关键供应商的地位。“我们需要更加强大的 记者3月19日从天津大学获悉,该校环境学院刘庆岭教授团队与吉林大学于吉红院士团队以及天津工业大学梅东海教授团队合作,证明了无有机模板剂合成的具有OFF和ERI拓扑共生结构的Cu-T催化剂具有优 记者3月21日从安徽农业大学获悉,该校生命科学学院韩毅教授课题组与国内外专家合作,发现了植物避盐性的关键基因。该研究对于提高植物耐盐性,帮助盐碱地下的农作物稳产具有重要理论指导意义。相 xiaomi在3月21日正式发布了首款“潮流旗舰”定位的产品——xiaomiCivi 4 Pro。该机定位相较以前大幅升级,尤其是性能、影像、AI方面明显提高,这背后的大功臣之一就是第三代骁龙8s。xiaom 3月23日消息,据最新爆料,vivo X100s Pro已经获得3C认证,估计 会在5月份前后发布。该机可以看做是vivo X100 Pro的小迭代机型,属于半代升级款,与去年X90s类似。新机从此前的天玑9300升级为天玑9300+,处 记者3月22日获悉,中山大学、深圳华大生命科学研究院与复旦大学的研究团队合作,揭示了多种蚊虫在不同生境下病毒的多样性、传播分布的影响因素及地理谱系特征,在多维尺度上为研究蚊虫病毒组提供 。本文链接:丘成桐:AI为什么非“卷”数学不可?http://www.sushuapos.com/show-2-14824-0.html
声明:本网站为非营利性网站,本网页内容由互联网博主自发贡献,不代表本站观点,本站不承担任何法律责任。天上不会到馅饼,请大家谨防诈骗!若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。