网易首页 > 网易号 > 正文 申请入驻

著名数学家、基础科学奖章获得者张寿武谈AI做数学证明:深度思考能力目前还与人类相差甚远

0
分享至

8月9日,2026国际基础科学大会在北京雁栖湖国际会展中心开幕。9位基础科学奖章(ICBS Medal)得主出席开幕式并接受表彰,其中包括安德鲁・怀尔斯数学奖章获得者、著名数学家、普林斯顿大学教授张寿武。在媒体见面会上,张寿武谈了他对AI的看法。


▲媒体见面会现场,张寿武(左三) 红星新闻记者 胡伊文 摄

这两年,尤其是今年以来,AI在数学定理证明、理论物理的数值模拟等基础科学领域持续取得突破。张寿武介绍,数学家已经发现AI可以解决一些比较简单、结构性较差的问题,如图论、组合,而且比人类的思考速度快。甚至前段时间,AI给代数几何中的重要猜想雅可比猜想举出了反例,这非常了不起。但AI给出的答案就一两页纸,即其深度思考的能力目前为止与人类还相差很远。

不过,张寿武认为,这并不等于未来几年内AI赶不上来。他去年认为AI跟人相差很远,现在发现不是:其实AI很聪明,只是没有大方向。告诉它怎么做的话,它比人快很多。

张寿武还用量子计算的例子安抚业内的焦虑情绪。“我1998年参加国际数学家大会的时候,听Peter Shor(量子计算里程碑式科学家)讲量子计算,当时觉得天要塌下来了,量子计算做出来之后,密码学就要改写了。但现在二十多年后,发现还没改。有它做不出来的,有它做出来之后错误率非常高没法用的。所以大家也不用那么担心,我相信AI大概到某个地方也会有瓶颈,不会一直这么下去。”

但面对主持人说“明年再问同样的问题”,张寿武说,到时候答案可能就不一样了。

说到他自己,张寿武表示,他不敢跟AI交流。“跟它交流之后它肯定比我跑得还快,所以我自己琢磨,留点‘自留地’,交给它我就控制不了了。而且我也不知道它会不会告诉别人。我还好,已经有终身教职了,但是对年轻人来说这很重要,他们还要出文章。”

张寿武最担心AI的安全问题。他认为,AI的出现就像历史上汽车和飞机的发明一样,它们非常强大,但是也很危险。人不坐汽车或飞机是不可能的,但是要学会在安全的情况下使用。

红星新闻记者 胡伊文 北京报道

编辑 杨珒 审核 任志江

特别声明:以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布,本平台仅提供信息存储服务。

Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.

相关推荐
热点推荐
69岁赵本山现状:三亚养老、每天2包烟、8两酒,与杨少华如出一辙

69岁赵本山现状:三亚养老、每天2包烟、8两酒,与杨少华如出一辙

李橑在北漂
2026-07-27 19:08:39
给千万企退工人一个公道:年年调资不是福利,是缴费换来的权益

给千万企退工人一个公道:年年调资不是福利,是缴费换来的权益

你在偷看谁
2026-08-12 20:02:35
北大化学才女李天乐,潜伏在顶级药企工作十年,她利用职务之便领取铊,将清华丈夫一点点“熬”死在病房

北大化学才女李天乐,潜伏在顶级药企工作十年,她利用职务之便领取铊,将清华丈夫一点点“熬”死在病房

人生录
2026-07-30 00:05:08
越扒越有!古柯再曝刘晓庆猛料,庆奶发声,两人私密事仅冰山一角

越扒越有!古柯再曝刘晓庆猛料,庆奶发声,两人私密事仅冰山一角

草莓解说体育
2026-08-13 00:49:49
中企拆完设备刚走,印尼矿工烧了国企大楼,这回玩砸了

中企拆完设备刚走,印尼矿工烧了国企大楼,这回玩砸了

比利
2026-08-12 12:55:27
朝鲜导弹顶到基辅鼻子底下,北约却连个屁都不敢放!这世界怎么了

朝鲜导弹顶到基辅鼻子底下,北约却连个屁都不敢放!这世界怎么了

浯江孤舟
2026-08-12 11:15:07
“王水牛”丑闻后续,不仅白嫖还约过几百人,致多人怀孕 复旦回应

