42问题 本人还是偏民科啊，关于gpt 6经常刷数学也初步试了试数学验证，下面是和大肥鱼 枢元 联合探索42问题的结果文章 本人只会基础方程代数

42问题极简精华

方程与解

x^3+y^3+z^3=42

x=-80538738812075974,\quad
y=80435758145817515,\quad
z=12602123297335631

来源：Booker–Sutherland 2019，PNAS，arXiv:2007.01209

模9约束

n^3\equiv 0,\pm1\pmod 9

42\equiv -3\pmod 9 \Rightarrow x^3\equiv y^3\equiv z^3\equiv -1\pmod 9

x,y,z\equiv 2,5,8\pmod 9 \quad\Rightarrow\quad x,y,z\equiv -1\pmod 3

s=x+y\equiv 1\pmod 3,\quad t=x-y\equiv 0\pmod 3

初等变换

s=x+y,\quad t=x-y

x=\frac{s+t}{2},\quad y=\frac{s-t}{2}

x^3+y^3=\frac{s(s^2+3t^2)}{4}

\boxed{t^2=\frac{168-s^3-4z^3}{3s}}\quad (s\ne 0)

条件：s,t,z\in\mathbb Z，s\equiv t\pmod 2，右边为非负完全平方数。
贡献：O(N^3)\to O(N^2)，约 10^{17} 倍。

复杂度账本

来源 量级贡献
初等 s,t 变换 10^{17}
模筛 10^1–10^3
CRT 枚举 10^3–10^6
Elkies 旗石格约化 10^{20}–10^{30}
实际总计算 10^{15} 次操作（暴力 10^{51}，约 10^{36} 倍）

核心算法链

1. 立方互反律约束：z 压缩至 O(1) 同余类
2. Elkies 旗石格约化：LLL 找短向量，核心 10^{20}–10^{30} 倍
3. CRT 枚举：动态生成 z 候选，突破 64 位
4. 分布式计算：Charity Engine，50 万台 PC，130 万小时

关键人物

· Andrew Booker（布里斯托）：https://research-information.bris.ac.uk/en/persons/andrew-r-booker/
· Andrew Sutherland（MIT）：https://math.mit.edu/~drew/
· Noam Elkies（哈佛）：https://people.math.harvard.edu/~elkies/
· Louis Mordell（1953 提出）
· Miller & Woollett（1954 首次计算机搜索）

资源

· 论文：https://www.pnas.org/doi/10.1073/pnas.2022377118
· arXiv：https://arxiv.org/abs/2007.01209
· 代码：https://github.com/AndrewVSutherland/SumsOfThreeCubes
· Charity Engine：https://www.charityengine.com/
· MIT 新闻：https://news.mit.edu/2020/sum-three-cubes-solved-0401

结论

初等 s,t 变换是教学入口；Elkies 格约化是计算核心；O(N^{1/3}) 无公开推导。
求解过程完全公开，但核心难懂。