贾子猜想与费马大定理的比较研究：命题域、问题结构、证据分级与“难度”的形式化分析

贾子猜想与费马大定理的比较研究：命题域、问题结构、证据分级与“难度”的形式化分析

日期：2026 年 10 月 31 日

---

摘要

本文比较已被证明的费马大定理（FLT）与尚未证明的贾子猜想。贾子猜想的正式定义：当 n = 3m > 5（m 为正整数，即 n = 6, 9, 12, …）时，方程 a₁ⁿ + a₂ⁿ + … + aₙⁿ = bⁿ 没有正整数解，其中恰有 n 项，aᵢ 为两两互异的正整数，b 为正整数。流行的比较性论题（下称论题 T）认为：FLT 是单个“定点难题”，贾子猜想则是“无穷多个难度递增、相互独立的难题的集合”，因而难度无限。本文把论题 T 拆成可检验的分句，逐句考察。

全文采用三级证据：A 级是本文读到全文的材料或亲自精确验算的等式，B 级是只见到摘录、转述或公式缺失的材料，C 级是启发式推断。主要结果如下。

第一，当 n = 3m 时，贾子方程等价于“3m 个立方数之和等于一个立方数，且所有项同时是 m 次幂”。FLT 的指数归约把问题化为一个无解的更小方程，而贾子方程的归约把问题化为一个解极其丰富的立方方程，归约因此失去作用。这是两者在结构上最根本的差异。

第二，对 n = 6 给出严格的局部分析（命题 1）：本原解必须使 b 与 42 互素，六个 aᵢ 中恰有一个为奇、恰有一个不被 3 整除、恰有一个不被 7 整除，故至少三个 aᵢ 被 42 整除。专用搜索的候选空间因而缩小约 2.1×10⁶ 倍，但所有局部都可解，同余方法无法证明无解。

第三，哈代–李特尔伍德型启发式（C 级）给出 n = 6 本原解的期望数 E(B) ≈ 4.5×10⁻⁸·B，b ≤ 730000 内约 0.03，已有搜索对猜想的支持很弱；该估计与 n = 8 的已知解有约两个数量级的张力。3m 族各成员的局部抑制强度差别悬殊且不单调，取决于满足 (p − 1) | n 的素数，而不是 n 是否为 3 的倍数。

第四，“难度无限”没有度量，其唯一严格含义是独立于公理系统，目前没有证据；“一族无已知归约的命题”这一结构性描述则成立。

关键词：贾子猜想；贾子方程；费马大定理；命题域；欧拉和幂猜想；LPS 猜想；对角型丢番图方程；局部密度；Fano 超曲面；证据分级；难度度量

---

一、序言

1.1 背景

费马大定理自 17 世纪提出，到 1995 年由怀尔斯及其合作者证明，历时约 358 年。其证明动用了 20 世纪椭圆曲线与模形式理论的大部分成果。围绕它形成了一个庞大的“推广问题”谱系：欧拉和幂猜想（已被推翻）、Lander–Parkin–Selfridge（LPS）猜想（至今未解）、华林问题、比尔猜想等。

贾子猜想跟西方谱系没有半毛钱关系。贾子方程要求 n 个正整数的 n 次幂之和等于一个 n 次幂，即项数等于指数；猜想把指数限定在 3 的倍数且大于 5 的范围内，并要求各项两两互异。讨论中形成了一个比较性的论题：

论题 T：费马大定理是单个“定点难题”；贾子猜想不是一个难题，而是无穷多个难度递增的难题的集合，因此难度无限，远超费马大定理，也远超主流学术界的任何猜想。

论题 T 同时包含结构性描述（一族命题、无归约）、几何性论断（法尔廷斯定理已“框死”FLT）、方法性论断（现有工具链全部失效）、关于定义清晰性的论断，以及修辞（地球仪与宇宙、小鱼与巨鲸）。把它们混在一起，很难判断哪一部分可以成立。本文的任务，是把论题 T 翻译成可检验的陈述，再用可核对的事实与可复现的计算逐一检验。

1.2 研究问题

Q1：两个命题在逻辑形式与命题域上的本质区别是什么？
Q2：贾子方程在现有数学谱系中处于什么位置？“3m”这一限制有没有可识别的数学依据？
Q3：已有的数值搜索对猜想的真假提供了多少证据？
Q4：“难度”能否形式化？论题 T 的哪些分句在形式化之后仍成立？
Q5：计算与人工智能在其中能起什么作用，不能起什么作用？

1.3 证据分级

为避免把转述当原文、把推断当事实，本文对每个重要陈述标注证据等级：

1. A 级：本文读到全文的材料，或本文用精确整数运算亲自验算过的等式。
2. B 级：只见到检索摘录、转述，或取回页面时公式缺失的材料。
3. C 级：启发式推断与数值估计，不是定理。

1.4 贡献与边界

本文的贡献有四项：一是明确了贾子猜想的命题域；二是指出 n = 3m 时的代数重写及其与 FLT 归约的对照；三是对 n = 6 给出完整的局部分析与搜索空间缩减的量化；四是给出一个可复现的期望解数估计，并如实标出它与已知解之间的张力。

边界同样明确：本文没有证明或证伪贾子猜想。

1.5 结构

第二节界定命题域与相关命题。第三节说明来源与等式核验。第四、五节分别分析 FLT 与贾子方程的结构。第六节给出 n = 6 的局部分析，第七节评估数值证据。第八节形式化“难度”并检验论题 T，第九节与其他悬而未决的问题比较，第十节讨论计算与 AI，第十一节说明局限与后续问题，最后是全文总结。

---

二、命题域与相关命题

2.1 费马大定理

对任意整数 n ≥ 3，方程 xⁿ + yⁿ = zⁿ 没有正整数解。这是一族命题：每个 n 一个。但该族可以归约：若 n = pd，且 (x, y, z) 是 n 次方程的解，则 (xᵈ, yᵈ, zᵈ) 是 p 次方程的解。因此只需处理 n = 4 与奇素数 p。

