为了让同学们了解人工智能如何做几何证明，王晓茹先讲解了人类证明一个定理的过程。"一般来说， 我们首先要明确定理的基本假设，然后基于这些假设推导出一些中间结果，再基于这些结果往前推导， 直到推出要证明的结论。这一证明方式是通用的，只不过头脑聪明的同学会选择更有希望的方向去推 导。" 而计算机完全可以模仿这种技能，从最初的假设一点点得出结论。"它可能智商很低，没有任何技巧可 言，但是它的速度非常快。"王晓茹告诉同学们，基于此，人们提出了很多新方法和新思路。 "在之前的一次讲座中，有个同学问我什么时候能获图灵奖？我思考了一下，回答他'我还年轻，我会继 续努力'。现在我把这句话也送给大家。"课堂最后，王晓茹勉励同学们在人工智能的道路上不断钻研。 作为2025年弘扬科学家精神系列活动之一，本次活动由北京市科技教育中心（北京市科学技术协会党 校）在北京市科学技术协会的指导下联合北京市石景山区科学技术协会共同开展，北京市石景山区八宝 山街道办事处和北京市黄庄职业高中大力支持。未来，市科协党校将持续深化科学家精神宣传教育，引 导广大青少年走近科学家、理解科学事业，为培育具备科学素养与家国情怀的时代新人，为服务北京国 际科技创 ...