数学和计算机的关系，一直是你中有我、我中有你。
计算机程序离不开数学，同时也给数学计算带来便利。
国外知名科普网站Quanta Magazine，对2020年计算机、数学这两门学科的几项重大突破，进行了盘点。
这里面，有困扰了数学家50余年的谜题破解，也有AI与数学结合的身影。
当然，两名数学家疫情隔离期间，破解陶哲轩挑战失败的百年数学问题，也榜上有名。
TOP1：“量子纠缠&Rdquo;重大突破
今年，计算机领域最重要的突破，是MIP*=RE的证明。
它的证明，意味着利用量子逻辑来计算的量子计算机（而非利用0和1进行计算的经典计算机），可以从理论上验证大量问题的答案。
来自悉尼科技大学、加州理工学院、德克萨斯大学奥斯汀分校、和多伦多大学的五位计算机科学家，将研究成果联名发表在了一篇叫做《MIP * = RE》的论文上。
这篇论文证明，由经典验证与多个量子理论验证相互作用而确定的语言类别MIP，等同于递归可枚举语言类RE。
也就是说，MIP*=RE多方交互式证明、加上量子纠缠的计算能力，给图灵停机问题提供了一个思路。
对于这篇论文的结论，物理学家在里面看到TsiRelson的物理问题的答案，数学家在里面得到了Connes嵌入猜想的答案。
作者之一的HenRy Yuen说道：“如同盲人摸象一样，不同科学领域的人，领略到不同部分，虽然都是正确的，但是都还没搞清楚大象的原貌。&Rdquo;
80年代，计算机科学家发明了交互证明理论和概率可验证明(PCP)，MIP* = RE则是经典的PCP定理，能够在量子纠缠的帮助下递归到无穷。
论文得出结论说，两台机器相互纠缠、相互验证，可以用于解决图灵停机问题。同时，还证明了Connes嵌入猜想是错误的。
他们还引用了经典的两个博弈互证游戏Bell / CHSH，两者无穷无尽的纠缠验证，会提高游戏的胜率。所以最终问题，还是怎么让这个纠缠验证的过程停止的问题。
此外，这篇论文的一作，是悉尼科技大学量子软件与信息中心季铮锋教授。
季铮锋曾于2007年，获得清华大学计算机科学与技术的博士学位。
TOP2：破解“康威扭结&Rdquo;
今年6月，英国著名数学家约翰&Middot;康威（John Conway）因患新冠肺炎逝世，留下一个困扰数学界50年的难题“康威扭结&Rdquo;（Conway Knot）。
在他逝世一个月之后，德州大学奥斯汀分校的一位博士小姐姐Lisa PicciRillo，花了一周的时间将其解决了。
多年来，数学家们发现了形形色色的扭结，这些结在拓扑学上可切，但并不是平滑可切。然而，这些扭结的交叉都大于12。
而在交叉点数小于12的扭结中，只有康威结的切片状态一直无法找到。
康威扭结是否平滑可切为何如此重要？
因为平滑可切的扭结，为数学家提供了一条探索四维空间奇特属性的途径。
所以，康威扭结是否为平滑可切，成为了扭结理论重大突破的硬性标准。
Lisa认为，如果可以为康威扭结构造一个相同迹的扭结，那么也许可以更好地与可切不变性配合使用。
于是，她设法构造了一个复杂的扭结，它的迹与康威扭结相同。Lisa使用了一种叫做拉斯穆森S不变量（RaSMuSSen&Rsquo;s s-invaRiant）的工具。
结果显示她构造出来的扭结不是平滑可切的，因此推断出，康威扭结也不是平滑可切的。
TOP3：参加IMO的AI
数学已经有了数千年的发展历史，而人类的记忆力有限，即使是一流的数学家，也记不住全部的数学公式和定理。
于是很多数学科学家转向了“数学数字化&Rdquo;，将数千年累积的数学成果，建成一个数字图书馆。
在微软的一个名为Lean的软件程序上，数学家们建立了一个叫做Mathlib的数学基础数据库，这个数据库录入了数学专业大二学生应学到的所有知识。
他们将数学知识汇编成计算机语言，在庞大的数学公式定理库基础上，解决数学难题。
Lean做题的方法跟象棋、围棋AI的算法相同，都是遵循决策树，直到算法找到最优解。
目前，Lean正在筹划参加下一届的IMO（国际奥数竞赛），比赛结果尚未可知，也有不少人持悲观结果态度。
但是AI做复杂的数学题，是有特别成功案例的。
来自斯坦福大学、卡内基梅隆大学、罗彻斯特理工学院的几位计算机研究者，通过AI的方式，仅用40台电脑、30分钟就解决了困扰数学家90年之久的凯勒猜想。
那么，这一年在数学和计算领域还有什么新的突破呢？
几何学进展 内接方形问题
疫情期间，两位被封闭在家的科学家AndRew Lobb和Joshua GReene觉得百无聊赖。
于是他们动了动手指，解决了一个困扰百年的数学问题，这个数学难题，连陶哲轩都挑战失败了。
这个问题是：任何简单闭合环路，是否总能在其上找到四个点形成一个任意长宽比矩形？
这个问题也叫做内接方形问题，源自1911年。德国数学家OTTo ToeplITz预测称，任何简单闭合曲线，都包含四个可以连接形成正方形的点。
这句话听起来很简单，但从古至今，多少数学家费尽脑汁都没有证明出来。
1977年，数学家HeRbeRt Vaughan使用莫比乌斯带解这个内接矩形问题，取得了突破性的进展。
他证明，在三维空间的任何闭合环路中，都至少存在这样四个点，能够构成一个矩形。
天才数学家陶哲轩，使用积分方法，解决了特定情况下的内接方形问题。
他用积分方法证明，在曲线由两个常数小于 1 的 LIPschITz 图形组成的这种特殊情况下，该曲线一定存在四个能组成正方形的点。
但是两者都未证明：是否任意长宽比的矩形（包括正方形）都能存在。
在AndRew Lobb和Joshua GReene的方法中，他们将莫比乌斯带嵌入四维辛空间中，证明了莫比乌斯带可以嵌入到四维辛空间中而不相交。
这意味着每一个封闭的光滑曲线必须包含四个点的集合，这四个点可以连接在一起形成所有长宽比的矩形。
十二面体的新发现
数学家花了2000多年的时间，来研究正四、六、八、十二、二十面体，这些特殊形状也叫做柏拉图多面体。多年来，数学家仍对对它们知之甚少。
关于柏拉图多面体一直有个思考，假设从柏拉图立体的一个角出发，是否存在一条直线路径，不用经过其他角，就可以回到原来的角？
对于等边三角形或者正方形组成的四面体、立方体、八面体、二十面体，科学家得出的具体结论是：不存在。必须经过其他角，否则永远回不到出发点。
然而正十二面体是由五边形组成，是否也符合这个定理？
Jayadev AthReya，David Aulicino和PatRick HoopeR在《实验数学》杂志上发表了关于十二面体的研究。
他们认为，由于正十二面体由五边形组成，五边形和正十二面体又有几何上的联系，前者的高度对称性可以用于阐明后者的结构。
因此，研究者能够识别十二面体回到出发点所有直线路径，并根据十二面体的隐藏对称性对这些路径进行分类。
正十二面体存在无数条这样的直线路径，这些路径还可以划分为31个自然族。
数学思想的升华 升级Langlands数学桥
17世纪法国数学家提出了“费马最后的定理&Rdquo;。断言，当整数n>2时，关于x，y，z的方程x2+y2=z2没有正整数解。
1995年，它被英国数学家安德鲁&Middot;威尔斯（AndRew Wiles）证明，经历了300多年。
威尔斯同时提出了数学桥的概念。意思是，这个等式就是两个数学领域之间的桥梁，连接好这座桥，就解开了这个不定式。
然而这只是Langlands项目的一小部分。Langlands项目由加拿大数学家罗伯特&Middot;兰兰兹（RobeRt Langlands）提出，旨在研究数论与几何之间联系的网络猜想，被看作是现代数学研究的最大项目。
数学家们将这个方法扩展到有理数系数和椭圆曲线之间的联系。最近，还覆盖到了简单的无理数系数。但是涉及到了虚数，或者更高的指数，例如4或5，他们方法也不奏效了。
于是，芝加哥大学的FRank CalegaRi和FACEbook的科学家David GeRaghty为了克服上述障碍，在网上发布论文，是关于怎么建立一个更加通用的不定式的桥梁，并提出了三个猜想。
为了证实这三个猜想，数学家们迅速举办了一个秘密的研讨会，整理成了有10个人署名的论文。
虽然这篇论文的研究成果在数学领域的Langlands项目中取得了巨大的突破，但是对于指数大于6，或者2个变量以上的不定式，仍旧没有解决办法。
多项式与幂级数
物理学中的排斥力，在数学中也存在。
多伦多大学的 VeSSelin DiMITROV，就证明了它们的存在，并且获得了实验结果。
一般情况下，多项式的根数与其次数值一样多。所以X2 – 4具有两个根，而X 5 – 7 X 3 + 2 X 2 – 4 X – 9有五个根。
数学家很想知道多项式的根与根之间有什么联系。
这里引入一个分圆多项式，所谓的分圆多项式就是不可约的多项式，数学家发现其根遵循特定的几何方式，根都分布在一个圆内