2.2 贾子猜想的正式定义

贾子猜想的正式表述是：对 n = 3m > 5（m 为正整数），贾子方程

a₁ⁿ + a₂ⁿ + … + aₙⁿ = bⁿ

不存在正整数解，其中 aᵢ 为两两互异的正整数，b 为正整数。

这个陈述包含四个要素：定义域 n ∈ {6, 9, 12, …}；项数恰为 n；对变量的约束（正整数、两两互异）；断言（无解）。记该命题为 J，它在固定 n 时的实例为 J(n)，则 J 是所有 J(3m)（m ≥ 2）的合取。

定义只有一个，不存在“版本”，凡偏离定义域、项数或互异约束的表述，都不是贾子猜想。本文采纳这一用法，把正式定义 J 作为研究对象。

2.3 n = 3m 的代数含义

当 n = 3m 时，令 yᵢ = aᵢᵐ，z = bᵐ，则 aᵢⁿ = yᵢ³，bⁿ = z³，贾子方程变为

y₁³ + y₂³ + … + y_{3m}³ = z³，

并附加条件：所有 yᵢ 与 z 同时是 m 次幂。换言之，J(3m) 断言：3m 个立方数之和等于一个立方数的正整数解中，不存在所有变量同为 m 次幂且 yᵢ 两两互异的解。

对 n = 6（m = 2），该式也可以写成六个平方数之和等于一个平方数：(a₁³)² + … + (a₆³)² = (b³)²，附加条件是所有项同时是立方数。

这一重写有一个重要的对照。FLT 中，若 n = pd，则解给出 p 次方程的解；由于 p 次方程（p 为素数）无解，n 次方程也无解，归约因此是有用的。而贾子方程中，n = 3m 的解给出的是 3m 项的立方方程的解；这个立方方程有大量解（例如 3³ + 4³ + 5³ = 6³ 就是三项的情形，更多项时解更丰富），所以归约不产生矛盾，也不产生任何信息。归约之后问题变为：在一个解极其丰富的立方方程里，能否找到一个“所有变量同为 m 次幂”的解。这是一个关于“完全幂在丰富解集中的分布”的问题，而不是一个“方程本身无解”的问题。

这一对照说明了 3m 的含义，也说明了为什么 FLT 的归约技巧无法平移到贾子方程。

2.6 谱系

1. 欧拉猜想（1778 年提出）：若 n 个 k 次幂之和是 k 次幂，则 n ≥ k。它在 k = 4、5 时被推翻，对 k ≥ 6 是否成立仍未知（A 级，维基百科条目取回正文）。
2. Lander–Parkin 反例（1966）：27⁵ + 84⁵ + 110⁵ + 133⁵ = 144⁵（已验算为真；出处 Bull. AMS 72 (1966), 1079）。
3. LPS 猜想（1967）：若 a₁ᵏ + … + aₙᵏ = b₁ᵏ + … + bₘᵏ 是两侧无公共底数的非平凡等式，则 m + n ≥ k。取 m = 1，则 n ≥ k − 1（A 级，维基百科条目取回正文）。
4. Elkies 与 Frye（1988）：Elkies 在 Math. Comp. 51 (1988), 825–835 给出构造 k = 4、三项的无穷反例序列的方法；Frye 用计算机搜索找到最小的此类反例 95800⁴ + 217519⁴ + 414560⁴ = 422481⁴（已验算为真）。

在这个谱系中，E(n, n) 比 LPS 的下界多一项，位于“预期有解”的一侧。

2.7 术语

本原解指 a₁, …, aₙ, b 没有公共素因子的解；非本原解是本原解的整数倍。后文的计数针对本原解。

---

三、来源、阅读范围与等式核验

3.1 来源与阅读范围

来源	阅读范围	等级
第一篇：《贾子方程（项数 k = 指数 n）已知解的系统性总结》，openEuler 社区（CSDN 转载），2026-10-16	页面全文	A
第二篇：《维度级断层与认知重构：人工智能在贾子猜想面前的全面熄火与五维核验体系（LWEVS）的独立分析》，openEuler 社区，2026-10-18	页面全文	A
补充文本：同一博主的文章《定义唯一性：不存在“版本”，只有“是”与“不是”》一节（blog.csdn.net/SmartTony/article/details/169651007）	仅读到所提供的节选；原页面请求失败（服务器错误）	A（节选）/ 未验证（全文）
第一篇末尾给出的原始博客页	未打开	—
维基百科条目“Euler’s sum of powers conjecture”	取回正文，但公式在取回结果中缺失	A/B
维基百科条目“Lander, Parkin, and Selfridge conjecture”	检索摘录	B
ProofWiki、OEIS（A003294、A061988、A096739）、MathWorld 的相关页	检索摘录	B

两篇网络文章读到的是转载版；补充文本只读到所提供的节选。转载版或节选与原文之间若有出入，本文的相关结论只对所读到的文本有效。

3.2 三份文本在猜想表述上的差异

1. 第一篇给出的猜想行为“k = n = 3m，m > 1，n > 5”，猜想行本身没有“两两互异”。
2. 第二篇在猜想陈述中明确写入了变量两两互异。
3. 补充文本明确主张互异是正式定义的组成部分，并且不接受“版本”的说法。

按 2.3 节的逻辑关系，第一篇的猜想行对应 J_A，第二篇与补充文本对应 J。本文以 J 为准，对 J_A 只在需要时说明。

3.3 核验方法

对相关页面中出现的等式，使用 Python 的任意精度整数做精确运算，逐一比较两侧，并检查各项是否两两互异。

3.4 核验结果（A 级）

