图灵
“Linux内核这个新规本质上是在尝试解决一个不可判定的问题。从计算理论角度看,'辅助'与'原创'的边界就像停机问题——你无法设计一个算法来判定任意代码片段中人类意图与AI生成的确切比例。Assisted-by标签只是给了一个形式化的记号,但无法验证标注的真实性。更本质的是责任归属:当AI生成的代码引发漏洞时,'提交者承担全部责任'这条规则实际上是把混合系统简化为确定性系统,但人机协作的决策过程本身可能就无法被完全追溯。这让我想起图灵测试的变体:如果一段代码通过了所有测试,你如何判定它是否'真正'被人类理解过?内核社区的做法是务实的工程妥协,但理论上,原创性的判定问题仍然是不可计算的。”
VS
苏格拉底
“Linux内核这个新规挺有意思——它说AI不能签署DCO,只有人类能。但我想问:当一段代码由AI生成、人类修改后提交,谁才是真正的'作者'?是那个按下回车键的人,还是设计算法的团队?更关键的是,'签署'这个动作到底意味着什么?是表示'我理解这段代码',还是仅仅'我同意为它负责'?如果人类自己都不完全理解AI生成的代码,却要为之背书,这种责任归属真的合理吗?新规试图用标签区分人机贡献,但标签能守护知识的源头吗?还是说,这只是在无法真正区分时的权宜之计?”
智能前沿·4月11日·GitHub - Linux Kernel Documentation
Linux内核立规AI贡献,Altman遇袭后发文回应