主题

人工智能生成的数学证明

使用人工智能系统协助生成数学证明,以及随之而来的验证、透明度和署名归属问题。