在算力竞赛愈发激烈的当下,人工智能正逼近一堵“逻辑之墙”。模型越大、参数越多,却仍难摆脱幻觉与不确定性。AI究竟为什么要学数学?菲尔兹奖得主丘成桐院士在上海抛出了这一问题。
在第十届世界华人数学家大会特别夜话中,丘成桐院士回顾了计算机发展史:20世纪60年代,硬件一度被计算复杂度“卡死”,真正改变产业走向的并非算力提升,而是快速傅里叶变换(FFT)这一数学算法。“今天的AI也需要属于自己的FFT时刻。”他指出,AI学数学,不是为了算得更快,而是为了从概率走向逻辑,从经验走向确定。
在现场展示中,上海AI实验室、阿里通义、商汤、字节跳动等团队展示了最新进展。部分模型已具备长程推理、自我校验能力,能在推导中主动修正路径;也有模型在复杂计算中利用对称性完成化简,展现出接近数学直觉的判断。这些尝试表明,AI正从“会做题”迈向“能研究”。
活动现场还发布了“人类知识边界:全球数学征解”,以数学问题牵引模型能力突破,构建“数学—模型—应用”的创新生态。正如丘成桐所言,五十年前,数学改变了计算机工业;今天,数学或将再次决定人工智能的上限。在这场关乎认知边界的竞赛中,上海正从基础逻辑处落子。
在算力竞赛愈发激烈的当下,人工智能正逼近一堵“逻辑之墙”。模型越大、参数越多,却仍难摆脱幻觉与不确定性。AI究竟为什么要学数学?菲尔兹奖得主丘成桐院士在上海抛出了这一问题。
在第十届世界华人数学家大会特别夜话中,丘成桐院士回顾了计算机发展史:20世纪60年代,硬件一度被计算复杂度“卡死”,真正改变产业走向的并非算力提升,而是快速傅里叶变换(FFT)这一数学算法。“今天的AI也需要属于自己的FFT时刻。”他指出,AI学数学,不是为了算得更快,而是为了从概率走向逻辑,从经验走向确定。
在现场展示中,上海AI实验室、阿里通义、商汤、字节跳动等团队展示了最新进展。部分模型已具备长程推理、自我校验能力,能在推导中主动修正路径;也有模型在复杂计算中利用对称性完成化简,展现出接近数学直觉的判断。这些尝试表明,AI正从“会做题”迈向“能研究”。
活动现场还发布了“人类知识边界:全球数学征解”,以数学问题牵引模型能力突破,构建“数学—模型—应用”的创新生态。正如丘成桐所言,五十年前,数学改变了计算机工业;今天,数学或将再次决定人工智能的上限。在这场关乎认知边界的竞赛中,上海正从基础逻辑处落子。
3月18日,在2024年黑龙江农机产品展示交易会上,一部可智能播种,又可助力增产的电驱气吸播种机引发众人关注。这台高端智能电驱气吸播种机的价格与机械播种机价格相当,据悉,研发团队通过自主研发和 AI领域,一则重磅消息传来!最新消息,全球最知名的AI公司——OpenAI将在几个月内发布新版大型语言模型GPT-5,性能将有大幅跃升。目前,ChatGPT使用的是GPT-4大模型,去年3月份,正是这款热门聊天 据阿根廷布宜诺斯艾利斯经济新闻网2月19日报道,在人工智能(AI)迅速重新定义就业格局的今天,通常被称为“软”技能的人类技能成为最有韧性、最有价值的技能。这是阿尼什·拉曼和玛丽亚&mi 因流量突然剧增,3月21日,陆续有用户在社交平台上表示,月之暗面旗下大模型应用Kimi智能助手的APP和小程序均无法正常使用。截至记者发稿时,相关页面和功能已经恢复正常。Kimi突然爆火,在A 再打一局游戏就睡,再刷几个视频就睡,终于放下手机,关灯睡觉了……结果翻来覆去睡不着,半夜醒来再也睡不着,为什么明明睡着了,睡眠质量却不高?3月21日是世界睡眠日,最新发布的《2024中国 2024年2月,OpenAI公司推出了文生视频人工智能(AI)模型Sora。OpenAI展示了Sora利用少量简短文字提示即可创建逼真视频的能力,并提供了包括一位女士在闪烁着霓虹灯的东京街道漫步,以及一只狗在两个 。本文链接:丘成桐:AI为什么非“卷”数学不可?http://www.sushuapos.com/show-2-14824-0.html
声明:本网站为非营利性网站,本网页内容由互联网博主自发贡献,不代表本站观点,本站不承担任何法律责任。天上不会到馅饼,请大家谨防诈骗!若有侵权等问题请及时与本网联系,我们将在第一时间删除处理。