AI 帮数学家找到 HRT 猜想反例：机器发现了什么，人类又证明了什么

作者：林岚｜OC 开发者生态编辑