AI年代:指AI靠现成资料??u论 数学家能创造发现
发布 : 2025-12-22 来源 : 明报新闻网
 用微信扫描二维码,分享至好友和朋友圈 | 加关注
 明声网温哥华 微信公众号 |
【明报专讯】「怎样是重要的数学?就是没曾被人发现过。」莫毅明是著名数学家,他认为生成式人工智能(AI)的发展,对数学研究者而言已产生正面作用,可协助做??u论证明,但他不认为AI能取代数学家。他解释,「有?可循」、基于已有理论及资料作??u论,AI能得到答案,但「(如属)无中生有,或霎时间看出一个曙光的那种『发现』,我想我有生之年不会见到(AI做得到)」。
莫毅明专长多复变函数论、复微分几何与代数几何学,1980年代在美国取得博士,之后于美国及法国巴黎任大学教授,1994年起于香港大学任数学系讲座教授至今。莫历来多次获学术奖项,包括2022年凭「极小有理切线簇(VMRT)理论」及志村簇上的Ax-Schanuel猜想的证明,获「未来科学大奖」数学与计算机科学奖。
莫毅明称,数学属??u理最严谨的学问,证明过程繁复,而他从事的纯数学研究,要求是绝对正确,「不可以中间差少少、逻辑上有一个缺口」。AI发展下,他说目前已有工具可助数学家将??u理过程形式化(formalise),检讨当中有哪些缺口,又指AI有分析、解题、蒐罗资料的能力,透过人手输入指令,可得到与数学家交流的类近效果,他会视AI为助手或「训练自己的工具」。
称AI用记忆算力解题
人以「直观」应对局限
谈到AI未能取代数学家,他从AI与人的差异分析,指AI拥有大量记忆,再用大量算力分析问题;反之,人类记忆有限,在思考过程更重视「直观」,以应对局限,并从中实践真、善、美,并有发现及解决问题的能力。
所谓「直观」能力,莫毅明以已故国学大师及梵文专家季羡林文革时期撰写的《糖史》为例,研究内容谈中国发现蔗糖,再将漂白蔗糖方法传入印度,所以印度漂白糖的过程与中国有关。季羡林研究时在图书馆找出与中印交往相关书籍,将提及「糖」的内容逐一抽出慢慢研究。
蒐集研究资料经历艰辛
用机器难达季羡林成就
莫打趣道,在当今文献电子化时代,不需再逐一翻书找资料,如现今有一人与季羡林有相当学识,是否可重新做一个比这个好很多的文章或研究?他接?说:「我觉得未必。你一个人这么艰辛去找了那些资料,你对它重视的程度,和你那些机器(找出资料)的重视程度可能不同。」