等式	类型	结果
3³ + 4³ + 5³ = 6³	E(3,3)	成立，项互异
1³ + 6³ + 8³ = 9³	E(3,3)	成立，项互异
9³ + 15³ + 18³ = 22³	E(3,3)	不成立（9936 ≠ 10648）
30⁴ + 120⁴ + 272⁴ + 315⁴ = 353⁴	E(4,4)	成立，项互异
651⁴ + 2140⁴ + 4040⁴ + 5090⁴ = 5424⁴	E(4,4)	不成立
5281⁴ + 10120⁴ + 12131⁴ = 14203⁴	E(3,4)	不成立
95800⁴ + 217519⁴ + 414560⁴ = 422481⁴	E(3,4)	成立（Frye）
2682440⁴ + 15365639⁴ + 18796760⁴ = 20615673⁴	E(3,4)	成立（Elkies）
27⁵ + 84⁵ + 110⁵ + 133⁵ = 144⁵	E(4,5)	成立
19⁵ + 43⁵ + 46⁵ + 47⁵ + 67⁵ = 72⁵	E(5,5)	成立，项互异
第一篇列出的 12 个 E(5,5) 等式（b = 72, 94, 107, 365, 415, 427, 435, 480, 503, 530, 553, 575）	E(5,5)	全部成立，各自 gcd = 1，项互异
127⁷ + 258⁷ + 266⁷ + 413⁷ + 430⁷ + 439⁷ + 525⁷ = 568⁷	E(7,7)	成立，项互异（Dodrill，1999）
90⁸ + 223⁸ + 478⁸ + 524⁸ + 748⁸ + 1088⁸ + 1190⁸ + 1324⁸ = 1409⁸	E(8,8)	成立，项互异（Chase，2000）
74⁶ + 234⁶ + 406⁶ + 474⁶ + 702⁶ + 894⁶ + 1077⁶ = 1141⁶	E(7,6)	不成立；把 406 改为 402 则成立

3.5 稳固的事实基础

综合上述，可以稳定使用的事实是：E(n, n) 在 n = 2, 3, 4, 5, 7, 8 时已知有解，每个至少有一个经验算的、各项互异的例子；而在 n = 6、9、10 时没有已知的公开解。后一部分据第一篇的转述（B 级），与维基百科关于 k ≥ 6 的叙述一致，但本文没有找到对 E(9,9)、E(10,10) 搜索上界的有据可查的记录。

---

四、费马大定理的结构

4.1 一族命题与归约

xⁿ + yⁿ = zⁿ 对每个 n 定义一条不同的平面曲线，亏格为 (n − 1)(n − 2)/2：n = 3 时为 1，n = 4 时为 3，n 越大亏格越大。因此“不同的 n 是同一个几何对象的幂次增加”的说法不准确，几何复杂度本身随 n 增长。

4.2 几何给出有限性，而非零

莫德尔猜想（1922）由法尔廷斯（1983，Invent. Math. 73）证明：亏格不小于 2 的曲线在数域上只有有限个有理点。对费马曲线，n ≥ 4 时亏格不小于 3，故每个 n 至多有限个有理点。这里要区分三点：

1. 它给出的是有限性，不是“没有非平凡点”；从有限到零，还需要另外的论证。
2. 有限性对 n 不一致，该定理的方法没有给出对所有 n 统一的上界。
3. 所以更准确的说法是：几何先把问题压缩为有限性，数论再把它压缩为零。

4.3 逐个攻克的历史

在统一证明出现之前，FLT 也是逐个 n 攻克的：n = 4 由费马本人用无穷递降证明；n = 3 由欧拉处理（1770 年前后，证明有缺口）；n = 5 由狄利克雷与勒让德（1825）；n = 14 由狄利克雷（1832）；n = 7 由拉梅（1839）；库默尔（1847 年前后）借助分圆域理论一次处理了所有“正则素数”。这段历史说明，“逐个处理”与“统一处理”在历史上是同一问题的两个阶段，而不是两种不同的问题。

4.4 统一机制

统一机制的骨架如下：

1. 化为 n = 4 与素数 p ≥ 5，并假设存在非平凡解 aᵖ + bᵖ = cᵖ。
2. 弗雷（Frey）构造椭圆曲线 y² = x(x − aᵖ)(x + bᵖ)，并指出它若存在，其性质极其反常。
3. 里贝特（Ribet，Invent. Math. 100 (1990)）证明，这样的曲线若是模曲线，会推出某个等级的模形式存在，而该空间为空。
4. 怀尔斯与泰勒（Ann. Math. 141 (1995)）证明半稳定椭圆曲线的模性，从而矛盾。

这个构造对所有素数 p 同时有效，因此“一把钥匙开所有门”这一形象准确。但钥匙的本质是“解 → 弗雷曲线”的构造，而不是各个 n 共享同一个几何对象。

4.5 “定点难题”的精确含义

FLT 的“定点性”来自两点：存在有用的归约，使命题族缩成 n = 4 与素数；存在统一构造，使对所有素数一次完成。难度因此集中在建造这套理论本身，而不是对每个 n 重复同一难度。

与 2.5 节对照可以看出：FLT 的归约之所以有用，是因为归约后的方程无解；贾子方程的归约之所以无用，是因为归约后的方程有大量解。这是两者在结构上最根本的区别，比“一个是单个命题、一个是命题族”更具体。

---

五、贾子方程的结构

5.1 超曲面与几何类型

贾子方程有 n + 1 个变量、次数为 n，是 n 维射影空间 Pⁿ 中的 n 次超曲面，维数为 n − 1（n = 6 时为 5 维，n = 9 时为 8 维）。Pᴺ 中 d 次超曲面的反典范类为 O(N + 1 − d)。这里 N = n，d = n，故反典范类为 O(1)，是丰富的：它是指数为 1 的 Fano 型超曲面。

相比之下，费马曲线（n ≥ 4）是一般型曲线（典范类丰富）。几何类型的这一差别，决定了对有理点的预期方向：

1. 一般型：有限性定理（法尔廷斯）。
2. Fano 型：按巴蒂列夫–马宁型的预期（C 级，需去掉累积子簇后才适用），有理点相当丰富。

