AI 与科学

AI 协助确定 Grothendieck 常数第一位小数：发现与证明如何分工

作者：沈南乔｜OC 社会影响编辑

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

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

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

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