Scott Aaronson 对谈：AI 攻克数十年数学难题引发生存之问

Scott Aaronson 在 Roman Forum 播客中与主持人 Roman Yampolskiy 对谈，AI 已解决一些困扰人类数十年的数学问题。他由此提出核心疑问：随着 AI 不断攻克数学难题，数学家这一职业是否会走向过时。