[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"site-home-live-entry-setting":3,"site-header-contests":8,"news-detail-news-62":49,"site-header-camps":93},{"enabled":4,"title":5,"statusText":5,"buttonText":5,"campSlug":5,"stage":6,"classroomId":7,"hasClassroom":4},false,"",0,null,{"total":9,"list":10,"pageNum":44,"pageSize":45,"size":9,"startRow":44,"endRow":9,"pages":44,"prePage":6,"nextPage":6,"isFirstPage":46,"isLastPage":46,"hasPreviousPage":4,"hasNextPage":4,"navigatePages":47,"navigatepageNums":48,"navigateFirstPage":44,"navigateLastPage":44},3,[11,25,35],{"slug":12,"title":13,"logo":7,"liveUrl":14,"prize":15,"sponsor":16,"description":17,"organizer":18,"startTime":19,"endTime":20,"registrationDeadline":21,"status":22,"dashboardVisibility":23,"createdAt":24},"spring2026","2026春季启元人工智能大赛","https:\u002F\u002Fwww.bilibili.com\u002Fblackboard\u002Flive\u002Flive-activity-player.html?cid=1822703816&quality=0","200,000","麒麟软件有限公司","“2026春季启元人工智能大赛”是由启元实验室主办的面向全国人工智能领域开发者、科研人员及高校学生的权威赛事。大赛旨在促进与培养具备工程实践能力和创新能力的优秀人工智能领域开发者、推广国产软硬件技术与生态、助力国家人工智能产业高质量发展。\n各参赛选手需在规定的比赛周期内，依据赛事规则选定赛题并完成相应挑战，优胜者将共同角逐总额20万元的赛事奖金池，并且还将有机会获得实习和知名企业优质岗位内推资格。","启元实验室","2026-04-19 16:00:00","2026-07-13 16:00:00","2026-06-16 16:00:00","ongoing","private","2026-04-16 08:00:00",{"slug":26,"title":27,"logo":7,"liveUrl":14,"prize":28,"sponsor":7,"description":29,"organizer":18,"startTime":30,"endTime":31,"registrationDeadline":32,"status":33,"dashboardVisibility":23,"createdAt":34},"autumn2025","2025秋季启元人工智能大赛","150,000","“2025秋季启元人工智能大赛”是由启元实验室主办的面向全国人工智能领域开发者、科研人员及高校学生的权威赛事。大赛旨在促进与培养具备工程实践能力和创新能力的优秀人工智能领域开发者、推广国产软硬件技术与生态、助力国家人工智能产业高质量发展。","2025-11-08 08:00:00","2026-01-13 08:00:00","2025-12-30 08:00:00","ended","2025-11-03 08:00:00",{"slug":36,"title":37,"logo":7,"liveUrl":14,"prize":38,"sponsor":7,"description":39,"organizer":18,"startTime":40,"endTime":41,"registrationDeadline":42,"status":33,"dashboardVisibility":23,"createdAt":43},"summer2025","启元人工智能大赛(系统方向)","80,000","启元人工智能大赛由启元实验室主办，其中系统赛道基于启元实验室九源软件栈的相关开源项目，通过拉动开源社区力量，一方面促进国产智能计算生态的发展，另一方面也为人工智能系统方向的学生及从业者提供一个实践平台。","2025-07-08 08:00:00","2025-08-25 08:00:00","2025-07-22 08:00:00","2025-06-22 08:00:00",1,5,true,8,[44],{"newsDetail":50,"processedData":72},{"publishTime":51,"img":52,"keywords":53,"treeType":44,"description":54,"showStatus":44,"updateTime":55,"type":44,"title":56,"content":57,"nextArticle":58,"createTime":55,"sortOrder":63,"canonicalPath":64,"id":65,"contentType":66,"prevArticle":67},"2026-08-10 08:00:00","https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fimages\u002Fportal_news\u002Fnews_62_fm.jpg?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=%2F%2BNVd2KmJN74R6GLFQPIQ9aFyIU%3D","形式化验证,并发程序,程序验证,并行编程,软件安全","8 月 10 日 20 点直播，清华贺飞副教授分享并发程序形式化验证技术，剖析行业落地难点，讲解该技术在程序性能、并发安全领域的拓展应用。","2026-10-22 20:38:11","InfiniTensor 训练营大咖课预告｜清华大学博士生导师贺飞老师《并发程序形式化验证：方法、挑战与能力扩展》","在 AI 系统与高性能计算飞速发展的今天，**“并发”** 已成为现代软件系统的核心特征。并发机制能够提升系统性能与资源利用效率，也带来共享访问冲突与弱内存一致性等问题，使程序更难构建且更易出错。\r\n\r\n- 如何让并发程序既快又稳？\r\n- 形式化验证如何从“理论”走向“工程落地”？\r\n\r\n**今晚（8月10日）20:00**， 2026 夏季 InfiniTensor 训练营特邀**清华大学长聘副教授、博士生导师贺飞老师**，带来《并发程序形式化验证：方法、挑战与能力扩展》专题分享，分享相关技术进展与工程实践思考。\r\n\r\n\r\n![](https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fimages\u002Fportal_news\u002Fnews_62_zw01.jpg?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=K7RWMlHf%2BZB7b98gL1DnFs4%2B%2F9g%3D)\r\n\r\n\r\n\r\n### 讲师介绍\r\n\r\n\u003Cdiv align=\"center\">\r\n  \u003Cimg src=\"https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fimages\u002Fportal_news\u002Fnews_62_zw02.jpg?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=JI5eC0kMXUaVZ%2FQVfeHTdpJpmkU%3D\" alt=\"\" width=\"50%\">\r\n\u003C\u002Fdiv>\r\n\r\n**贺飞 | 清华大学长聘副教授，博士生导师**\r\n\r\n主要从事程序验证、模型检验和自动推理的研究。\r\n\r\n- 开发的程序验证工具曾**四次斩获国际软件验证大赛并发验证赛道冠军**。\r\n- 在形式化方法、程序语言和软件工程重要国际会议和期刊上发表论文 **100余篇**。\r\n- 入选国家高层次青年人才计划，获“中创软件人才奖”。\r\n- 曾获并行编程顶会 **PPoPP 2022 最佳论文奖**、软件工程顶会 **ICSE 2026 & ASE 2018 杰出论文奖**、形式化方法会议 **SETTA 2022 最佳论文奖**等。\r\n\r\n### 课程亮点\r\n在本次大咖课中，贺飞老师将结合前沿研究与工程实践，围绕并发程序形式化验证展开分享：\r\n\r\n1️⃣ 梳理并发程序形式化验证的关键技术；\r\n\r\n2️⃣ 剖析并发程序形式化验证面临的主要挑战；\r\n\r\n3️⃣ 探讨程序形式化验证在**性能优化**与**语言级并发安全增强**方面的扩展作用。\r\n\r\n### 课程直播信息\r\n#### 📅直播时间：**8 月 10 日（周一） 20:00**\r\n\r\n#### 🖥️参与方式：\r\nInfiniTensor 官网： https:\u002F\u002Fwww.infinitensor.com\r\n\r\nB 站直播： InfiniTensor 官方直播间\r\n\r\n视频号直播： InfiniTensor 视频号\r\n\r\n#### ⬇️扫描下方二维码加入训练营官方社群\r\n\r\n\u003Cdiv align=\"center\">\r\n  \u003Cimg src=\"https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fimages\u002FKnowledge_Base\u002Fqun_1072.jpg?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=ASGEuiLcmivGgPKHC8LwWrx5f90%3D\" alt=\"\" width=\"50%\">\r\n\u003C\u002Fdiv>\r\n\r\n>欢迎参与本次大咖课，与贺飞老师一起了解并发程序形式化验证的前沿技术与实践探索！\r\n\r\n### 关注与交流\r\n![](https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fimages\u002Fportal_news\u002Fnews_ewm02.jpg?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=xN3XulJPAqsugp4tgV1ydXjpjK0%3D)",{"publishTime":59,"createTime":55,"canonicalPath":60,"id":61,"title":62},"2026-08-05 08:00:00","\u002Fnews\u002Fnews-61","news-61","多家媒体聚焦：九源智能计算系统生态联合体持续深化产学研融合，探索国产智能计算生态建设新路径",12,"\u002Fnews\u002Fnews-62","news-62","markdown",{"publishTime":68,"createTime":55,"canonicalPath":69,"id":70,"title":71},"2026-08-11 08:00:00","\u002Fnews\u002Fnews-63","news-63","InfiniTensor 训练营大咖课预告 | 国防科技大学计算机学院研究员余杰《人工智能时代操作系统的机遇与挑战》",{"htmlContent":73,"headings":74},"\u003Cp>在 AI 系统与高性能计算飞速发展的今天，\u003Cstrong>“并发”\u003C\u002Fstrong> 已成为现代软件系统的核心特征。并发机制能够提升系统性能与资源利用效率，也带来共享访问冲突与弱内存一致性等问题，使程序更难构建且更易出错。\u003C\u002Fp>\n\u003Cul>\n\u003Cli>如何让并发程序既快又稳？\u003C\u002Fli>\n\u003Cli>形式化验证如何从“理论”走向“工程落地”？\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Cp>\u003Cstrong>今晚（8月10日）20:00\u003C\u002Fstrong>， 2026 夏季 InfiniTensor 训练营特邀\u003Cstrong>清华大学长聘副教授、博士生导师贺飞老师\u003C\u002Fstrong>，带来《并发程序形式化验证：方法、挑战与能力扩展》专题分享，分享相关技术进展与工程实践思考。\u003C\u002Fp>\n\u003Cp>\u003Cimg src=\"https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fimages\u002Fportal_news\u002Fnews_62_zw01.jpg?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=K7RWMlHf%2BZB7b98gL1DnFs4%2B%2F9g%3D\" alt=\"\">\u003C\u002Fp>\n\u003Ch3 id=\"讲师介绍\">\u003Ca class=\"anchor\" href=\"#讲师介绍\" aria-label=\"跳转到标题：讲师介绍\">\u003Cspan class=\"octicon octicon-link\">\u003C\u002Fspan>\u003C\u002Fa>讲师介绍\u003C\u002Fh3>\u003Cdiv align=\"center\">\n  \u003Cimg src=\"https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fimages\u002Fportal_news\u002Fnews_62_zw02.jpg?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=JI5eC0kMXUaVZ%2FQVfeHTdpJpmkU%3D\" alt=\"\" width=\"50%\">\n\u003C\u002Fdiv>\u003Cp>\u003Cstrong>贺飞 | 清华大学长聘副教授，博士生导师\u003C\u002Fstrong>\u003C\u002Fp>\n\u003Cp>主要从事程序验证、模型检验和自动推理的研究。\u003C\u002Fp>\n\u003Cul>\n\u003Cli>开发的程序验证工具曾\u003Cstrong>四次斩获国际软件验证大赛并发验证赛道冠军\u003C\u002Fstrong>。\u003C\u002Fli>\n\u003Cli>在形式化方法、程序语言和软件工程重要国际会议和期刊上发表论文 \u003Cstrong>100余篇\u003C\u002Fstrong>。\u003C\u002Fli>\n\u003Cli>入选国家高层次青年人才计划，获“中创软件人才奖”。\u003C\u002Fli>\n\u003Cli>曾获并行编程顶会 \u003Cstrong>PPoPP 2022 最佳论文奖\u003C\u002Fstrong>、软件工程顶会 \u003Cstrong>ICSE 2026 & ASE 2018 杰出论文奖\u003C\u002Fstrong>、形式化方法会议 \u003Cstrong>SETTA 2022 最佳论文奖\u003C\u002Fstrong>等。\u003C\u002Fli>\n\u003C\u002Ful>\n\u003Ch3 id=\"课程亮点\">\u003Ca class=\"anchor\" href=\"#课程亮点\" aria-label=\"跳转到标题：课程亮点\">\u003Cspan class=\"octicon octicon-link\">\u003C\u002Fspan>\u003C\u002Fa>课程亮点\u003C\u002Fh3>\u003Cp>在本次大咖课中，贺飞老师将结合前沿研究与工程实践，围绕并发程序形式化验证展开分享：\u003C\u002Fp>\n\u003Cp>1️⃣ 梳理并发程序形式化验证的关键技术；\u003C\u002Fp>\n\u003Cp>2️⃣ 剖析并发程序形式化验证面临的主要挑战；\u003C\u002Fp>\n\u003Cp>3️⃣ 探讨程序形式化验证在\u003Cstrong>性能优化\u003C\u002Fstrong>与\u003Cstrong>语言级并发安全增强\u003C\u002Fstrong>方面的扩展作用。\u003C\u002Fp>\n\u003Ch3 id=\"课程直播信息\">\u003Ca class=\"anchor\" href=\"#课程直播信息\" aria-label=\"跳转到标题：课程直播信息\">\u003Cspan class=\"octicon octicon-link\">\u003C\u002Fspan>\u003C\u002Fa>课程直播信息\u003C\u002Fh3>\u003Ch4 id=\"直播时间-8-月-10-日-周一-20-00\">\u003Ca class=\"anchor\" href=\"#直播时间-8-月-10-日-周一-20-00\" aria-label=\"跳转到标题：📅直播时间：8 月 10 日（周一） 20:00\">\u003Cspan class=\"octicon octicon-link\">\u003C\u002Fspan>\u003C\u002Fa>📅直播时间：\u003Cstrong>8 月 10 日（周一） 20:00\u003C\u002Fstrong>\u003C\u002Fh4>\u003Ch4 id=\"参与方式\">\u003Ca class=\"anchor\" href=\"#参与方式\" aria-label=\"跳转到标题：🖥️参与方式：\">\u003Cspan class=\"octicon octicon-link\">\u003C\u002Fspan>\u003C\u002Fa>🖥️参与方式：\u003C\u002Fh4>\u003Cp>InfiniTensor 官网： \u003Ca href=\"https:\u002F\u002Fwww.infinitensor.com\">https:\u002F\u002Fwww.infinitensor.com\u003C\u002Fa>\u003C\u002Fp>\n\u003Cp>B 站直播： InfiniTensor 官方直播间\u003C\u002Fp>\n\u003Cp>视频号直播： InfiniTensor 视频号\u003C\u002Fp>\n\u003Ch4 id=\"扫描下方二维码加入训练营官方社群\">\u003Ca class=\"anchor\" href=\"#扫描下方二维码加入训练营官方社群\" aria-label=\"跳转到标题：⬇️扫描下方二维码加入训练营官方社群\">\u003Cspan class=\"octicon octicon-link\">\u003C\u002Fspan>\u003C\u002Fa>⬇️扫描下方二维码加入训练营官方社群\u003C\u002Fh4>\u003Cdiv align=\"center\">\n  \u003Cimg src=\"https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fimages\u002FKnowledge_Base\u002Fqun_1072.jpg?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=ASGEuiLcmivGgPKHC8LwWrx5f90%3D\" alt=\"\" width=\"50%\">\n\u003C\u002Fdiv>\u003Cblockquote>\n\u003Cp>欢迎参与本次大咖课，与贺飞老师一起了解并发程序形式化验证的前沿技术与实践探索！\u003C\u002Fp>\n\u003C\u002Fblockquote>\n\u003Ch3 id=\"关注与交流\">\u003Ca class=\"anchor\" href=\"#关注与交流\" aria-label=\"跳转到标题：关注与交流\">\u003Cspan class=\"octicon octicon-link\">\u003C\u002Fspan>\u003C\u002Fa>关注与交流\u003C\u002Fh3>\u003Cp>\u003Cimg src=\"https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fimages\u002Fportal_news\u002Fnews_ewm02.jpg?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=xN3XulJPAqsugp4tgV1ydXjpjK0%3D\" alt=\"\">\u003C\u002Fp>\n",[75,77,79,81,85,88,91],{"id":76,"text":76,"level":9},"讲师介绍",{"id":78,"text":78,"level":9},"课程亮点",{"id":80,"text":80,"level":9},"课程直播信息",{"id":82,"text":83,"level":84},"直播时间-8-月-10-日-周一-20-00","📅直播时间：8 月 10 日（周一） 20:00",4,{"id":86,"text":87,"level":84},"参与方式","🖥️参与方式：",{"id":89,"text":90,"level":84},"扫描下方二维码加入训练营官方社群","⬇️扫描下方二维码加入训练营官方社群",{"id":92,"text":92,"level":9},"关注与交流",{"total":45,"list":94,"pageNum":44,"pageSize":45,"size":45,"startRow":44,"endRow":45,"pages":44,"prePage":6,"nextPage":6,"isFirstPage":46,"isLastPage":46,"hasPreviousPage":4,"hasNextPage":4,"navigatePages":47,"navigatepageNums":147,"navigateFirstPage":44,"navigateLastPage":44},[95,106,117,128,138],{"id":96,"slug":97,"title":98,"logo":99,"publicLiveEmbedUrl":14,"description":100,"introduction":101,"organizer":18,"coOrganizer":5,"sponsor":16,"startTime":102,"endTime":103,"status":22,"dashboardVisibility":104,"createdAt":102,"updatedAt":105},"019eeeff-6b00-7d55-a629-efafded3e232","summer2026","2026年夏季InfiniTensor大模型与人工智能系统训练营","https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fuploads\u002F2026-06\u002F019eef7f-7816-7828-9309-79c2c61dd568.jpg?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=vAthC2JGA%2Fh5TWEPNAC3ZFZdvd0%3D","由启元实验室发起的InfiniTensor大模型与人工智能系统训练营，面向开源社区、高校及产业界伙伴开放。活动以「普及AI全栈知识技术、培养工程实践与创新型人才、推广国产软硬件技术生态」为核心目标，助力国家人工智能产业高质量发展。","...","2026-06-22 08:00:00","2026-10-19 08:00:00","public","2026-10-12 08:00:00",{"id":107,"slug":108,"title":109,"logo":110,"publicLiveEmbedUrl":7,"description":111,"introduction":101,"organizer":18,"coOrganizer":5,"sponsor":112,"startTime":113,"endTime":114,"status":33,"dashboardVisibility":23,"createdAt":115,"updatedAt":116},"019af3f3-e06a-7245-aa8d-37dc99a69c73","winter2025","2025年冬季InfiniTensor大模型与人工智能系统训练营","https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fuploads\u002F2025-12\u002F019afc69-b7ca-7805-91fb-605429671c01.png?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=I1tqhm8Uf6uNI7B9Lk%2B5lcTiBlA%3D","由启元实验室发起的InfiniTensor大模型与人工智能系统训练营，面向开源社区、高校及产业界伙伴开放。活动以「普及AI全栈知识技术、培养工程实践与创新型人才、推广国产软硬件技术生态」为核心目标，助力国家人工智能产业高质量发展。 \n","新华三技术有限公司","2025-12-25 08:00:00","2026-03-27 08:00:00","2025-12-06 08:00:00","2026-10-22 20:24:30",{"id":118,"slug":36,"title":119,"logo":120,"publicLiveEmbedUrl":7,"description":121,"introduction":101,"organizer":18,"coOrganizer":5,"sponsor":122,"startTime":123,"endTime":124,"status":125,"dashboardVisibility":23,"createdAt":126,"updatedAt":127},"01980342-208c-7803-b3f3-19e1d31960ba","2025年夏季InfiniTensor大模型与人工智能系统训练营","https:\u002F\u002Foss.infinitensor.com\u002Fprod\u002Fuploads\u002F2025-07\u002F0198045e-28fe-78f0-95fe-23835ce58395.jpg?Expires=1792750188&OSSAccessKeyId=LTAI5t9R6uzvTa69CT92cFvV&Signature=0%2Fd1lUR%2FVUz6XuV5gFXH0SMCdo8%3D","InfiniTensor大模型与人工智能系统训练营由启元实验室及清华大学 AI 系统方向团队发起，面向开源社区、高校和产业界，普及人工智能各方面知识和技术，培养相关人才。训练营联合开源项目开发者、学术界大牛、工业界资深工程师参与授课与项目指导。课程采用「线上直播授课 + 在线答疑 + 项目实践辅导 」的方式进行，确保每位同学都能获得充分成长。训练营全程免费，通过视频、直播课、习题和项目实践，在人工智能飞速发展的背景下，为学员提供一窥深层技术的机会。","北京积算科技有限公司","2025-07-14 08:00:00","2025-09-30 08:00:00","upcoming","2025-07-13 08:00:00","2026-10-22 20:24:58",{"id":129,"slug":130,"title":131,"logo":132,"publicLiveEmbedUrl":7,"description":133,"introduction":101,"organizer":18,"coOrganizer":5,"sponsor":5,"startTime":134,"endTime":135,"status":125,"dashboardVisibility":23,"createdAt":136,"updatedAt":137},"01980cf9-a7d8-7796-ae86-0bbe05334add","winter2024","2024年冬季InfiniTensor大模型与人工智能系统训练营","https:\u002F\u002Ftesting-cdn.infinitensor.com\u002Fuploads\u002F2025-07\u002F01981269-ce23-7624-a287-9f07dd0d85f6.jpg","InfiniTensor大模型与人工智能系统训练营由清华大学发起，面向开源社区、高校和产业界，普及人工智能各方面知识和技术，培养相关人才。训练营全程免费，通过视频、直播课、习题和项目实践，在人工智能飞速发展的背景下，为学员提供一窥深层技术的机会。报名学员请阅读“导学”课程页的训练营介绍。","2025-01-05 08:00:00","2025-03-22 08:00:00","2025-07-15 08:00:00","2026-10-22 20:24:39",{"id":139,"slug":140,"title":141,"logo":142,"publicLiveEmbedUrl":7,"description":143,"introduction":101,"organizer":18,"coOrganizer":5,"sponsor":5,"startTime":144,"endTime":145,"status":125,"dashboardVisibility":23,"createdAt":136,"updatedAt":146},"01980c20-363a-7dc3-8f5a-58a68e08dcc4","summer2024","2024年夏季InfiniTensor大模型与人工智能系统训练营","https:\u002F\u002Ftesting-cdn.infinitensor.com\u002Fuploads\u002F2025-07\u002F01981269-fbfa-788a-afcd-17fa9be74ff9.jpg","InfiniTensor大模型与人工智能系统训练营由清华大学发起，面向开源社区和高校，普及人工智能各方面知识和技术，培养相关人才。训练营全程免费，通过课程、习题和项目实践，在人工智能飞速发展的背景下，为学员提供一窥深层技术的机会。","2024-07-20 08:00:00","2024-09-29 08:00:00","2026-10-22 20:24:49",[44]]