似乎一夜之间 AI就攻陷了数学界

2023年开年之后，随着Chat gpt热潮的不断发展，出现了大量的大型语言模型，这些大模型也开始逐渐进入到被认为是人类智力专属的领域中。例如，一名华裔数学家陶哲轩在博客中表示，自己开始使用chat gpt 4协助办公。外国一家网站中由加州理工、英伟达和MIT等机构学者共同撰写的论文中的工作，就是朝着这方向迈出的第一步。他们构建了一个基于开源llm定理的机器，这些情况似乎都在表明，AI已经攻陷了数学这一人类智慧最纯粹的领域。

如果从实际情况来看，人类追溯本源已经有了100多年的历史，甚至计算机的发生与演变也与人类探索数学的进程有着密不可分的关系。1900年4月27日，英国皇家学会的演讲中，知名物理学家凯尔文男爵做出了最著名的物理学演讲，他的演讲题目叫做两朵乌云，后来这两朵乌云掀起了狂风暴雨，从中诞生了现代物理学的支柱理论，相对论和量子力学。

开尔文男爵发表演讲的同一年，知名数学家大卫希尔伯特在巴黎举行的第二届国际数学家大会中，提出了自己认为最重要的数学问题，他提出的这23个问题被后世认为是希尔伯特问题。针对这些问题，众多创业家做出了非常细致的研究，这很大程度上促进了20世纪的数学界发展。

按照希尔伯特的设想，自己想要建立起形式化的数学公理体系需要满足三个条件，即：完备性：能够发现所有数学真命题；自洽性：意思是指数学内部是不存在任何矛盾；可决定性：这个特性是能够去判断每一个数学命题的真伪性质。在希尔伯特看来，自己所关心的事情就是数学大厦究竟如何去建造。