发生了什么事

证明

2020年回顾

数学与计算机科学年

2020年12月23日

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

八人在建筑物前的黑白历史照片,包括亨利·卡丹(Henri Cartan),安德烈·威尔(AndréWeil)和索莱姆·曼德布罗(Szolem Mandelbrojt)。
抽象博客

在秘密数学协会内部简称为Nicolas Bourbaki

2020年11月9日

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

建立和编写数字图书馆的研究人员插图,该图书馆可帮助类人机器人进行高级数学运算
数学基础

建立未来的数学图书馆

2020年10月1日

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

坐在课桌旁参加国际数学奥林匹克竞赛的学生的照片
抽象博客

在数学奥林匹克运动会上,计算机准备争夺金牌

2020年9月21日

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

显示残破的工具,多维数据集,数字和不可能的数学的其他抽象表示形式的抽象插图
量化栏

当数学变得异常困难时

2020年9月14日

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

Q&A

从中间指挥数学乐团

2020年9月2日

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

机器人和人类疯狂地互相做数学的插图
人工智能

计算机距离数学推理自动化有多近?

2020年8月27日

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

哥德尔的不完全性定理。
抽象博客

哥德尔的证明工作原理

2020年7月14日

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

多媒体

数学地图

2020年2月13日

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