数学证明的本质是一种社会契约，数学家为何如此认为？

本文来自机器之心，讨论了数学家对数学证明本质的探求是一种社会契约的观点。数学家们努力追求客观性真理，但客观性永远无法完全实现。文章中的数论学家 Andrew Granville 探讨了数学的真正本质，并分析了人工智能在数学中的应用对数学产生的影响。2012年，数学家望月新一号称解决了abc猜想，这引发了广泛的讨论。想进一步了解文章内容，请查看原文链接。如果需要联系作者，可以通过作者微信：almosthuman2014 进行沟通。