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

林岚｜OC 开发者生态编辑