-
数字服务的精准、智能化监管与治理|CCF数图焦点 第41期
2024-12-09信息技术支撑现代服务业,改变传统供需模式、合作分工和价值创造分配形式,形成新经济模式。数字服务促进经济增长,承担社会责任,遵循法律法规。提供精准、智能化的监管与治理,建立有效治理体系,降本增效,是当前热点和难点。
-
以通专融合方式构建AGI——路径与关键问题探索|CNCC2024
2024-12-04自2016年以来,周伯文教授及其团队持续深入研究AGI的实现路径。面对当前大语言模型在Scaling Law与架构等方面的技术瓶颈,不仅提出了完整的AGI实现路径,更创新性地从应用价值出发,探索更高效发挥AGI潜力的场景与方法。本文详细介绍了这一原创性路径及其技术研究,旨在为AGI的未来发展提供新的纵深视角和实践指导。
-
生成式大模型技术 | CCF数图焦点 第40期
2024-12-02人工智能生成内容(AIGC)技术能基于用户输入创作真实有意义的内容,如ChatGPT、Sora等应用已受关注。AIGC依靠生成式大模型,但面临隐私安全与落地应用等挑战。本次专题提供CCF数字图书馆资源,助力会员和读者研究生成式大模型的表征、设计、思维链、安全和落地。
-
吉林大学赵星宇:从零基础到圆梦金奖——我的CCSP竞赛之旅与成长心得 | CCSP金奖说
2024-11-28 -
哈工大丁文涛:CCSP不只是算法竞赛|CCSP金奖说
2024-11-28 -
CNCC2024 | 首届CCF WCET论坛:中学计算机创新思维课程实践
2024-11-2210月24日下午CNCC2024开幕首日下午,“首届CCF WCET论坛:中学计算机创新思维课程实践”论坛在横店圆明园秋苑西8教室成功举办,本论坛由CCF WCET 副主席、南京外国语学校创新教育处副主任李曙承担主席,WCET常务委员、山西省太原市第五中学校教研室副主任陈真担任副主席,汇集了全国最顶尖的信息学奥匹克竞赛国际金牌教练,从育人的不同角色,不同角度、不同环节分享他们的实践经验和成果,论坛吸引了约60余位中学计算机编程教师、教育机构教师共同探讨交流。
-
形式化方法赋能计算机其他领域|CCF数图焦点第39期
2024-11-22形式化方法是基于严格数学基础的计算机软硬件正确性与安全性保障方法,近20年发展迅速,技术多样,应用领域广泛。近年来,其与人工智能统计学派的交叉融合成为研究热点。本次专题聚焦形式化方法与计算机其他领域的融合,聚合相关资源,方便会员学习。