“王水牛”丑闻后续,不仅白嫖还约过几百人,致多人怀孕 复旦回应

文刀贰
2026-08-12 11:55:27
年纪大了,行房要坚持这4点,尤其是最后1个,至关重要!

年纪大了,行房要坚持这4点,尤其是最后1个,至关重要!

皓皓情感说
2026-08-13 08:01:38
俄罗斯本土,遭遇“最致命袭击”

俄罗斯本土,遭遇“最致命袭击”

中国新闻周刊
2026-08-12 18:53:07
又一个独闯南太行,失踪了3天!上次搜救程某圆的费用由谁承担?

又一个独闯南太行,失踪了3天!上次搜救程某圆的费用由谁承担?

起喜电影
2026-08-13 01:52:38
浙江一家公司,收到美国政府2.62亿元关税退税

浙江一家公司,收到美国政府2.62亿元关税退税

每日经济新闻
2026-08-12 16:54:11
曾向中方开罚单!如今遭断奶,急撤9亿烂账,邻国总理求中国保命

曾向中方开罚单!如今遭断奶,急撤9亿烂账,邻国总理求中国保命

琴音缭绕回
2026-08-12 16:16:22
中国美女泰国失联细节曝光!主动送死被骗园区,掏空家底恐也难救人

中国美女泰国失联细节曝光!主动送死被骗园区,掏空家底恐也难救人

小鋭有话说
2026-08-12 13:55:34
NBA|威少宣布退役!生涯场均20.9分6.9板8助

NBA|威少宣布退役!生涯场均20.9分6.9板8助

鲁中晨报
2026-08-13 07:30:07
发生性关系,是女人吃亏了吗?

发生性关系,是女人吃亏了吗?

那年秋天
2026-07-12 11:49:12
被泰国黑马逆转!50岁奥沙利文沮丧:太愚蠢,已低迷4年,最爱中国

被泰国黑马逆转!50岁奥沙利文沮丧:太愚蠢,已低迷4年,最爱中国

风过乡
2026-08-13 08:18:25
直播间买的“美的”空调耗电多4倍;宣称8小时耗电仅2.4度左右,实测却是耗电约12度

直播间买的“美的”空调耗电多4倍;宣称8小时耗电仅2.4度左右,实测却是耗电约12度

山西经济日报
2026-08-11 16:48:37
40岁亿万富豪全裸坠亡,币圈拉响警报

40岁亿万富豪全裸坠亡,币圈拉响警报

鸣金网
2026-08-13 09:16:09
得不到奖就黑脸、摸王骁手强行肢体接触,没分寸感的她别去百花了

得不到奖就黑脸、摸王骁手强行肢体接触,没分寸感的她别去百花了

青梅侃史啊
2026-08-13 07:05:07
长鑫拒绝苹果背后:中国京东方等厂商多次被耍,用来跟韩国压价

长鑫拒绝苹果背后:中国京东方等厂商多次被耍,用来跟韩国压价

丁丁鲤史纪
2026-08-12 13:04:08
2026-08-13 10:19:00
红星新闻 incentive-icons
红星新闻
成都传媒集团旗下的新媒体平台
212609文章数 1345931关注度
往期回顾 全部

科技要闻

DeepSeek V4 Pro更新:性价比炸裂 仍需打磨

头条要闻

男子遭"炸街"折磨刺死19岁小伙获死刑 被害人父亲发声

头条要闻

男子遭"炸街"折磨刺死19岁小伙获死刑 被害人父亲发声

体育要闻

杜兰特,所谓的“联盟小王”

娱乐要闻

郭德纲魔改红歌被立案!

财经要闻

韩国可能迎来失去的三十年

汽车要闻

全系600km续航/空间表现出色 奇瑞风云T7预售10.99万起

态度原创

家居
本地
旅游
手机
数码

家居要闻

2026建博会(广州) 公装联探展交流活动

本地新闻

黄州一夜,苏轼写给普通人的月光

旅游要闻

贵州大小井景区“拦路收费”处置进展:将对社会车辆开放通行

手机要闻

代码显示苹果Wallet将重构线下iPhone换购流程:估价90天有效

数码要闻

联想来酷Air 14 2026新增酷睿3-304/5-320处理器版本,3999元起

无障碍浏览 进入关怀版