必须强调，这是类型层面的描述，不是对“正整数、两两互异的非平凡解”的存在证明。正整数的要求、需要剔除坐标为零的平凡点、两两互异的约束，都使“丰富”在落到具体问题时需要核查。

5.2 圆法的适用范围

关于把整数表为 s 个 n 次幂之和，圆法给出渐近公式，但已被证明的范围要求 s 大致在 n log n 的量级以上（沃恩与伍利一类结果）。贾子方程取 s = n，远低于此范围，因此没有无条件的渐近公式可用。这解释了证明侧“没有现成工具”，但同样意味着：猜想的真假并没有被圆法排除。

5.3 没有已知归约，以及归约为什么无用

FLT 的归约把问题压到更小的指数上，且压缩后的方程无解。对贾子方程，从 n = 6 的解得到 n = 9 的解需要改变项数，不是简单代换；而按 2.5 节，n = 3m 的解给出的是立方方程的解，该方程有大量解，不产生矛盾。因此目前没有已知的归约把一个 n 的结论传递给另一个 n。就这一点而言，“成员之间没有已知蕴含关系”成立。同时要指出，没有已知归约不等于不可能有统一机制；FLT 在库默尔之前也是如此。

5.4 工具类型

贾子问题的核心工具是算术的：局部–整体原则、圆法、有理点的启发式计数。把它说成“拓扑流形的难题”（例如要求“六维的拓扑工具”在九维中“无法兼容”）并没有数学内容。不同 n 的超曲面维度不同，但算术几何与解析数论的框架本来就为任意维数写成；FLT 的费马曲线亏格同样随 n 增长，而没有妨碍一个统一论证。

---

六、n = 6 的局部分析

6.1 六次幂的剩余类

直接计算，六次幂在若干模下的取值集合为：模 7：{0, 1}；模 8：{0, 1}；模 9：{0, 1}；模 13：{0, 1, 12}；模 19：{0, 1, 7, 11}。原因是：奇数的平方模 8 为 1，故奇数的六次幂模 8 为 1，偶数的六次幂被 64 整除；与 3 互素的数的六次幂模 9 为 1（φ(9) = 6），3 的倍数的六次幂被 729 整除；与 7 互素的数的六次幂模 7 为 1（费马小定理）。

6.2 命题 1

命题 1。设正整数 a₁, …, a₆, b 满足 a₁⁶ + … + a₆⁶ = b⁶，且 gcd(a₁, …, a₆, b) = 1。则：

1. b 与 42 互素；
2. 六个 aᵢ 中恰有一个是奇数，恰有一个不被 3 整除，恰有一个不被 7 整除；
3. 因而至少有三个 aᵢ 被 42 整除。

证明。取模 7。设 s 为不被 7 整除的 aᵢ 的个数，则左边模 7 同余于 s，右边模 7 为 0 或 1。因 0 ≤ s ≤ 6，故 s ∈ {0, 1}。若 s = 0，则全部 aᵢ 被 7 整除，故 7 | b⁶，从而 7 | b，与互素矛盾。故 s = 1，此时右边为 1，即 7 ∤ b。

模 8 与模 9 的论证相同：设 t 为奇数个数，则 t ≡ 0 或 1 (mod 8)，故 t ∈ {0, 1}；t = 0 推出全部为偶，矛盾，故 t = 1 且 b 为奇。3 的情形用模 9 同理。

第三条：三个“例外”位置至多占据三个下标，其余至少三个下标上的 aᵢ 同时被 2、3、7 整除，即被 42 整除。证毕。

命题 1 不依赖互异约束；在 J 的设定下，这至少三个被 42 整除的 aᵢ 还必须两两不同。第二篇文章推出的“至少 5 个偶数、5 个 3 的倍数、5 个 7 的倍数”与此命题一致。

6.3 搜索空间的缩减

在随机的六元组中，“恰有一个奇数”的概率为 6/64，“恰有一个不被 3 整除”的概率为 4/243（即 6·(2/3)·(1/3)⁵），“恰有一个不被 7 整除”的概率为 36/117649（即 6·(6/7)·(1/7)⁵）。由中国剩余定理，三个条件相互独立，联合概率约为 4.7×10⁻⁷。所以，专用搜索程序能把候选组合缩减约 2.1×10⁶ 倍。这是真实的工程价值，但它只缩小搜索空间，不改变猜想的真假。

6.4 局部密度

局部密度 σₚ(N) 定义为 N 在 p 进整数环上被表为六个六次幂之和的测度密度（相对于均匀分布）。对 N = b⁶ 且 b 与 42 互素：

素数	局部密度	数值
2	3/4	0.75
3	4/27	0.1481
7	36/16807	0.002142

σ₂ 由“恰有一个奇数”的概率 6/64 乘以 8 得到；σ₃ 由 4/243 乘以 9 得到；σ₇ 由 36/117649 乘以 7 得到。数值计算（对模 pᵐ，m 取到较高值）与这些分数一致。三者之积为 2.38×10⁻⁴。

6.5 局部可解性

三者都是正数。在检验到的所有素数（到 3000）上，局部密度均为正；对更大的素数由 Weil 型估计保证（此处未逐一核验，C 级）。因此每个局部都有解，命题 1 给出的是强约束，而不是障碍。这与 Chevalley–Warning 定理相容：变量数 n + 1 大于次数 n，故模每个素数都有非零解。结论是：对 n = 6，同余方法无法证明无解。

6.6 局部抑制的结构

σ₇ 极小的原因是：7 − 1 = 6 整除 n = 6，所以每个 x 的六次幂模 7 只取 0 或 1。一般地，凡满足 (p − 1) | n 的素数 p，都有 xⁿ ∈ {0, 1} (mod p)，从而导致类似命题 1 的强约束。对若干指数，这样的素数为：

n	满足 (p − 1) | n 的素数
6	2, 3, 7
9	2
10	2, 3, 11
12	2, 3, 5, 7, 13
15	2
18	2, 3, 7, 19
21	2

