如果一项数学证明成立,一般意味着它成为了纯粹的客观真理。但是,如果没有人能看懂证明,那对于数学家来说意味着什么?数学家渴求的客观真理能否真正实现?特别是在人工智能迅速发展的今天,相关工具已被用于数学证明,这会对数学本身产生什么样的影响?量子杂志(Quanta Magazine)就这些数学本质问题采访了数论家 Andrew Granville ,后者认为,数学证明是一种社会契约,而客观性永远无法完全实现。
编译 | 机器之心
Andrew Granville 在蒙特利尔大学校园内。图片来源:Alex Tran/Quanta Magazine
但在此后的几十年中,他发表了超过 175 篇论文,大部分是关于数论的。他还因为向大众撰写数学文章而广受欢迎,在 2019 年,他与做编剧的姐姐 Jennifer 合作,共同创作了一本关于素数和相关概念的漫画小说。2023 年 7 月,他的论文 How We Arrive at Our Truths 被发表在《数学与哲学年刊》(Annals of Mathematics and Philosophy)上。他计划与其他数学家、计算机科学家和哲学家一起,在明年的《美国数学学会公报》(Bulletin of the American Mathematical Society)上发表一系列关于机器如何改变数学的文章。