AGI Hunt· sytelus·2026-10-27 23:56· 3 小时前AI 评分28

sytelus 谈 AI 生成数学证明骂战：谁先 prompt 的终究无人关心

sytelus 谈 AI 数学证明骂战:谁先 prompt 的终究无人 cares

AI 导读

sytelus 就近期 AI 生成数学证明的激烈互撕表示，长期来看没人会在乎谁最先 prompt 出证明。他认为围绕署名权的争论没有意义，价值最终归于证明本身。

来源：AGI Hunt · agihunt.info