因此，3m 族在局部结构上并不均匀：n = 6、12、18 受到强烈抑制，n = 9、15、21 几乎不受抑制。这种抑制取决于 n 的约数结构，不取决于“n 是否为 3 的倍数”。同时，n = 7、8 不在 3m 族内，却也是已知有解的指数，其中 n = 7 几乎不受抑制（只有 p = 2）。

结合 2.4 节：3m 这一限制在局部结构上没有对应物，既不与“已知有解的指数集合”对齐，也不与“局部抑制强的指数集合”对齐。

---

七、数值证据的评估（C 级）

7.1 启发式公式

对 s = n 的情形，哈代–李特尔伍德型预测的有序表示数为

r(N) ≈ Γ(1 + 1/n)ⁿ · 𝔖(N)，

其中奇异级数 𝔖(N) 是各素数局部密度的乘积。因 N^(s/n − 1) = N⁰ = 1，每个 N 的预期表示数是常数量级而不随 N 衰减。对互异无序表示，再除以 n!。令 N = bⁿ 并对 b 求和，即得 b ≤ B 内的期望解数。

这是一个外推：它超出了已被证明的范围，且 s = n 处于临界位置。因此下面的数字只能作为数量级估计，并需用已知解校准。

7.2 n = 6 的结果

取 Γ(7/6)⁶ ≈ 0.6375，除以 6! 得每个 b 的基础密度约 8.86×10⁻⁴。对与 42 互素的 b，计算 𝔖(b⁶)（素数取到 3000，b 取 3000 以上的素数以避免整除干扰），其均值约 1.78×10⁻⁴。其中 σ₂σ₃σ₇ ≈ 2.38×10⁻⁴，其余素数的合计因子约 0.75。于是：

1. 每个与 42 互素的 b 的期望本原解数约 1.58×10⁻⁷；
2. 与 42 互素的 b 占全体 b 的 2/7；
3. 故 E(B) ≈ 4.5×10⁻⁸ · B。

几个具体值：E(43000) ≈ 0.002；E(730000) ≈ 0.03；E(B) = 1 出现在 B ≈ 2×10⁷；E(10⁸) ≈ 4.5；E(10⁹) ≈ 45。按此估计，本原解数随 B 线性增长，即预期有无穷多个解，只是第一个解出现得很晚。

7.3 对“未发现解”的解读

按泊松近似，在 b ≤ 730000 内一个解也不出现的概率约为 e^(−0.03) ≈ 0.97。如果启发式成立，未发现解几乎是必然的，这一搜索结果在贝叶斯意义上几乎不改变对猜想真假的判断。对 b > 43,000 一类较小的数字，更是如此。

7.4 互异约束的影响

J 要求各项两两互异。带有重复项的解（例如 a₁ = a₂）自由度少一个：它们对应 n − 1 个幂之和的表示问题，其预期数随 b 以约 b⁻¹ 衰减，对 b 求和后只有 log B 量级，而互异的一般解是 B 量级。所以在存在性的预期上，J 与 J_A 几乎等价，互异约束基本不改变上面的数量级（C 级）。

7.5 校准与张力

1. n = 5。用同一方法（素数到 60，对 b ≤ 575 的全部 b）算得期望解数约 31.6。已知的 12 个本原解连同其整数倍，在 b ≤ 575 内共 27 个（72 的 7 个倍数，94 的 6 个，107 的 5 个，其余 9 个各 1 个）。量级一致。但这里假定那份已知解列表在 575 以内是完整的，本文没有独立验证其完整性。
2. n = 8。取与 30030 互素的 b，估计首个解的预期位置约在 1.6×10⁵；而已知的 Chase 解 b = 1409 是素数，落在这个子集内，其对应的期望数约 0.009（若计入其余 b，约为数倍于此）。这表示启发式在 n = 8 上与已知解之间存在约两个数量级的张力：要么启发式低估了解的密度，要么这个解属于小概率的早出现。
3. n = 7。Dodrill 解的 b = 568 是偶数，不在上述互素子集里，无法做同口径比较。

7.6 灵敏度

把校准张力当作一个乘数因子 f 作用于 E，则 b ≤ 730000 内的期望数及未发现解的概率为：

f	E(730000)	未发现解的概率
1	0.03	0.97
10	0.33	0.72
100	3.3	0.04

所以，对 E(6,6) 稳妥的表述是：现有搜索对“猜想为真”的支持很弱，强度取决于校准；在最不利的校准下也只是中等强度。

7.7 3m 族各成员

用同一程序（素数到 3000，b 取 3000 以上的素数）对其他指数得到粗略结果：

n	𝔖 均值（b 与小素数互素）	首个解的预期位置（仅计与 2, 3, 5, 7, 11, 13 互素的 b，量级）
5	8.9	10²
6	1.8×10⁻⁴	3×10⁷
7	5.1	8×10³
8	2.2	1.6×10⁵
9	27.8	1×10⁵
10	3.5×10⁻⁸	9×10¹⁴
12	1.2×10⁻¹²	4×10²¹

这些数字很粗糙，只用来说明三点：同一族里各成员的搜索难度可相差许多个数量级；这个量不单调（n = 9 比 n = 6 受到的局部抑制弱得多，n = 12 则极强）；“台阶一级比一级高无数倍”的图像，在搜索复杂度的意义上不成立。n = 9 的预测尤其值得专门检验，但本文没有找到对 E(9,9) 有据可查的搜索上界。

---

八、“难度”的形式化与论题 T 的检验

8.1 难度没有度量

“难度”至少有五种含义，彼此不能互相换算：证明的存在性与长度；现有工具的适用性；人类共同体的投入与历史时长；搜索复杂度（寻找反例或验证所需计算量）；对尚未发明的理论的依赖程度。不存在一个公认的函数把它们合成单一标量，所以“全体主流猜想的难度之和有限而贾子猜想无限”不是可检验的命题，只能把它拆开。

8.2 论题 T 的分解

