2023年8月8日,第六届解法器快速算法及应用研讨会(SOLVER2023)及其特色活动第三届解法器算法及优化竞赛(SolverChallenge23)在青海省西宁市成功举办。经过激烈角逐,清华大学参赛队伍以总分第一的佳绩夺取SolverChallenge竞赛最高奖项,并在共计10道赛题中的8道题上实现最佳性能,其中5道赛题更是借助鲲鹏计算平台脱颖而出,获得最佳成绩。清华大学队伍最终的性能总分是第二名的将近两倍。

图一 清华大学队伍荣获特等奖
SolverChallenge竞赛是解法器快速算法及应用研讨会(SOLVER会议)的一项特色活动,由SOLVER会议组委会主办,每年举行一次。今年云集清华大学、复旦大学、浙江大、中国科学院、中国物理研究院等19个单位共28支队伍参赛,围绕大规模科学与工程计算领域的数值代数问题,探索应用驱动且适合大规模计算的高可扩展解法器快速算法。
本次竞赛共10道赛题,均来自真实应用问题,涵盖激光聚变、结构力学、生物医疗、天气预报、电子学系统和集成电路等多个领域。官方提供了鲲鹏、Intel和NVIDIA三种硬件平台(信息来源SolverChallenge大赛官网),选手可以在各道赛题上使用任何软件包和任意硬件平台参与竞赛。鲲鹏助力冠军队伍清华大学分别在生物医疗和集成电路领域的5道赛题上斩获佳绩,结合鲲鹏硬件和鲲鹏数学库“天元求解器”,实现软硬件协同,发挥应用最佳性能。

图二 清华大学队伍获奖奖牌
求解大规模稀疏线性方程组是高性能计算领域所面临的共同难题,并且已经成为许多应用软件的性能瓶颈。稀疏方程解法器作为底层支撑数学库,是工业软件的核心模块。当前主流的解法器多为国外开发,在国内自研处理器上或无法运行或计算效率低。随着工业软件自主创新的推进,自研直接法解法器至关重要。直接法解法器的开发技术壁垒高,在算法和实现层面都有比较大的挑战,需要在算法设计、性能优化、软件研制等方面实现突破。天元求解器是华为自研的面向ARM架构的高性能稀疏线性方程组直接法解法器,基于鲲鹏处理器进行极致优化,支持多线程并行加速,具有优异的性能和良好的并行可扩展性,能充分发挥鲲鹏硬件性能,助力用户持续突破应用性能瓶颈。
未来,华为将继续联合高校基于鲲鹏开展算法优化,加速自主基础软件创新和落地。
好文章,需要你的鼓励
AI颠覆预计将在2026年持续,推动企业适应不断演进的技术并扩大规模。国际奥委会、Moderna和Sportradar的领导者在纽约路透社峰会上分享了他们的AI策略。讨论焦点包括自建AI与购买第三方资源的选择,AI在内部流程优化和外部产品开发中的应用,以及小型模型在日常应用中的潜力。专家建议,企业应将AI建设融入企业文化,以创新而非成本节约为驱动力。
字节跳动等机构联合发布GAR技术,让AI能同时理解图像的全局和局部信息,实现对多个区域间复杂关系的准确分析。该技术通过RoI对齐特征重放方法,在保持全局视野的同时提取精确细节,在多项测试中表现出色,甚至在某些指标上超越了体积更大的模型,为AI视觉理解能力带来重要突破。
Spotify在新西兰测试推出AI提示播放列表功能,用户可通过文字描述需求让AI根据指令和听歌历史生成个性化播放列表。该功能允许用户设置定期刷新,相当于创建可控制算法的每周发现播放列表。这是Spotify赋予用户更多控制权努力的一部分,此前其AI DJ功能也增加了语音提示选项,反映了各平台让用户更好控制算法推荐的趋势。
Inclusion AI团队推出首个开源万亿参数思维模型Ring-1T,通过IcePop、C3PO++和ASystem三项核心技术突破,解决了超大规模强化学习训练的稳定性和效率难题。该模型在AIME-2025获得93.4分,IMO-2025达到银牌水平,CodeForces获得2088分,展现出卓越的数学推理和编程能力,为AI推理能力发展树立了新的里程碑。