Claude一举扫清2000阶以下哈达玛矩阵！AI开始清空数学待解列表

前不久用Fable 5推翻雅可比猜想的Anthropic研究员，又吭哧吭哧和两个人类伙伴带着Claude， 做出了668阶哈达玛矩阵 ！

不过这人每次有成果都不明说，发一堆只有内行才看得懂的东西。

可恶的是Fable拒绝解密这条神奇推文，人类不得不使用GPT 5.6 Sol来一探究竟。

Anthropic研究员、数学家Levent Alpöge报告称，他们找到了解决668阶哈达玛矩阵的方案，并感谢由三名人类和Claude组成的团队。

哈达玛矩阵 （Hadamard Matrix）这道题只有加减乘除，具体是这样的：

一个方阵，里面只能填+1和-1，任意两行对应的数字相乘再相加，结果必须正好是0。

但在此之前，668阶哈达玛矩阵难倒了所有具备“深度推理”能力的大模型。

但也别说AI不行，毕竟这道题已经难倒人类数学家整整30年了～

因此，这道题也被收录到陶哲轩等3位菲尔兹奖得主、 IMO顶级教练等60余人联合出题的FrontierMath大模型高阶数学推理基准测试中。

目前，FrontierMath基准测试的研发机构EpochAI已将这道“构造一个668阶哈达玛矩阵”开放题，暂时标为“由AI解决”。

如果确定解决，这将是 FrontierMath基准测试中50个开放问题被AI解决的第四个 ！

更夸张的是，Alpöge藏进去的共有12张矩阵， 直接扫清了2000阶以下所有悬而未决的Hadamard矩阵阶数。

1867年， 西尔维斯特 在论文中首次系统构造了±1元素的正交方阵，用克罗内克递归法生成所有2的幂阶（1,2,4,8,16…）矩阵，并命名为互逆铺砌（anallagmatic pavement）。

这个沿用至今的西尔维斯特递归构造公式，是哈达玛矩阵最基础的生成方式。

1893年， 哈达玛 证明了线性代数经典的哈达马行列式不等式：

哈达玛还补充构造了12阶、20阶非2幂的此类矩阵，完整揭示了它的极值行列式本质。

后世数学界为纪念他的理论定性工作，统一将这类矩阵命名为哈达玛矩阵。

1933年，数学家 佩利 巧妙利用有限域二次剩余的符号特性，发明了系统构造哈达玛矩阵的“佩利构造法”，直接证明了大量特定阶数矩阵的存在性，成为该领域至今最核心的基石之一。

就此衍生出哈达玛猜想，即“所有4的正整数倍阶数都存在哈达玛矩阵”，至今仍是纯数学未被证明的公开难题。

总体来说，哈达玛矩阵不仅串联线性代数、有限域、数论与组合设计等多个高等数学分支，其构造性证明、高阶阶数存在性推导具备极强的长链条逻辑推理考察价值，关联着至今未被证明的哈达玛猜想，且可大量生成无网络泄露的原创推导题型。

这也是它被收录进FrontierMath基准测试的原因。

为啥是668阶？

2005年，数学家构造出428阶矩阵后，668接替它成为最小未知阶数。

此后二十多年，人类已经能造出尺寸大得多的矩阵，偏偏卡在668这里绕不过去。

也就是说，在今天之前，668阶哈达玛矩阵都是百年哈达玛猜想中最小的未被构造临界阶数。

而其分解式4×167依赖模4余3素数的佩利有限域高阶构造方法，长期仅能生成模意义近似矩阵、构造难度极大。

不过一旦突破，既为组合设计理论补充关键例证，也在编码、信号处理等工程领域具备实际应用价值。

因此，作为经典的离散数学界标志性问题，668阶哈达玛矩阵被收录进FrontierMath基准测试的50个开放问题中。

去年，有研究者做出668阶的“64模版本”。

它在模64意义下满足要求，距离真正的Hadamard矩阵仍差临门一脚。

十二小时前，Levent Alpöge突然在上发了条“莫名其妙”的推文。

推文中只有整整23828个“+”和“-”，除此之外啥也没有。

回复区里还藏着一段经过混淆的Shell脚本，充当整道谜题的解码器。

最有节目效果的是，MenloVentures合伙人Deedy Das想让Claude Fable解读这串加减号，结果Fable拒绝解码。

最后 不得不换用GPT-5.6 Sol才看懂谜面。

让Alpöge解释一下吧，这位大佬的回复也颇具数学家浪漫主义气息。

（补充：该图片显示，矩阵采用了带有对角线、反对角线结构的分块形式）

独立数学成果数据库VibeMathed随后复现了解码过程。

脚本最终吐出12组符号，分别对应668、716、892、1132、1244、1388、1436、1676、1772、1916、1948和1964阶矩阵。

复现者再用精确整数运算逐张检查，矩阵元素均为±1，任意两行的内积也确实为0。

668阶矩阵的对角线全部为668，非对角线最大绝对值为0，至少从计算验证看，答案严丝合缝。