来源层级: 高校级

南开与字节合作完成三维粘性挂谷猜想形式化验证 南开大学

南开大学讲席教授郭少明团队与字节跳动Seed合作,完成了三维粘性挂谷猜想的形式化验证,并在GitHub上发布成果。该工作涉及约180万行Lean代码,其中90%由Seed-Prover自动生成,实现了对现代数学重要成果的机器验证。形式化验证通过计算机逐逻辑推演核对证明,缩短了验证周期。此成果为未来处理更大规模数学证明任务提供了实践,并涉及多个前序数学工作的形式化。
高校级学科建设教育数字化科研管理通报简报

校长寄语新生:修身治学报国,走向时代深处 中山大学

中山大学校长唐洪武在2026年新生开学典礼上发表寄语,从校训出发,鼓励新生走向时代深处,回答好修身、治学、报国的时代命题。他强调修身是立身之本,治学是成才之基,报国是价值所向,希望新生在新时代背景下,将个人成长与国家发展紧密结合,努力成为担当民族复兴大任的时代新人。
高校级高等教育通报简报

电力物联网实训基地项目公开招标 广东水利电力职业技术学院

广东水利电力职业技术学院发布电力物联网应用实训基地项目招标公告,旨在采购相关设备与服务以建设实训基地,提升电力物联网应用领域的教学与实训能力。公告提供了招标项目的具体链接,供潜在投标人获取详细信息。该项目反映了学院在职业教育中加强产教融合、推进教育数字化的努力。
高校级产教融合教育数字化职业教育通知公告

导电绝热非织造布多功能化研究获重要进展 浙江师范大学

浙江师范大学童国秀教授团队在Advanced Functional Materials发表论文,针对电磁屏蔽非织造布功能单一、成本高、导电与热绝缘难以兼顾的问题,以商用非织造布为基材,通过层层浸渍-原位化学氧化聚合工艺制备了PPy涂层非织造布。该材料兼具柔性、透气性及电磁屏蔽、压力传感、电热转换和热绝缘等多种功能,实现了高导电与高效热绝缘的兼容,为导电与绝热协同集成提供了新策略。
高校级学科建设科研管理通报简报

2026级新生开学典礼暨开学第一课举行 常州工学院

2026年9月8日,常州工学院举行2026级新生开学典礼暨开学第一课。校党委书记汤正华以'答好青春四问 起笔人生新篇'为题授课,围绕时代之问、求学之问、同行之问、立身之问寄语新生。典礼上校领导为新生佩戴校徽,本科、研究生新生代表及教师、校友代表发言,老生朗诵诗歌,全体新生进行青春宣誓。
高校级高等教育通知公告

校领导调研汉学与中国学学院发展 北京语言大学

9月4日,校党委书记曲昭伟带队到汉学与中国学学院调研,听取学院在党建、学科建设、教学科研、人才培养及智库服务等方面的工作汇报。曲昭伟肯定学院成绩,并提出四点要求:提高政治站位、强化政治引领、聚焦双一流建设、统筹发展与安全。他强调学院应服务国家战略,推动中外文明交流互鉴,建设具有全球影响力的汉学与中国学研究高地。
高校级人才队伍学科建设高等教育通报简报

老兵宣讲进校园,红色故事点亮开学第一课 南开大学

天津市“老兵永远跟党走——老兵宣讲”主题报告会走进南开大学,6位老兵宣讲团成员以亲身经历讲述军人本色与红色故事,为南开学子带来“开学第一课”。报告会分“铭记、传承、奋进”三篇章,通过情景短剧串联,展现了老兵们的英勇事迹与奉献精神。南开大学师生代表约800人参加,现场反响热烈,学生表示将以老兵为榜样,传承爱国奋斗精神,走好新时代长征路。
高校级高等教育通报简报

省委巡视组进驻高校开展政治体检推动高质量发展 广东医科大学

省委第十一巡视组进驻广东医科大学,召开巡视工作动员会。巡视组组长杨日华强调巡视是全面从严治党的重要抓手,要求学校党委配合巡视,聚焦'四个落实'开展政治体检,推动高等教育高质量发展。学校党委书记卢景辉表示将全力支持巡视工作,抓好整改落实。巡视期间设立专门信访渠道,受理相关举报。
高校级高等教育通知公告