格申·泽尔伯格是一位以色列裔美国数学家，以其在组合学方面的贡献而闻名，尤其是在发展证明超几何恒等式的算法方法方面。他的工作将经典数学与计算方法相连接，并且他一直积极倡导在数学研究中使用计算机。
泽尔伯格于1950年出生在以色列。他于1976年在魏茨曼科学研究所获得博士学位，导师是哈里·迪姆。他在多个机构任职后，于1990年代加入费城天普大学数学系，并自那时起担任数学教授。
算法证明与WZ方法
泽尔伯格最著名的贡献是WZ方法，该方法在1990年代初期与赫伯特·威尔夫合作开发。这种方法提供了一种系统性的、算法化的方式来证明涉及超几何项求和的恒等式。该方法将此类证明简化为检查有限数量的情况，使其适合计算机实现。
WZ方法已在软件包中实现，最著名的是在Maple和Mathematica系统中。泽尔伯格自己的软件包EKHAD被研究人员广泛使用。这项工作对组合学领域产生了重大影响，使得许多以前需要手工证明的恒等式得以自动验证。
关于数学严谨性的观点
泽尔伯格以其关于数学证明本质的挑衅性且常有争议的观点而闻名。他认为，传统的人类可读证明并非总是必要的，计算机辅助证明同样有效。在1993年一篇著名的文章中，他提出了一种“半严谨”的数学方法，认为如果证明可以由计算机验证，则不必完全形式化。
他的观点在数学界引发了辩论。一些数学家接受他的计算方法，而另一些则认为这削弱了数学的美学性和概念性方面。尽管如此，泽尔伯格的工作被广泛引用，并影响了组合学及相关领域的一代研究者。
对组合学的贡献
除了WZ方法之外，泽尔伯格还在枚举组合学方面做出了众多贡献，包括在分拆、q级数以及平面分拆理论方面的工作。他还探索了组合学与其他领域的联系，例如人工智能和机器学习，利用计算工具来发现新的模式和猜想。
他的研究通常涉及用计算机程序生成大量数据，然后分析这些数据以寻找潜在结构。这种方法导致了若干新恒等式的发现，并有助于澄清已有的恒等式。他发表了超过200篇论文，并担任多个主要数学期刊的编辑。
奖项与荣誉
泽尔伯格因其工作获得了多项奖项。2004年，他与赫伯特·威尔夫共同获得勒罗伊·P·斯蒂尔开创性研究贡献奖，以表彰他们对WZ方法的发展。他还是美国数学学会会士，这一荣誉于2012年获得。
他的工作得到了美国国家科学基金会的资助，并受邀在众多国际会议上发言，包括国际数学家大会。他仍然是一位活跃的研究者，也是数学界的重要人物。
遗产与影响
泽尔伯格的影响超越了他自己的研究。他指导了许多学生和博士后研究人员，他关于算法数学的思想帮助塑造了实验数学领域。随着计算工具变得更加强大，他对计算机辅助证明的倡导已变得更加主流。
他的工作经常在关于深度学习和神经网络方法在数学中作用的讨论中被引用，因为他的证明方法与算法推理类似。虽然他仍然是一个有争议的人物，但他的贡献无疑推动了该领域的发展，并开辟了新的研究途径。
个人生活
泽尔伯格以其古怪的个性和对文字游戏的热爱而闻名。他维护着一个个人网站，在上面发布他的观点、文章，甚至还有一个已经运行了几十年的“观点”专栏。他还是一位狂热的国际象棋爱好者，并撰写过关于国际象棋与数学之间联系的文章。
他与同为数学家的妻子结婚，并育有子女。他继续在天普大学工作，是该系活跃的成员，并经常在研讨会和讲座中发言。