话说阿尔法狗（AlphaGo）多次击败世界顶级围棋高手，彰显了人工智能在围棋领域的成功应用。可我们今天暂且按下阿尔法狗不表，而说一下他的远房亲戚阿狗数学。

   阿狗数学，诞生于2017年11月11日。英文名是AlgoMath，取Algorithm（算法）与Mathematics（数学）两词的前四个字母构成。算法者，泛指解决特定类型问题的意义清晰的指令，此处特指可以解决具体问题的易于实现的计算机指令。数学者，泛指对数量、结构、空间与变化等概念进行研究的一门学科。而算法数学是计算机算法与数学研究的交叉领域，指数学理论与方法的算法化、机械化与自动化。

阿狗数学关键字

   顾名思义，阿狗数学的特长不是下围棋，而是计算机算法与数学理论的交叉与融合，是数学理论与方法的算法化。他的这个特长源自他的老祖宗──中国古代数学。正如数学泰斗吴文俊先生所言：“中国古代数学就是一部算法大全”，“中国古代数学的特点就是构造性和机械化”。诚然，中国古代的数学走着与西方公理体系不同的道路，发展出更相减损术（计算最大公因子）、盈亏术（线性差值法）、大衍术（解同余方程）等一系列构造性数学算法。

《九章算术》

   而他的特长又在前辈1976年用计算机成功证明四色定理、1980年前后用吴方法在计算机上自动证明几何定理等成功经验中慢慢积淀而来，随着计算机计算能力的大幅增强以及代数几何、数理逻辑等数学理论的不断深入而快速发展、强化。可以说，阿狗数学虽年纪不大，可本领不小。

四色定理示例

Simson定理：几何定理机器证明示例

   概述之，阿狗数学的兴趣就在这构造性数学的理论与方法，包括相关算法的设计与实施、复杂性理论与实验分析。他感兴趣的研究领域包括符号计算、可信数值计算、统计计算与分析、自动推理、知识发现等当今最前沿的理论计算机科学与应用数学学科。具体列举一下，就有数理逻辑、离散数学、数值逼近、概率统计、组合优化、方程求解、代数计算、公式推导、定理证明、可靠性分析以及复杂性估计等研究方向，可见其兴趣之广泛。

   阿狗数学既敬仰笛卡尔意欲将一切问题归结为解决代数方程组的宏伟蓝图，既赞赏著名代数几何学家S. Abhyankar《Polynomials and power series》（多项式与幂级数）一诗中的豪言壮语，但也深知构造性数学与存在性数学的依存与共荣关系。阿狗数学充满豪情而又不失理智地诞生于这瞬息万变、激昂豪迈的信息世界舞台，且看他舞出怎样的人生（狗生）大剧！

(牟晨琪)

     来源：阿狗数学AlgoMath