吴文俊与徐宗本：数学如何推动AI发展？
吴文俊与徐宗本：数学如何推动AI发展？
在中国人工智能发展的历史中，有两位数学家的名字熠熠生辉：吴文俊和徐宗本。他们一个开创了机器证明的新纪元，一个致力于探索数学与人工智能的深度融合，他们的工作不仅推动了人工智能的发展，更展示了数学在解决复杂问题中的巨大潜力。
吴文俊与“吴方法”：开启机器证明新纪元
1979年，对于中国人工智能来说是一个重要的年份。这一年，数学家吴文俊带着2.5万美元，登上了赴美交流的班机。他此行的目的，不仅是交流拓扑学研究，更重要的是要将中国古代数学思想与现代数学相结合，开创一个全新的研究领域——数学机械化。
吴文俊的“吴方法”是人工智能领域的重要里程碑。他通过引入坐标，把几何问题转化为代数问题，再按中国古代数学思想将其机械化。这种方法被认为是自动推理领域的先驱性工作，为人工智能的符号主义学派奠定了重要基础。
“吴方法”的提出，不仅解决了几何定理机器证明的问题，更为重要的是，它展示了数学与人工智能深度融合的可能性。吴文俊的工作，推开了中国人工智能研究走向世界的大门，也让他获得了埃尔布朗自动推理杰出成就奖这一国际荣誉。
徐宗本：探索数学与AI的深度融合
如果说吴文俊开启了中国人工智能的先河，那么徐宗本则是在新的历史时期，将数学与人工智能的融合推向了新的高度。作为中国科学院院士、西安交通大学教授，徐宗本在多个领域都做出了开创性贡献。
徐宗本提出了人工智能面临的五大核心数学问题，包括大数据的统计学基础、大数据计算基础算法、深度学习的数学理论等。这些问题，本质上都是数学挑战，解决它们需要深厚的数学功底和创新思维。
在具体贡献方面，徐宗本提出了稀疏信息处理的L(1/2)正则化理论，为稀疏微波成像提供了重要基础；发现并证明了机器学习的“徐-罗奇”定理，解决了神经网络与模拟演化计算中的一些困难问题；提出了基于视觉认知的数据建模新原理与新方法，形成了系列数据挖掘核心算法。
徐宗本的工作，不仅推动了人工智能技术的发展，更为重要的是，他展示了数学与人工智能相辅相成的关系。他认为，数学可以为人工智能提供基础，而人工智能也为数学研究提供了新的方法论。这种双向互动，正是推动两者共同进步的关键。
数学：人工智能的基石
从吴文俊到徐宗本，两位数学家的工作生动诠释了数学在人工智能发展中的重要作用。事实上，数学不仅是人工智能的工具，更是其理论基础和创新源泉。
在人工智能的核心领域——机器学习中，数学的作用尤为突出。线性代数、概率论、统计学等数学分支，为机器学习算法提供了坚实的理论支撑。优化算法和最优化问题的解决，更是离不开数学的帮助。在计算机视觉和自然语言处理等应用领域，数学方法同样发挥着不可或缺的作用。
然而，正如徐宗本所指出的，目前人工智能还面临着许多数学难题。这些问题的解决，需要数学家和人工智能研究者的共同努力。这也意味着，数学与人工智能的融合，还有着广阔的发展空间。
展望未来：数学与AI的融通共进
吴文俊和徐宗本的工作，为我们展示了数学与人工智能深度融合的美好前景。随着人工智能技术的不断发展，对数学的需求也将越来越高。可以预见，未来数学与人工智能的结合将更加紧密，相互促进，共同推动科技的进步。
正如丘成桐所说：“数学对AI有很多好处，可以帮助AI发展，但不可能改变AI。”这种相互支持、相互促进的关系，正是数学与人工智能发展的最佳状态。我们期待，在更多像吴文俊和徐宗本这样的数学家的努力下，数学与人工智能能够实现更深层次的融合，为人类社会带来更多的惊喜和改变。