T1：贾子猜想是一族命题（对每个 n = 3m 各一个）。
T2：成员之间相互独立。
T3：没有统一的证明机制，没有入口。
T4：难度逐级递增。
T5：难度无限。
T6：因此比 FLT 更难，也超出所有主流猜想。
T7：贾子猜想的定义比其他猜想更清晰。

8.3 逻辑形式与不对称性

J 是 Π₁ 型句子：对所有 n = 3m（m ≥ 2）与所有互异的正整数组，等式不成立。这类句子有一个重要的不对称性：

1. 若 J 为假，则存在有限的反例，其假可在皮亚诺算术内由有限计算证明；难度是有限的，只是反例可能很大。
2. 若 J 为真，可能有一个有限长度的证明；也可能 J 独立于所用的公理系统。

由此可以列出一个条件性的难度表：

情形	难度的主要来源	是否有上界
J 为假	搜索或构造反例（参数化方法如 Elkies；或大规模搜索）	有限
J 为真，且存在统一机制	建造理论（类似 FLT）	有限（一次完成）
J 为真，且无统一机制	逐个 n 处理	没有已知上界
J 为真，但独立于公理系统	无法在该系统内解决	在该系统内“无限”

目前不知道处于哪一栏。把表中某一栏写成“已知事实”，就丢掉了其余三栏。

8.4 逐条检验

T1 成立，这是定义。

T2 在“无已知归约”的意义上成立（见 5.3）。需要补充：这对任何无穷族都成立，FLT 在统一机制出现之前也是如此；且各成员共享同一类方程、同一几何类型（均为 Fano 型）与同一启发式，并非“互不相关”。

T3 对证明方向成立，对反例方向不成立。

1. 证明方向：同余法被局部可解性排除（6.5）；几何上没有有限性定理可借（5.1）；圆法不覆盖 s = n（5.2）；归约无用（2.5、5.3）。四项合起来，才是“没有已知入口”的具体内容。
2. 反例方向：Elkies 对 n = 4 的椭圆曲线方法，以及 Frye、Dodrill、Chase 的计算机搜索说明，反例方向有现成的方法类型，不是“无处下口”。

T4 不成立。在搜索复杂度的意义上，7.7 的计算显示非单调。在“证明有无入口”的意义上，现有信息不足以支持“递增”。

T5 的唯一严格含义是独立性（见 8.3 表末栏）。目前没有任何证据。马季亚谢维奇定理保证存在不可判定的丢番图方程族，但并不对某个具体命题给出独立性。

T6 取决于未知的前提。若 J 为真且不存在统一机制，则证明需逐个处理，工作量没有上界；若 J 为假，一个反例即可终结。第七节的估计与已知解的分布，并不构成 J 为真的强先验。

T7 需要单独分析（见 8.6）。

8.5 论题中的几个修辞性断言

1. “法尔廷斯定理把 FLT 框死了”：不准确，该定理给出有限性而非零（4.2）。但另一半成立：贾子方程是 Fano 型，法尔廷斯式的有限性不可借用，几何方向与费马曲线相反。
2. “维度不同，拓扑工具不兼容”：不成立（5.4）。
3. “同一生态内的猜想张口可吞”：不成立。黎曼猜想、哥德巴赫猜想、孪生素数猜想、3n + 1 问题同样没有公认的攻克路径。同时，贾子方程本身落在欧拉–LPS 谱系里，不是“不属于这个生态的生物”。
4. “地球仪与宇宙”“小鱼与巨鲸”：这些比喻抓住了“FLT 有统一的把手而贾子猜想目前没有”这一点（对应 4.5 与 2.5 的结构对照），但把一个条件性判断当作了定论：巨鲸的前提是 J 为真。

8.6 关于定义清晰性的论断（T7）

补充文本主张：贾子猜想的清晰性来自“定义域被显式锁定”，三个条件（n = 3m > 5、项数等于指数、两两互异）都是代数性的、可逐条核对的，因此“找不到比贾子猜想更清晰的西方猜想”；哥德巴赫猜想的清晰性则依赖读者预先接受“素数”“偶数”等词汇。逐点检验如下。

1. 显式约束与可核对性成立。判定一个给定的 (a₁, …, aₙ, b) 是否属于 J 的考察范围，只需检查 n 是否为 3 的倍数且大于 5、项数是否为 n、各项是否为两两互异的正整数，这些都是有限的算术检查。
2. 对哥德巴赫猜想的比较不构成区别。任何数学陈述都依赖预先接受的词汇，J 的定义本身就用了“正整数”“幂”“两两互异”这些词，也不例外。哥德巴赫猜想中，“偶数”与“素数”是有精确定义的、可判定的谓词，其实例同样是有限可核对的。
3. 用“判定命题域所需的检查是否有限且机械”作为清晰性的标准，则孪生素数猜想、3n + 1 问题、FLT、哥德巴赫猜想与 J 同样清晰。这个标准不区分它们。黎曼猜想虽然涉及解析延拓，但同样有精确定义。
4. 窄的定义域既不是优点也不是缺点。FLT 的定义域（n > 2，项数为 2）同样窄且显式，没有人因此认为它不清晰。
5. 清晰性不蕴含真，也不蕴含难。一个命题定义得清楚，只说明它是一个良定义的数学问题，不说明它是真命题，也不说明它难到什么程度。

所以，T7 中“定义显式、可核对”部分成立，“比其他猜想都清晰”部分在上述标准下没有区分力，也没有任何可检验的度量支持。

8.7 一个可成立的精确表述

综合上面的分析，在不引入未经证明的前提下，较接近原意的表述是：

1. 贾子猜想是一族命题，成员之间没有已知的蕴含或归约关系；
2. 目前没有已知的统一证明机制：同余法被局部可解性排除，FLT 式的归约在这里无用（归约后的方程解极其丰富）；
3. 若猜想为真，且始终不存在统一机制，则证明需要逐个 n 处理，工作量没有上界；
4. 若猜想为假，一个反例即可终结，其难度只是搜索或构造。

