科学AI正将数学界一分为二

过去几个月，人工智能行业开始攻克困扰数学家多年的难题。有些模型取得了重大进展，但实际成果究竟有多大并不总是清楚。The Verge的罗伯特·哈特将介绍OpenAI等公司的实际成果、它们与研究人员互动时糟糕的做法，以及人类数学是否还有未来。