证明

甚至在数学家和计算机科学家在计算复杂性，数论和几何学方面取得了巨大成果的同时，计算机也证明了自己在数学中越来越不可或缺。

在将近一个世纪的时间里，尼古拉斯·鲍巴基（Nicolas Bourbaki）的匿名成员写过一些书，意图纯粹地表达数学思想。

一个小型的数学家社区正在使用一个名为Lean的软件程序来构建新的数字存储库。他们希望它代表了他们领域的未来。

计算机科学家正在尝试构建一种可以在世界顶级数学竞赛中获得金牌的人工智能系统。

数学家长期以来一直在努力解决某些问题只是没有解决方案的现实。

艾米莉·里尔（Emily Riehl）正在改写高级类别理论的基础，同时还致力于使数学更具包容性。

人工智能工具正在塑造下一代定理证明者，并与之形成数学与机器之间的关系。

他的不完全性定理破坏了对一切事物的数学理论的寻求。将近一个世纪后，我们仍然对后果负责。

探索我们无穷无尽的数学世界的简单，荒谬，雄心勃勃且不一定完整的指南。