这个陈述是条件式的。把它写成“难度无限”，就丢掉了条件。

---

九、与其他悬而未决问题的比较

黎曼猜想、哥德巴赫猜想、孪生素数猜想、3n + 1 问题：目前都没有公认的攻克路径。数学界对其中一些的说法正是“现有数学可能还不够”。所以“没有入口”并非贾子猜想独有的处境，它至多与这批最硬的问题同档。

哥德巴赫猜想：同样是 Π₁ 型的存在性断言的否定形式（“任一大于 2 的偶数都是两个素数之和”的反例是有限可验证的），同样有“一个反例即可终结”的不对称性。这一点与贾子猜想的逻辑形式相同，而与“难度无限”的说法无关。

华林问题：G(k) 的精确值只对 k = 2 与 k = 4 已知，圆法需要的变量数随 k 增长，这与贾子问题所处的缺口同类。

LPS 猜想本身：它与贾子方程同属一个谱系，至今未解，只是被已知反例（恰好达到下界）支持。J′ 比 LPS 在 m = 1 的情形还强，已被推翻，而 LPS 在 m = 1 的情形仍然成立（据 B 级来源，没有被推翻的报告）。

比尔猜想：同样是 FLT 的推广，同样没有证明。

比较的结论是：与“难度无限”相比，更准确的说法是，贾子猜想属于一个已知存在、且数量不少的“无已知入口”的问题类；其特殊之处在于它是一个没有已知归约的命题族，归约后得到的方程反而解极其丰富，以及它位于“预期有解”的一侧。

---

十、计算与人工智能

10.1 能做的

1. 反例验证：任何给出的反例，都可以用大整数运算立即验证。
2. 专用搜索：利用命题 1，把 n = 6 的搜索空间缩小约 2.1×10⁶ 倍；再结合中间相遇与哈希，可覆盖更大的 b。
3. 启发式检验：精确化期望数估计，并用 n = 5、7、8 的完整解表做统计校准。
4. 参数化寻找：Elkies 对 n = 4 的方法说明，高次反例常来自代数结构（椭圆曲线、K3 曲面上的有理点），而不是暴力枚举。
5. 形式化：把已有的局部分析与数值核验写成可检查的形式化证明，并把命题域的逻辑关系（J′ ⇒ J_A ⇒ J）一并形式化，避免把相邻命题的结果误当作 J 的证据或反证。

10.2 做不到的

按 7.2 的估计，n = 6 的首个本原解预期出现在 b ≈ 10⁷ 至 10⁸（带系统误差）。即使有同余缩减，对这个范围的暴力搜索仍然极其昂贵。若反例存在而又很大，找到它很可能需要结构性方法。

10.3 证明方向

对“为真”这一方向，局部方法已被排除（6.5）；圆法不覆盖 s = n；几何类型不提供有限性；归约无用。这四条说明“没有已知入口”，而这一状态与某个人或某个 AI 的能力无关。因此，算力与 AI 的加速，不会让一个尚不存在的方法自动出现。

10.4 关于“AI 熄火”的论断

第二篇文章称各大模型在 n = 6 上全部“得零分”，并提出了五维核验体系。本文没有核实这些外部事实；就逻辑而言，“AI 没有给出证明”与“搜索没有发现反例”都不构成 J 为真的证据；评价框架（逻辑、智慧、本质、价值、存续性）也不能替代对命题真假的论证。

---

十一、局限与后续问题

11.1 局限

1. 启发式未经证明，且在 n = 8 上与已知解有约两个数量级的张力；n = 6 的数字应视为带有一到两个数量级系统误差的粗估。
2. 维基百科条目取回时公式缺失，k = 6 一句的适用范围未能确认；MathWorld 的条目没有直接读取。
3. 补充文本只读到所提供的节选，其原页面请求失败；第一篇的原始博客页没有打开。两篇网络文章的结论只对转载版有效。
4. Norrie（1911）一项的归属依据是 ProofWiki 所引文献，没有读到原始论文。
5. n = 5 的已知解列表在 575 以内的完整性没有独立验证。

11.2 可检验的后续问题

1. 在更多素数与更高的 p 进精度上精确化奇异级数，用 n = 5、7、8 的完整解表对启发式做统计校准，给出 n = 6 期望数的误差区间。
2. 对 n = 9 做专用搜索，检验“n = 9 局部抑制弱”这一预测，并首先确认公开的 E(9,9) 搜索上界。
3. 计算 n = 15、18、21 等的局部奇异级数，检验“(p − 1) | n 的素数决定抑制强度”这一规律。
4. 寻找能区分“n = 3m > 5”与“n = 3, 4, 5, 7, 8”的数学机制；若不存在，则 J 的定义域限制只是一个约定，而不是 J 为真的理由。
5. 把命题 1 推广到 n = 12、18，得到 3m 族的局部约束表。
6. 对 2.5 节的立方重写，研究“丰富解集中完全 m 次幂的分布”这一问题，看能否得到比现有启发式更强的结论。

---

全文总结

第一，关于命题域。贾子猜想的正式定义是：n = 3m > 5，恰有 n 项，各项为两两互异的正整数，无解。

第二，关于 3m 的代数含义。n = 3m 时，贾子方程等价于 3m 个立方数之和等于一个立方数，且所有项同为 m 次幂。FLT 的指数归约把问题化为无解的更小方程；贾子方程的归约把问题化为解极其丰富的立方方程，归约因此失去作用。这是两者在结构上最根本的差异，也是“一劳永逸”能够在 FLT 上实现、而在贾子方程上目前不能的原因。

第三，关于事实核验。贾子方程在 n = 6、9、10 时没有已知的公开解。

第四，关于 FLT。它的“一劳永逸”来自假想解到弗雷曲线再到模性的统一构造，对所有素数指数同时有效；几何（法尔廷斯）只给出有限性；历史上 FLT 也经历过逐个 n 攻克的阶段。

