AI如何进行几何推理？北邮专家带学生探索人工智能的本质

新京报讯（记者徐彦琳）“这是人工智能最好的时代，也是人工智能最有争议的时代。世界主要国家都将人工智能作为目前最大的发展战略，力图在新一轮国际竞争中掌握主导权。”近日，北京邮电大学计算机学院副教授、中国人工智能学会智能服务专业委员会副秘书长王晓茹来到北京市黄庄职业高中，为同学们带来一场关于人工智能的讲座，展望人工智能未来发展，并以科学家精神引领同学们的未来之路。

北京邮电大学计算机学院副教授王晓茹来到北京市黄庄职业高中，带来一场关于人工智能的讲座。学校供图

“大家看看，这三首诗哪首是人类创作的？”课堂上，王晓茹向同学们展示了三首诗。同学们看着遣词精美、语义流畅的几首诗犯了难，给出了不同答案。“其实，这三首诗里只有第三首是曹雪芹在《红楼梦》里所写的，其他两首都是人工智能大模型写的。大模型是不是很厉害？”接着，王晓茹通过一段短片，向同学们介绍了人工智能通过拼凑、统计模型等不同方法写诗的原理。

“人工智能究竟是什么？为什么中国在《新一代人工智能发展规划》中提出要到2030年成为世界主要的人工智能创新中心？”王晓茹告诉同学们，现在有一个说法，人工智能其实是一次新的工业革命。在以往的工业革命中，生产力比较发达的国家，由于生产力成本升高，会把一部分产能转移到其他生产力欠发达的国家。但是人工智能革命则不然，因为人工智能带来的是更低廉的生产成本。到目前为止，世界研究人工智能的中心变成了两端，一个是美国，一个是中国。

除了讲解人工智能的本质，王晓茹还介绍了人工智能的发展史上几个代表性的人物。英国的数学家和逻辑学家艾伦·图灵提出了“图灵测试”，第一次为如何评判一台机器是否能够表现出智能行为提供了一个可操作的标准；美国语言学家诺姆·乔姆斯基的转换-生成语法理论，则为计算机理解自然语言的结构提供了重要的理论基础，对早期的人工智能研究产生了深远影响；中国科学家吴文俊把几何推理、数学证明引入到人工智能当中。“为什么大模型现在可以帮你做数学题，原因就在这儿。”

为了让同学们了解人工智能如何做几何证明，王晓茹先讲解了人类证明一个定理的过程。“一般来说，我们首先要明确定理的基本假设，然后基于这些假设推导出一些中间结果，再基于这些结果往前推导，直到推出要证明的结论。这一证明方式是通用的，只不过头脑聪明的同学会选择更有希望的方向去推导。”

而计算机完全可以模仿这种技能，从最初的假设一点点得出结论。“它可能智商很低，没有任何技巧可言，但是它的速度非常快。”王晓茹告诉同学们，基于此，人们提出了很多新方法和新思路。

“在之前的一次讲座中，有个同学问我什么时候能获图灵奖？我思考了一下，回答他‘我还年轻，我会继续努力’。现在我把这句话也送给大家。”课堂最后，王晓茹勉励同学们在人工智能的道路上不断钻研。

作为2025年弘扬科学家精神系列活动之一，本次活动由北京市科技教育中心（北京市科学技术协会党校）在北京市科学技术协会的指导下联合北京市石景山区科学技术协会共同开展，北京市石景山区八宝山街道办事处和北京市黄庄职业高中大力支持。未来，市科协党校将持续深化科学家精神宣传教育，引导广大青少年走近科学家、理解科学事业，为培育具备科学素养与家国情怀的时代新人，为服务北京国际科技创新中心建设注入源源不断的精神动力。

编辑 缪晨霞

校对 杨利