2009年10月29日，千万亿次超级计算机——“天河一号”在长沙亮相。
使用“天河一号”超级计算机运算一秒钟，其运行速度相当于全国十三亿人连续计算88年。其存储量相当于四个国家图书馆藏书量之和。2010年11月28日，以“天河一号”为计算设备的国家超级计算长沙中心在笔者的母校——湖南大学正式奠基。截至目前，中国共建成了6座超算中心。
二三十年以前，计算机科学基本上还是数学的一个分支,而现在,计算机科学拥有广泛的研究领域和众多的研究人员,在很多方面反过来推动数学。
那么，有哪些著名的数学问题是通过计算机来解决的呢？
1. 四色猜想
是否每幅地图都可以用四种颜色着色，使得有共同边界的国家都被着上不同的颜色？数学家们为了这个问题费尽心思，以至于被称作四色瘟疫。
1976年6月哈肯和阿佩尔在电子计算机上用了1200个小时作了100亿判断完成了四色定理的证明。这也是第一个主要由计算机证明的理论，然而这一证明并不被所有的数学家接受,因为它不能由人工直接验证。
最终,人们必须对计算机编译的正确性以及运行这一程序的硬件设备充分信任。缺乏数学应有的规范成为了另一个原因。以至于有人这样评论：“一个好的数学证明应当像一首诗——而这纯粹是一本电话簿!”现在仍有不少数学家和数学爱好者在寻找更简洁的证明方法。
2. 华容道
在几十年前，华容道的最快走法在中国是100步，在日本是82步。后来美国人用计算机，使用穷举法找出了最终解法，81步，不可能有再快的解法了。
据说美国人用计算机找到最终解法后，骗中国人说美国一位著名的博士找到了最终解法，这位博士名叫Computer。
3. 魔方的上帝之数
将任意三阶魔方打乱后，最小还原步数究竟是多少？这一问题困扰了数学家长达三十多年，这个最小还原步数也被称为“上帝之数”。
在前人的研究基础上，2010年7月，美国加利福利亚州科学家用谷歌旧金山总部的计算机，用枚举法确定了这个数为20。
4. 最小数独问题
数独是起源于欧拉等人研究的拉丁方，经过短短几十年已经风靡全球。然而有一个问题一直困扰着数学家们：数独游戏至少只需要给出多少个数？
2012年，三位爱尔兰数学家用计算机证明了数独至少需要17个初始数字才有唯一解。（注意就算超过17个，也未必就一定有唯一解。要确保有唯一解，至少需要78个数）。
另一方面，数学对计算机的发展也有帮助。比如，围棋人工智能“阿尔法狗”，高考机器人等程序设计都需要用到非常高深的数学知识。总的来说，计算机与数学的关系是相辅相成的。
参考文献
1. 计算机科学与数学的关系.CSDN博客
2. 历史上的今天
3. 百度百科
用加、减、乘、除和括号，将“2009年10月29日”中的4个数字：9,10,20,29进行计算，得到28。答案明天公布。
上一期答案：28-(19+11)÷10=25返回搜狐，查看更多