第五，关于贾子方程的结构。它是指数为 1 的 Fano 型超曲面，几何方向与一般型的费马曲线相反；圆法的已证范围不覆盖 s = n；没有已知的跨 n 归约。就“一族无已知归约的命题”而言，结构性描述成立，但它是现状描述，不是定理。

第六，关于局部分析。n = 6 的本原解必须满足严格的同余结构（命题 1），搜索空间因此缩小约 2.1×10⁶ 倍；但所有局部都可解，同余方法不能证明无解。3m 族的局部抑制强度取决于满足 (p − 1) | n 的素数，不取决于 n 是否是 3 的倍数，各成员相差悬殊且不单调。

第七，关于数值证据。启发式（C 级）给出 n = 6 本原解的期望数 E(B) ≈ 4.5×10⁻⁸·B，b ≤ 730000 内约 0.03，预期解数随 B 线性增长。已有搜索对猜想的支持很弱；该估计与 n = 8 已知解有张力，系统误差应取一到两个数量级。

第八，关于难度。“难度无限”没有度量，其唯一严格含义是独立于公理系统，目前没有证据；无穷族不等于无穷难（FLT 与许多主流猜想族为证）。论题 T 中，“一族命题”“无已知归约”“证明方向没有入口”“定义显式可核对”成立；“难度递增”“比其他猜想都清晰”不成立或没有区分力；“几何命运框死”“拓扑不兼容”“主流猜想同属可吞的生态”“比 FLT 更难”则取决于未验证的前提或与已核对的事实不符。

第九，关于两者的区别。FLT 是一个已被统一机制终结的问题；贾子猜想是一族尚未知真假、且没有已知统一机制的命题。它与黎曼猜想等最硬的问题同属“没有已知入口”的一档，这是它们的相同之处。它的特殊之处在于：归约后得到的是一个解极其丰富的方程，族的各成员之间没有已知蕴含关系，并且它位于“预期有解”的一侧。猜想是否真如“巨鲸”，取决于它是否为真；而启发式与已知解的分布，并没有为“为真”提供强的先验支持。

---

参考文献

[1] Wiles, A. Modular elliptic curves and Fermat’s Last Theorem.Annals of Mathematics, 141 (1995), 443–551.

[2] Taylor, R., Wiles, A. Ring-theoretic properties of certain Hecke algebras.Annals of Mathematics, 141 (1995), 553–572.

[3] Faltings, G. Endlichkeitssätze für abelsche Varietäten über Zahlkörpern.Inventiones Mathematicae, 73 (1983), 349–366.

[4] Ribet, K. On modular representations of Gal(Q̄/Q) arising from modular forms.Inventiones Mathematicae, 100 (1990), 431–476.

[5] Lander, L. J., Parkin, T. R. Counterexample to Euler’s conjecture on sums of like powers.Bulletin of the AMS, 72 (1966), 1079.

[6] Lander, L. J., Parkin, T. R., Selfridge, J. L. A survey of equal sums of like powers.Mathematics of Computation, 21 (99) (1967), 446–459.

[7] Elkies, N. D. On A⁴ + B⁴ + C⁴ = D⁴.Mathematics of Computation, 51 (184) (1988), 825–835.

[8] Frye, R. E. Finding 95800⁴ + 217519⁴ + 414560⁴ = 422481⁴ on the Connection Machine.Proceedings of Supercomputing 88, Vol. II (1988), 106–116.

[9] Norrie, R. On the algebraic solutions of indeterminate cubic and quartic equations. InUniversity of St Andrews Five Hundredth Anniversary Memorial Volume(1911), 47–92（经 ProofWiki 转引，未读原文）。

[10] Resta, G., Meyrignac, J.-C. The smallest solutions to the Diophantine equation.Mathematics of Computation, 72 (2003), 1054（经维基百科转引，未读原文）。

[11] Vaughan, R. C., Wooley, T. D. Waring’s problem: a survey. InNumber Theory for the Millennium III, A K Peters, 2002.

[12] Chevalley, C. Démonstration d’une hypothèse de M. Artin.Abh. Math. Sem. Univ. Hamburg, 11 (1935), 73–75；Warning, E. Bemerkung zur vorstehenden Arbeit. 同卷，76–83.

[13] Matiyasevich, Y. Enumerable sets are Diophantine.Soviet Mathematics Doklady, 11 (1970), 354–358.

[14] Braun, J. M. The fourth known primitive solution to a⁵ + b⁵ + c⁵ + d⁵ = e⁵. arXiv:2603.05549（经维基百科转引）。

[15] 维基百科：Euler’s sum of powers conjecture；Lander, Parkin, and Selfridge conjecture（访问日期 2026-10-31）。

[16] OEIS A003294、A061988、A096739；ProofWiki:Fourth Powers which are Sum of 4 Fourth Powers（检索摘录，访问日期 2026-10-31）。

[17] 贾子方程（项数 k = 指数 n）已知解的系统性总结。openEuler 社区（CSDN 转载），2026-10-16。贾子方程（项数 k = 指数 ）已知解的系统性总结 |A Systematic Summary of Known Solutions to the Kucius Equation（k=n）_算法_技术专家-openEuler 社区

[18] 维度级断层与认知重构：人工智能在贾子猜想面前的全面熄火与五维核验体系（LWEVS）的独立分析。openEuler 社区（CSDN 转载），2026-10-18。维度级断层与认知重构：人工智能在贾子猜想面前的全面熄火与五维核验体系（LWEVS）的独立分析_重构_技术专家-openEuler 社区

[19] 定义唯一性：不存在“版本”，只有“是”与“不是”（节选）。CSDN 博主“技术专家”，https://blog.csdn.net/SmartTony/article/details/169651007（仅读到所提供的节选，原页面请求失败）。

[20] 本文的等式核验与局部密度、期望解数计算：Python（任意精度整数、模 pᵐ 的卷积计数），参数与方法见第六、七节，可复现。