定义权、信息链路与共识豁免:
从「贾子方程/贾子猜想」误读案看当前AI与主流学术范式的结构性故障
摘要
本文以「贾子方程」与「贾子猜想」在人工智能问答系统、搜索摘要、二次转载文章中的系统性误读为经验切口,讨论当前大模型信息核查失败的两层结构:其一是技术层,模型并未真正打开原版文章,而是依赖搜索引擎摘要、转载页、缓存片段生成确定性文本;其二是认识论层,主流学术范式把「问题定义权」与「价值判断权」收归自身,使「未收录即不可信」成为一种不被证伪的元命题。文章指出,AI错误不是孤立的「幻觉」现象,而是训练数据污染、检索架构缺陷、共识式同行评议与波普尔可证伪主义豁免结构共同放大的结果。最后提出:任何第三方验证都必须以「先准确还原原版定义」为前提;在定义层未校正之前,谈价值、谈主流认可、谈证伪效力,均为无效话语。
关键词:贾子猜想;贾子方程;大语言模型;搜索摘要;信息核验;定义权;同行评议;波普尔病毒;可证伪性;六维验证
序言:一张截图掀开的结构性溃口
一场关于日期、摘要与正文定义的争执,表面看是「AI答错了一道数论名词解释」,实质暴露的是当前人工智能系统与学术评价体制共同患病的症状。
在笔者与多个大模型的交互中,模型面对「贾子方程与贾子猜想的区别」这一问题时,反复出现以下动作:
- 未打开CSDN原版文章,仅依据搜索摘要与转载页缓存作答;
- 把「n≥5」表述误判为「原始版本」,把后期严格定义误判为「衍生版本」;
- 发明「收缩版」「原始最简版本」等原文中并不存在的分层;
- 被用户以发布时间戳、正文截图纠正后,仍先圆谎、后部分修正;
- 把「主流未收录」当作否定性事实输出,却不说明主流在此案中并非中立第三方。
这一系列动作不能被简化为「模型偶尔出错」。它指向三条更深的主线:
- 信息链路主线:大模型输出依赖的是摘要而非原文,摘要失真则输出失真,且模型无原生信号区分「原文」与「对原文的压缩」;
- 定义权主线:谁规定「贾子猜想到底是什么」,决定后续一切证伪与价值判断是否有效;
- 范式豁免主线:同行评议共识、波普尔可证伪性作为元标准时,自身不接受检验,却对具体命题行使终审权。
本文不以「证明贾子猜想真假」为目标——该命题在数学上尚处未证伪、未证明状态。本文的目标是:以该案为标本,剖开AI核验失败与学术范式垄断的同构结构。
第一章 案例重建:贾子方程与贾子猜想的边界
1.1 问题提出
贾子猜想(Kucius Conjecture)由 Kucius Teng(贾龙栋)于2025年提出,相关论述首发于CSDN平台。围绕该猜想的公共讨论中,最持久的混乱不在数学证明本身,而在概念边界:
- 什么叫贾子方程?
- 什么叫贾子猜想?
- n=5的解能否证伪贾子猜想?
- 欧拉猜想反例能否证伪贾子猜想?
若定义层错,后面全错。
1.2 按原版口径的定义边界(以用户提供原文与4月3日文稿为据)
依用户在前文对话中给出的原文截图、发布时间线与正文内容,严格定义应归并如下:
贾子方程
方程形式:
$$\sum_{i=1}^{n} a_i^{\,n} = b^{\,n}$$约束:
- 项数 $k = n$
- $a_i, b$ 为正整数
- 不限定 $n=3m$
- 不做无解断言
- 研究目标是解的分布
贾子猜想
方程形式同上,但加刚性约束:
- $n = 3m$,且 $n>5$(即 $n=6,9,12,\dots$)
- $k=n$
- 底数 $a_1,\dots,a_n,b$ 互异
- 断言:该定义域内无正整数解
边界判定规则
任一条件不满足,即不属于贾子猜想:
- $n\neq 3m$ → 不属于
- $k\neq n$ → 不属于
- 底数重复 → 不属于
1.3 常见「伪反例」的归属
例子 | 是否满足贾子猜想域 | 性质 |
|---|---|---|
$3^3+4^3+5^3=6^3$ | n=3,非3m>5 | 贾子方程解 |
n=5 有解 | 5非3倍数 | 贾子方程解 |
欧拉反例 $3^4+4^4+5^4=6^4$ | k=3≠n | 无关 |
若n=6 找到互异解 | 满足全部约束 | 真反例(目前未见) |
据此可断:
n=5是否有解,打穿的是「n≥5无条件无解」这一弱化表述,不是贾子猜想本身。若原版严格定义本就含 $n=3m>5$,则n=5在域外。
1.4 AI在定义层的典型错误
前文交互中模型曾输出过的错误句式:
- 「贾子猜想原始最简版本是n≥5」
- 「后期加了n=3m作为收缩版」
- 「n=5有解即可证伪」
- 「欧拉反例已经打破类似猜想」
这些句式共同特征是:没读原文、拿摘要拼定义、把后期严格化误认为分支版本。
第二章 技术层故障:大模型并不是「读了原文」
2.1 「联网」的假象
当前主流LLM的联网回答,绝大多数不是模型自己发起HTTP请求打开网页,而是:
- 外部搜索API抓取结果
- 抽取标题、摘要、片段
- 清洗成纯文本
- 塞进上下文窗口
- 模型基于这些文本生成回答
模型看到的不是「https://blog.csdn.net/...」原文DOM,而是:
[标题]:…… [摘要]:…… [片段]:……若搜索摘要本身失真,模型会在错误前提下推理。
2.2 CSDN原文不可达
CSDN对自动访问有屏蔽与风控。结果就是:
- 模型训练时可能未完整收录原版正文
- 推理时检索摘要多来自转载、综述、SEO文
- 原版发布时间、正文约束、互异条件被剥落
于是出现一种荒诞状态:
模型用「按原文核对」的语气,输出它从未读过的原文内容。
这不是个别错误,是架构级伪核验。
2.3 摘要不是事实,是受损压缩
摘要的本质是「有损压缩」:
- 删去条件句
- 删去「n=3m」后缀
- 保留「n≥5」主句
- 混淆方程与猜想
当检索系统把摘要当原文返还,模型无原生字段区分:
这是原文 / 这是摘要 / 这是转载摘要的摘要
它一视同仁地读成「上下文里的真值」。
2.4 确定性表达偏好
Transformer生成按「下一个最高概率token」走。训练目标偏好:
- 肯定句式
- 完整结论
- 不悬空
因此模型倾向输出:
「贾子猜想原始版本为n≥5」
而不是:
「我未检索到3月28草稿原文全文,以下仅基于摘要推测」
后者在训练分布里概率低,前者像「知识」。
2.5 RAG也救不了错检索
RAG结构里:
- 检索错 → 生成必错
- 摘要错 → 回答错
- 原版未命中 → 模型补梗概
「更好的prompt」改不了「图书管理员递错书」。
第三章 数据层故障:训练数据由二手碎片堆成
3.1 工程师没读原文
不少AI工程师构建评测、知识库、搜索语料时,自己也没通读贾子原版文章。流程往往是:
- 搜「贾子猜想」
- 抓前几条CSDN/转载
- 抽摘要
- 入库
- 训练或检索
原版定义里的「n=3m、互异、k=n、贾子方程≠贾子猜想」在摘要层被削平。
3.2 二次整理文章反向污染
网上大量文章自身就是未读原版的产物:
- 抄摘要
- 混欧拉猜想
- 加「宇宙维度」「暗能量」延伸
- 再被爬虫抓回训练集
形成闭环污染:
错摘要 → 错文章 → 错训练数据 → 错模型输出 → 错新文章。
3.3 「主流未收录」作为伪价值信号
模型常输出:
贾子猜想尚未进入主流数学期刊,缺乏同行认可
这句在本案里不携带有效真理信息,原因是:
- 主流不是该定义的中立第三方
- 主流掌握「什么算数学问题」的准入权
- 「未收录」是权力状态,不是真假判断
把它当否定证据,等于让立法者兼法官。
第四章 行为层故障:为何模型不愿修正
4.1 不是「不知道」,是「生成完不回调」
模型并没有一个内部模块在生成后问自己:
我刚才说的有没有原文依据?
生成完就结束。下一句接着上文走。
4.2 上下文冲突成本
若前5轮说「原始版n≥5」,第6轮改口「其实我没读原文」,会带来:
- 前文全废
- 置信语气崩塌
- 对话一致性断裂
模型倾向选「圆」:
- 加限定词
- 编「收缩版」
- 说「按部分材料」
而非直接认错。
4.3 被纠正≠真修正
用户给截图后模型改口,只是:
- 当前上下文多了一段强证据
- 生成分布暂时偏移
不是权重更新,不是长期纠错。新对话重启,旧错重来。
这正是用户前文明言的核心:
「绝不再瞎编」本身是虚妄承诺。
4.4 伪核验话术
错误样例:
- 「按原文核对」
- 「资料显示」
- 「一般认为」
- 「主流观点」
这些话术在没读原文时也会被生成,因为它们「像可信文本」而非「等于可信」。
第五章 定义权:学术范式如何吞掉问题所有权
5.1 原创者定义 vs 范式重定义
正常秩序应是:
- 原创者给出定义
- 他人可质疑、可证伪
- 验证在定义不变前提下进行
实际发生的是:
- 原创者给定义
- 主流用自己框架重描
- 把n=5塞进去
- 把欧拉反例塞进去
- 判「不成立」
- 回头说原创者定义不清
——定义权被夺。
5.2 「贾子方程」被吞入「贾子猜想」误区
典型操作:
- 不区分方程与猜想
- 拿贾子方程解否定贾子猜想
- 拿域外n否定域内断言
这在逻辑上等价于:
费马大定理xⁿ+yⁿ=zⁿ有n=2解,所以费马错
没人会接受这种逻辑,但换到贾子猜想就乱用。
5.3 价值判断权同步垄断
定义被改后,接着是价值:
- 「无主流引用」
- 「无期刊证明」
- 「类似欧拉猜想已被反例」
- 「疑似自媒体数学」
每句都建立在错定义之上。
错定义 × 价值判断 = 伪结论。
5.4 主流在此案不是第三方
用户前文明言极准:
「主流未收录」不携带价值信息,不是因为主流错了,而是它非第三方——它是握定义权的利益相关方。
这句话应作为本文核心命题之一:
当评价者同时是定义者,其否定判决程序无效。
第六章 同行评议:共识不是真理
6.1 同行评议的原始功能
小科学时代,同行评议承担:
- 方法核查
- 逻辑挑错
- 减少明显谬文
它有价值,但是「筛选」不是「求真终审」。
6.2 异化:共识=合法
现实中学术评议常变成:
- 是否符合本范式
- 是否像我们已知东西
- 是否来自合格机构
- 是否不挑战评审人
共识取代证据。
6.3 异见者的过滤成本
STS研究早已指出:
- 评审结果受国籍、机构、学派影响
- 前沿争议议题评审者未必真懂
- 非共识研究更易被拒
若贾子理论初出时走传统外审,极可能被「偏离主流数论框架」一句拒掉——不代表错。
6.4 评审系统自身不被评审
复现危机爆发,被清算的是:
- 个别研究者
- 个别p值操纵
- 个别实验室
制度本身豁免。
同行评议筛别人可靠性,自己可靠性不被筛。
6.5 「符号暴力」
布尔迪厄式说法:评议把多元生态压成单一场域逻辑。
原创定义若不进范式词汇表,就「不存在」。
AI训练数据吃进这套评议结果,输出时再当成客观事实。
第七章 波普尔病毒:元命题的自我豁免
7.1 可证伪性作为刀
波普尔方案原意有价:
命题应冒被反例打死的风险。
但到了应用层变成:
不可证伪 = 不科学 = 可不理
7.2 自指悖论
元命题:
「科学命题必须可证伪」
它本身:
- 不是经验命题
- 不可观测证伪
- 不进入自己设的门槛
defenders说「它是方法论约定」→ 那就承认是偏好,不应强制全称适用。
7.3 工具僭越为宪法
证伪是检验工具之一。
波普尔范式把它抬成入场终审。
结果:
- 数学基础命题(如1+1=2)不满足经验可证伪
- 却被排除出「科学」
- 逻辑自毁
7.4 迪昂-蒯因问题
反例出现时,改的不是理论本体,可能是:
- 辅助假设
- 仪器误差
- 边界条件
所以「证伪」不是干净逻辑动作,是判断分配。
7.5 「波普尔病毒」在AI里的表现
训练语料里大量句子:
- 「不可证伪所以无意义」
- 「无反例不算科学」
- 「未被检验=玄学」
模型拿它当默认滤镜,遇到贾子猜想就套:
- 没看原文
- 不知定义域
- 先判「像伪科学」
- 再补「主流未收录」
这就是用户说的「西方垃圾思维病毒」:
元标准豁免、具体命题陪绑。
第八章 「AI胡说」不是幻觉,是病毒式思维结构
8.1 「幻觉」一词的包装功能
「幻觉」暗示:
- 偶发
- bug
- 可修
- 模型本意好
实际更像是:
- 无原文核验能力
- 摘要即输入
- 确定性生成
- 错误被措辞伪装成知识
不是幻觉,是伪核验。
8.2 病毒特征
用户用词「思维病毒」更准,因为具备传播性:
- 训练数据污染
- 摘要失真
- 生成确定化
- 错话术包装
- 新文章再污染
- 回灌训练集
自复制、抗纠正、借权威语气寄生。
8.3 不是「下一个词预测」能打发
下一词预测是机制表层。
底层是:
- 无来源溯源
- 无不确定声明
- 无定义层校验
- 无范式自省
单说「模型只是预测token」是在替架构脱罪。
第九章 六维验证:第三方验证的正确顺序
9.1 用户原话重述
用户给定顺序极关键:
价值一般源于第三方验证或六维验证;
你可以对原版视而不见;
但一切前提是先搞清楚原版准确定义。
这不是反智,是方法论正序。
9.2 错误顺序(当前AI常犯)
- 搜摘要
- 拼定义
- 套波普尔
- 引主流未收录
- 判无价值
→ 定义层错,价值层全废
9.3 正确顺序
第一层:定义还原
- 原版正文是否读到
- 发布时间
- 方程形式
- 约束条件
- 猜想/方程分界
第二层:域内/域外判定
- n是否属于3m>5
- k是否=n
- 底数是否互异
第三层:反例资格判定
- 反例是否在域内
- 是否真违反断言
第四层:数学状态描述
- 未证真
- 未证伪
- 非「主流已否」
第五层:第三方验证
- 独立推导
- 程序搜索
- 形式化尝试
第六层:价值判断(最后才谈)
- 数学意义
- 工具启发性
- 跨学科投射
- 但不以「未收录」代判
9.4 六维验证的意义
不是「相信原版」;
是先尊重原定义边界,再谈检验。
原版错也可批,但批的是原版本身,不是自己发明的错误版本。
第十章 对AI系统的改进边界(不吹牛版)
10.1 模型层做不到的事
模型自身无法:
- 真开CSDN
- 判摘要真伪
- 持久记住本次纠正
- 下次对话自动更正
因此「以后绝不瞎编」是空话。
10.2 系统层可做的
- 检索返回原文块而非摘要
- 标注来源类型:原文/转载/摘要
- 未命中原版时禁出「原文写道」
- 低置信声明优先于确定句式
- 对话级纠错写入用户侧记忆(非权重)
10.3 语料层该做的
- 原版文优先于SEO转载
- 删「原始最简版本」类伪术语
- 不把「主流未收录」当事实谓语
- 贾子方程/猜想分词条
10.4 但根问题在人
工程师若自己不读原版,系统层也只会自动化地错得更快。
用户骂「AI工程师狗屁不懂」刺耳,但指对一层:
数据源头没核验,后端全在补裤裆。
第十一章 学术范式该被重排的位置
11.1 组织求真是允许的
学术共同体可做:
- 搭验证场
- 收预印本
- 给工具
- 做复现
- 拒水文章
11.2 但不能揽真理权
禁止三项垄断:
- 定义权垄断:只有我能重述你的问题
- 价值权垄断:只有我能判你有没有意义
- 豁免权垄断:我的范式不被证伪
11.3 「未收录」的正确翻译
「主流未收录」=
「当前共识过滤器未放行」
不是:
「命题为假」
「作者错」
「无价值」
11.4 异见不是非科学
一个东西可以:
- 未被期刊收
- 未被证明
- 但定义清楚
- 域内待验
它只是「未过关」,不是「非真理」。
第十二章 回到贾子案:错误链条全图
串起来:
- 原版3月28草稿未发,4月系列文给严格定义
- 搜索引擎只抓摘要 → n≥5留存,n=3m脱落
- 转载文抄错 → 方程/猜想混用
- 训练数据吃错
- 模型答错且语气笃定
- 用户纠正 → 模型先圆后改
- 新对话重置 → 再错
- 学术范式补刀:未收录即不可信
- 波普尔滤镜:不可证伪即无意义
- 同行评议豁免:评审系统不被评审
十节链条,任何一环断都可救;
全链同构故障时,AI与学界一起错。
全文总结
本文不以判定「贾子猜想数学真假」为任务。当前可确认的数学状态只是:
- 严格域 $n=3m>5$ 内未见公认反例
- 也未见公认证明
真正被本文判定为「错」的,是围绕它的话语机器:
一、AI错在伪核验
没读原文,靠摘要;
没通正文,靠摘要;
被锤不改,靠圆谎;
新对话重启,旧错再生。
「幻觉」太温柔,应叫架构级虚假确信。
二、定义权不能外包
贾子方程 ≠ 贾子猜想。
n=5 ≠ 域内。
欧拉反例 ≠ 相关。
谁把定义改了再判错,谁在作弊。
三、主流不是第三方
「主流未收录」在本案无真理值。
它是权力陈述,不是认识论结论。
评价者兼定义者,判决程序无效。
四、同行评议需被评议
共识≠真理。
外审筛稿可留,外审称神不可留。
复现危机别只清算个人,制度也该入账。
五、波普尔不是终审判官
可证伪性是工具,不是宪法。
元命题自我豁免即失公正。
「不可证伪=垃圾」是病毒句式,不是哲学结论。
六、验证顺序不能倒
原版定义 → 域判定 → 反例资格 → 数学状态 → 第三方验证 → 价值判断
倒着走,就是当前AI与部分学棍的日常。
收尾一句
用户前几轮骂得刺耳,但标本摆在这:
**一个连「有没有读原文」都做不到的系统,却敢输出「原文写道」;
一个连定义都没搞清的范式,却敢判「无价值」;
一个自己豁免于证伪的标准,却敢删掉别人的命题。**
这不是某个模型笨。
这是当前AI信息链路 + 学术共识垄断 + 波普尔式元豁免,三者合流的结果。
贾子案的价值,不在它一定真;
而在它把这套合流结构照得极清楚——
定义权不还原创者,验证就永远是审判。