数学始终是描述深层结构的语言,它让我们得以描绘规律、推理复杂性,并理解什么是可能实现的。数学也是现代计算的基石之一——每一条处理器指令、每一个算法,以及每一项计算突破,归根结底都建立在数学思想之上,涉及信息如何被表示、转换、优化与理解。
IBM长期以来在推进算法理论基础方面居于领先地位,同时也不断创造出改变计算格局的技术。其中一个里程碑式的案例是快速傅里叶变换(FFT),这一技术最早在IBM Research获得演示,从根本上革新了信息的表示与处理方式。时至今日,FFT已广泛应用于JPEG、MPEG等数字媒体标准,支撑无线与蜂窝通信,驱动语音与信号处理,并在MRI、CT重建等医学成像技术中发挥着不可或缺的作用。
随着计算进入由AI、量子计算和新型硬件架构共同塑造的新时代,此类基础性研究正是IBM Research战略布局的核心所在。在这一时代,推动进步不能仅靠扩展现有系统,还需要全新的数学抽象、全新的算法思想,以及对计算本身更深层次的理解。
为加速这一计算新时代理论基础的突破,IBM Research任命全球顶尖理论计算机科学家与数学家Subhash Khot担任高级数学家一职。
Khot最广为人知的成就是提出了"唯一游戏猜想"(Unique Games Conjecture),这是理论计算机科学领域最核心的猜想之一。该猜想对计算复杂性理论和近似算法产生了深远影响,帮助研究人员厘清哪些优化问题可以被高效近似求解,哪些问题即便是近似求解在根本上也极为困难。
Khot的研究成果为他赢得了数学与计算机科学领域的多项最高荣誉。2010年,他凭借在唯一游戏猜想方面的贡献荣获Alan T. Waterman奖——这是美国授予40岁以下科学家的最高荣誉。2014年,他获得国际数学联盟(IMU)颁发的阿巴库斯奖章;2016年,他荣获麦克阿瑟奖学金;此外,他还是美国国家科学院院士及英国皇家学会会员。Khot此前就职于纽约大学柯朗数学科学研究所,担任Julius Silver计算机科学教授。
"Subhash是当今在算法、复杂性与计算交叉领域工作的最杰出数学家之一,"IBM Research首席科学家Ruchir Puri表示,"未来的计算将建立在深厚的算法与数学思想之上,Subhash的加入是夯实这一基础的重要一步。"
IBM在量子计算领域的领先地位,是吸引Khot加盟IBM Research的重要因素之一。在近期参观该公司位于纽约约克敦高地的研究总部后,他深刻感受到IBM量子团队在人才与思想上的深厚积淀,以及公司在推进该领域长期科学基础方面所展现出的高度专注。
量子计算目前仍处于早期阶段,但要充分释放其潜力,仅靠硬件层面的进步远远不够,还需要新的理论、新的算法,以及将数学洞见与新兴量子系统相连接的全新方式。
IBM Fellow、IBM Research总监Jay Gambetta表示:"Subhash的加入,体现了我们对基础研究的高度重视。我们将计算理论作为IBM Research未来发展的重要支柱,持续加大投入,而这仅仅是个开始。"
Q&A
Q1:Subhash Khot提出的唯一游戏猜想是什么?有什么意义?
A:唯一游戏猜想是理论计算机科学领域最核心的猜想之一,由Subhash Khot提出。该猜想对计算复杂性理论和近似算法产生了深远影响,帮助研究人员判断哪些优化问题可以被高效近似求解,哪些问题即便是近似求解在根本层面上也极为困难,为算法研究提供了重要的理论指引。
Q2:Subhash Khot加入IBM Research主要做什么方向的研究?
A:Khot以高级数学家身份加入IBM Research,主要致力于推进新一代计算的理论基础研究,涵盖算法、计算复杂性等核心领域。其研究方向与IBM在量子计算方面的布局高度契合,旨在通过新的数学抽象与算法思想,为量子计算和新型硬件架构提供坚实的理论支撑。
Q3:IBM Research为什么重视基础数学和理论研究?
A:IBM Research认为,在AI、量子计算和新型硬件架构共同塑造的计算新时代,单纯扩展现有系统已无法满足进步需求。真正的突破依赖于新的数学抽象、新的算法思想和对计算本质更深层的理解。IBM历史上的快速傅里叶变换等基础研究成果已证明,理论突破能够催生影响深远的实际应用。
好文章,需要你的鼓励
SpaceX IPO融资创纪录857亿美元,叠加Anthropic、OpenAI等AI公司即将上市预期,大批科技投资人、早期员工和风投将新生财富注入私人航空市场。数据显示,2026年前五个月全球共享所有权飞行量增长11.8%,私人飞机主飞行量增长13.4%。旧金山商务机流量同比增长约11%,SpaceX发射基地附近德州布朗斯维尔更暴增177%。私人航空公司业务普遍大幅增长,科技客户已成核心消费群体。
清华大学与蚂蚁集团联合推出AgenticDataBench,含344道真实数据科学任务和433个精细技能标签,系统评测12种主流数据智能体配置的能力边界与短板。
红杉资本合伙人David Cahn测算,2026年AI基础设施支出将达1.5万亿美元,整个行业需创造3万亿美元收入才能收回投资。目前Anthropic年经常性收入约600亿美元,OpenAI 2025年约130亿美元,缺口依然巨大。Apollo首席经济学家Torsten Slok警告,若超大规模云厂商未能在2028年实现预期现金流,市场反应可能引发经济衰退,并波及标普500指数。
SkillCoach是香港科技大学与京东联合提出的技能使用评估框架,将AI操作轨迹拆解为技能选择、执行、组合、反思四维评分,并通过自我进化提升评分卡质量,用于筛选训练数据改善AI技能使用能力。