Claude 没证明黎曼猜想，却把一个下界从 41.6% 推到 67.2%

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

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

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

AI 正在用“反例”击败数学家的直觉：它擅长的可能不是像人一样证明

林岚｜OC 开发者生态编辑