中国北京,12月27日——由中国科学院计算研究所主办,清华大学、上海交通大学以及鉴释科技承办的第八届开源操作系统年度技术会议(OS2ATC)在北京正式拉开序幕,百余位业界菁英莅临现场,围绕大会主题“开源协作”共同发表真知灼见。
此次大会以线上线下结合的模式举办,共吸引了超过500名业内人士参加。会议现场,来自清华大学,北京大学、上海交通大学、耶鲁大学等国内外高等学府的教授坐阵主会场及圆桌论坛,向大家传递领域内最新科技进展,更有华为、阿里云、蚂蚁集团等知名科技企业的技术专家在“内核技术”、“应用生态“、”云原生安全“、”虚拟化技术”、以及“编程技术”这五大分会场同时为大家带去各自主攻技术的主题演讲。
OS2ATC到场嘉宾合影
OS2ATC的发起人之一、大会组委会成员,清华大学副教授陈渝表示:“古人的智慧‘和而不同’是OS2ATC一直坚持的理念。感谢办会与参会的朋友,让我们了解到国内外操作系统与开源合作方面的最新进展,更重要的是见到老朋友,结识新伙伴。希望明年看到更多的朋友齐聚一堂,谈天说地。”
OS2ATC大会主席,中国科学计算所先进计算机系统研究中心主任包云岗指出:“目前的当务之急是先创立起独立的开源项目,填补国内开源项目的空白。若不投入精力和人力建设开源,我们的主动性便会逐步丧失,无法与其他开源项目互相制衡。其次,我们需要对国际上优秀的开源项目做出自己的贡献,积累话语权。我们还需要对接触过的开源项目做分析梳理,思考其中暗藏的风险以及应对方法,逐渐把中国开源做大做强。”
“在外部环境越存在风险的情况下越要开放,把开源软件做到你中有我,我中有你。”来自上海交通大学的特聘教授陈海波表示,“如今开源软件安全问题频发,新风险也蕴含着新机遇,现在正是做出拥有国际影响力、能够解决发展问题的开源软件,实现内外良性循环的好机会。”
陈海波教授还指出,“国内的基础软件教育问题需要重视,呼吁现场的技术大咖们走进校园,向新生代力量传授知识和经验。我们需要用心架构软件文化教育,从基础教育抓起,这样才能促进基础软件技术人才生态的构建。”
陈海波(左一)、包云岗(右一)主持OS2ATC
作为会议的承办方,鉴释联合创始人兼首席执行官梁宇宁表示:“国内开源的拿来主义是遗留问题,急功近利不可取,只有在大量应用国外开源软件的现状下最大限度地排除风险,才能有精力去发展独立的开源项目,这也是鉴释创立的初衷。”
在大家都渴望好消息的2020年,OS2ATC无疑成为了开源操作系统领域的一发照明弹,会上无数思想碰撞出的火花照亮了中国开源协作的方向。开发者们都将共同努力,打造开源操作系统技术的新巅峰!
好文章,需要你的鼓励
Snap 推出 Lens Studio 的 iOS 应用和网页工具,让所有技能层次的用户都能通过文字提示和简单编辑,轻松创建 AR 镜头,包括生成 AI 效果和集成 Bitmoji,从而普及 AR 创作,并持续为专业应用提供支持。
SEALQA是维吉尼亚理工大学研究团队开发的新型基准测试,旨在评估搜索增强型语言模型在面对矛盾、嘈杂或无用搜索结果时的推理能力。它包含三种测试:SEAL-0(极具挑战性的核心问题集)、SEAL-HARD(更广泛的困难问题集)和LONGSEAL(测试长上下文多文档推理)。研究发现,即使是前沿模型在这些测试中表现也很差,增加测试时计算资源往往不能带来可靠的性能提升,高级推理模型对嘈杂搜索结果特别敏感,模型在识别大量干扰文档中的相关信息时仍然困难重重。
这篇论文提出了"计划与预算"框架,解决大型语言模型在推理任务中的效率问题。研究者发现模型存在"推理失调"现象——简单问题上过度思考,复杂问题上思考不足。他们开发了贝叶斯预算分配模型(BBAM)作为理论基础,将推理分解为子问题并根据不确定性分配计算资源。实验表明,该方法在不同任务上显著提高推理效率,令牌使用减少39%,E?指标提升187.5%,且能使小型模型达到大型模型的效率水平。