数学始终是描述深层结构的语言，它让我们得以描绘规律、推理复杂性，并理解什么是可能实现的。数学也是现代计算的基石之一——每一条处理器指令、每一个算法，以及每一项计算突破，归根结底都建立在数学思想之上，涉及信息如何被表示、转换、优化与理解。
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历史上的快速傅里叶变换等基础研究成果已证明，理论突破能够催生影响深远的实际应用。
热门跟贴