11月13日下午，我校邀请华东师范大学软件工程学院教授、博士生导师杨争峰带来一堂主题为“人工智能与数学机械化“的讲座，讲解人工智能与数学机械化的前世今生以及相关应用。
报告人：杨争峰
首先，杨教授围绕人工智能的诞生与发展展开讲解。杨教授引入了1956年达特茅斯夏季研讨会，该会标志着人工智能的诞生。自此，人工智能经历了起步、初期发展、寒冬、复兴和蓬勃发展期五个阶段。杨教授深入浅出地讲解了每个时代的里程碑，并着重介绍当下人工智能蓬勃发展期阶段的产物，也就是近年备受关注的大语言模型。通过对多个国内及国外模型的功能和特性的探讨，学子们在互动中感悟到人工智能领域昂扬的发展活力。
随后，杨教授进行第二个模块：“数学机械化“这一概念的起源和应用，同时带来了这一技术之父：中国数学家吴文俊院士的精彩故事。
同学们了解到，吴文俊院士在拓扑学和数学机械化领域做出了重大贡献。尽管经历坎坷，吴文俊院士始终坚持对数学工作和国家的热爱，将自己的职业与祖国的发展需要相结合，开创了数学机械化领域后，又撰写了数篇有关中国数学史的研究。
紧接着，杨教授带领学生们认识了了AI技术在数学领域的前沿应用，并对人工智能和数学机械化的未来做出展望。
杨教授提到，AlphaGeometry和AlphaProof等人工智能与数学相结合的技术，已经成功证明了困扰数学家们几百年的数学难题与猜想，翻开了人类数学史的灿烂新篇章。这些成就无不展示了AI在解决数学问题和自动证明方面的巨大潜力。杨教授总结：“AI有望成为数学研究的新方向，包括生成数学猜想和大规模数学探索。
讲座最后，杨争峰教授的演讲强调了人工智能在多个领域的应用和潜力，同时鼓励同学们将自己的梦想和祖国的发展紧密结合，把科研的未来掌握在自己手中，让中国的人工智能研究在世界舞台上大放异彩。
学子感悟
——高一（3）朱笑冉
——高一（3）严靖雯
供稿：朱笑冉
编辑：吴宇妍
审核：李 梅
华东师范大学第二附属中学是教育部、上海市教委以及华东师大的直属高中。2002年学校整体东迁到浦东张江高科技园区。2020年4月，华东师范大学与普陀区人民政府签署了合作举办华东师范大学第二附属中学普陀校区协议，开启区校合作新起点，自此“华二”重回普陀。校区选址于长征板块苏州河畔，云岭西路北侧，真北路以西。建筑面积9.6万平方米，投资约12.76亿元。临时校址位于普陀区铜川路1189号，普陀真如核心地带，已于2020年9月正式开学。
华东师大二附中普陀校区属华东师大二附中的组成部分，校长由二附中校长兼任，秉承二附中“卓越教育”理念与传统，管理团队一体化、育人模式相同、教育教学同步、优质资源共享，共同打造高质量示范性学校。
联 系 方 式
地址：上海市普陀区铜川路1189号
邮编：200333
邮箱：hept@hsefz.cn
电话：52998720
扫描下方二维码关注我们
其它师生自媒体：
