title: 计算机对数学发展的作用？
topic: 数学
content: 谢邀。现在计算机在数学方面的主要应用还是比较传统的验算模式数学家把某个问题约化成了只需要在有限种情形下进行验证的问题数学家眼里的“有限”可不意味着“小”，整个宇宙的原子总数依然有限然后数学家自己设计算法自己写程序（或者和会编程的人合作写程序），然后在电脑上跑，去验证。典型例子包括四色定理球填充最高密度问题以及最近那个什么给整数染色使得任意勾股数组不同色的数据量大得不可想象的
answerer_tags: Math PhD candidate