随着人工智能技术的飞速发展，人工智能的应用正不断扩展，推动了计算机视觉、自然语言处理等技术的显著进步。数学机械化是由我国著名数学家吴文俊先生在20世纪70年代末创立的一个研究领域，致力于将脑力劳动机械化应用于数学研究，走出了完全是中国人自己开拓的数学道路，在国际上产生了深远影响。本报告围绕“人工智能与数学机械化”展开，首先介绍人工智能的最新进展，包括计算机视觉、大语言模型以及GPT等AI的应用，展示其在多个领域的突破性发展；随后阐述吴文俊院士提出的初等几何定理机器证明的“吴方法”；最后探讨基于人工智能的数学研究，展望AI在帮助数学家解决复杂问题中的潜力，以及未来在数学领域中的广泛应用前景。
讲座时间：2024年11月13日
15:50-16:50
讲座地点：华师大二附中普陀校区
报告厅
讲座对象：高一学生
杨争峰，现任华东师范大学软件工程学院教授、博士生导师。2006年博士毕业于中国科学院数学与系统科学研究院。2006-2008年在美国北卡州立大学从事博士后研究工作。2008年5月起在华东师范大学工作。曾多次应美国杜克大学、加拿大多伦多大学、奥地利科学院等科研机构邀请进行学术访问与交流。主要研究方向包括数学机械化、人工智能数学、软件工程等。迄今为止在CAV、FM、NeurIPS、CVPR等国际会议和ACM TECS、IEEE TCAD、JSC等国际期刊上发表了80余篇论文。近年来主持科技部重点研发课题、国防科工委创新项目、国家自然科学基金等多个项目。已培养毕业博士、硕士研究生三十余名，指导的研究生曾获得上海市优秀毕业生、华东师范大学优秀毕业生以及优秀硕士学位论文等多个奖项。
— END —
供稿：教务处
编辑：吴宇妍
审核：李 梅
华东师范大学第二附属中学是教育部、上海市教委以及华东师大的直属高中。2002年学校整体东迁到浦东张江高科技园区。2020年4月，华东师范大学与普陀区人民政府签署了合作举办华东师范大学第二附属中学普陀校区协议，开启区校合作新起点，自此“华二”重回普陀。校区选址于长征板块苏州河畔，云岭西路北侧，真北路以西。建筑面积9.6万平方米，投资约12.76亿元。临时校址位于普陀区铜川路1189号，普陀真如核心地带，已于2020年9月正式开学。
华东师大二附中普陀校区属华东师大二附中的组成部分，校长由二附中校长兼任，秉承二附中“卓越教育”理念与传统，管理团队一体化、育人模式相同、教育教学同步、优质资源共享，共同打造高质量示范性学校。
联 系 方 式
地址：上海市普陀区铜川路1189号
邮编：200333
邮箱：hept@hsefz.cn
电话：52998720
扫描下方二维码关注我们
其它师生自媒体：
