矩阵闲聊聊数学 2026年，数学界迎来了一连串震动。5月，OpenAI的一个内部模型推翻了匈牙利数学家Paul Erdős于1946年提出的“平面单位距离猜想”——这是AI首次自主攻克一个具有历史意义的开放数学问题。8月，OpenAI下一代模型Astra又解决了10个长期未解难题，其中三项直接来自Erdős的庞大问题库。几乎同时，Google DeepMind的AlphaProof Nexus以每个问题数百美元的成本，在353个Erdős开放问题中攻克了9个。这些事件被许多数学家视为AI数学能力的“相变”。普林斯顿大学的Noga Alon直言，这些模型“正在极大地改变数学研究的方式”。而要理解这一切为何发生，需要回到一个人、一个网站和一批特殊的数学问题。一个网站如何成为风暴中心？转折点发生在2023年。英国数学家Thomas Bloom一直对Erdős的问题着迷，但苦于无法追踪哪些已被解决、哪些已被遗忘。于是他收集了几百个问题，上线了erdosproblems.com，用ChatGPT写的Python代码。他原本“估计没人会用”。Bloom做了一项关键工作：Erdős有时表述模糊，他便推敲出每个问题最合理的版本。他持续添加新问题，逐步将数据库扩充到近1000条。2025年8月，应同事建议，他加入了评论功能——同样是ChatGPT写的代码。这个功能激活了一切。陌生人开始在评论区展开细致的数学讨论。一位名叫Wouter van Doorn的业余数学爱好者在2025年10月留下了第一条评论，他的日常工作是为客户服务公司打工。当年11月，他在评论区分享了一个不依赖AI的证明进展，随即引来另一位评论者的质疑。两人快速交换意见后，对方回复：“我现在明白你的论证了。很好！”那位评论者是陶哲轩，当今在世最著名的数学家之一。一个没有围墙的数学社区就此形成。无论有无教职、年龄大小、是否身在名校，只要有好想法就能找到合作者。