图片来源：Pixabay21年前，克雷数学研究所发表了数学领域内7个顶尖难题——“千禧年大奖难题”。解答这些问题将给基础数学带来不可忽视的全新见解，甚至可能通过密码学等技术对现实世界产生影响。而如今，这些问题只有1个得到了解决。数学中的重大问题通常不总会像其他科学领

关于是否会存在定理证明机，在理论上人们是有过不同的看法的。有些人认为不可能，如著名数学家庞加莱；而有些人却觉得是可能的，并从理论上进行了论证，如著名的数理逻辑学家塔尔斯基。同时他还指出初等代数和初等几何范围的定理证明是可以实现机械化的。而在希尔伯特的《几何

在世界数学难题中，最著名的当属7个千禧问题了。这是一系列的问题，解决其中任何一个都可以获得100万美元。黎曼假设是最容易表述的，所以有很多关于它的文章。庞加莱猜想是迄今为止唯一一个被解决的，因此也有许多关于它的文章。这篇文章将要讨论的问题叫做霍奇猜想（Hodge C

#「闪光时刻」主题征文 二期#费尔马在1637年左右读丢番图《算术》中的一个命题：“将一个平方数分为两个平方数”时，用拉丁文写下了这样一段千古之谜的批语。将一个立方数分为两个立方数；一个四次幂分为两个四字幂；或者一般地将一个高于二次的幂分为两个同次幂之和。这是不

2018年某个平静的上午，一位89岁的老人在一个普通获奖者论坛上发表演讲。老人慷慨激昂的演讲老人慷慨激昂，台下一片寂静。40多分钟后，演讲结束。在长达10多秒之久的观众掌声之后，老人问大家，有没有疑问。台下又陷入一片沉默，老人开始着急：“Come on!”半分钟过后，一位印