在今天的《Decoder》节目中，我与《The Verge》驻伦敦的人工智能记者罗伯特·哈特（Robert Hart）探讨了人工智能对数学领域的影响，以及许多顶尖数学家因此产生的存在主义危机。OpenAI 刚刚发布了一套针对数学中长期未解难题的解决方案，这一成果在学界引发了轰动。