www.xjzkzx.com Anthropic研究员带Claude搞定哈达玛矩阵难题|www.xjzkzx.co

衡宇 发自 凹非寺

量子位 | 公众号

前不久将Fable 5用于推翻雅可比猜想的研究员, 又吭哧吭哧地, 和两个人类伙伴一起, 做出了668阶哈达玛矩阵！ #

（好数学家不挑AI模型，doge） #

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

Be Like：

这是令人憎恶极了的, Fable居然径直拒绝去解密这一条充满神奇色彩的推文, 没办法呀, 人类迫不得已只得动用GPT 5.6 Sol来借此琢磨出个究竟来。

让我来为大家翻译成人话！ #

一个被称为研究员、数学家的Alp?ge汇报声称, 存在这么一个寻找出来的, 针对668阶哈达玛矩阵的解决办法, 同时, 他向一个由三名人类所构成的团队表达了感谢之情。 #

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

一个方阵, 其内部所填数字仅能为 +1 与 -1, 对于任意两行, 将它们各自对应的数字两两相乘之后, 再把这些乘积进行相加运算, 得数必须恰好为 0。 #

然而, 在这之前, 668阶哈达玛矩阵, 让所有拥有“深度推理”能力的大模型都遭遇了难题。

然而也不要讲AI没有能力, 毕竟这道题目已经使人类数学家完全被难住长达30年了～。 #

所以, 此道题目就被收纳在由陶哲轩等三位菲尔兹奖获得者、IMO顶级教练等六十多个人共同出题的大模型高阶数学推理基准测试里。

#

当前, 进行基准测试的研发组织, 把这一道, “构造一个668阶哈达玛矩阵”的开放性题目, 暂且标记为, “由AI解决”。 #

如果能够确定得以解决, 那么, 这会成为在基准测试里, 那50个处于开放状态的问题, 被人工智能解决的第四个情况例证！ #

更加夸张的是, Alp?ge藏进去的总共是12张矩阵, 直接就把2000阶以下所有尚悬而未决的矩阵阶数给扫清了。

#

啥是哈达马矩阵？ #

好，我们先进一步简单介绍一哈达玛矩阵。 #

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

那被一直沿用直至如今的西尔维斯特递归构造公式, 属于哈达玛矩阵最为基础的生成途径, 是这样的情况。

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

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

数学界的后世, 为了纪念他在理论方面所做的定性工作, 把这类矩阵统一命名为哈达玛矩阵。

在公元1933年的时候, 有一位数学家名为佩利, 他巧妙地借助了有限域二次剩余所具备的符号特性, 进而发明了一种名为“佩利构造法”的系统构造哈达玛矩阵的方法, 通过这种方法直接证明了大量特定阶数矩阵的存在性, 此发明成为了在这个领域直至如今最为核心的基石之一。 #

由此便衍生出了哈达玛猜想, 也就是“所有4的正整数倍阶数都存在哈达玛矩阵”, 直至如今, 这仍然属于纯数学领域中未被证明的公开难题。 #

大体而言, 哈达玛矩阵不但将线性代数、有限域、数论还有组合设计等等好些高等数学分支串联起来, 其构造性证明以及高阶阶数存在性推导有着超乎寻常的特别强的长链条逻辑推理考察价值, 跟至今都没被证实的哈达玛猜想关联着, 并且能够大量生出没有网络泄露情况的原创推导题型。

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

#

为啥是668阶？ #

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

在那之后的二十多年时间里, 人类已然具备了制造尺寸比以往大出许多的矩阵的能力, 然而却偏偏在668这个点上遭遇阻碍, 怎么也无法跨越过去。

#

即便是这般来讲, 假设是在今日之前的话, 对于668阶哈达玛矩阵而言, 它在那百年哈达玛猜想范围里, 一直都是最小的、尚没有被构造出来的临界阶数呀。

其分解式为4乘以167, 它依赖于模4余3的素数的佩利有限域高阶构造方法。长期以来, 仅仅能够生成模意义下的近似矩阵, 并且构造难度极大。 #

然而一旦实现突破, 这既能够为组合设计理论增添关键的例证, 同时在编码、信号处理等工程领域也拥有实际的应用价值。

所以呢, 鉴于其身为经典的离散数学领域标志性问题, 668阶哈达玛矩阵被纳入到基准测试的50个开放问题里头。

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

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

#

：看我如何联合人类做出668阶哈达玛矩阵 #

十二个小时之前, Alp?ge陡然在上面发布了一条称得上“莫名其妙”的推文。

#

推文中存在的, 仅仅是刚好达到整整23828个的“+”以及“-”, 在这之外, 不存在任何其他的东西, 没有别的了，就是这样。 #

在回复区域里, 还隐匿着一段遭模糊处理的Shell脚本, 它起着充当把整道谜题解开的译码之用。

#

画风如下：

乍一看都给吃瓜网友看懵了：

#

极具节目效果之处在于, 充当合伙人角色的Deedy Das期望Fable对这串加减号予以解读, 然而Fable却拒绝进行解码。 #

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

#

真的，网友看了只能继续扶额苦笑：

让Alp?ge去进行解释, 这位堪称大佬的人物所给出的回复, 也是具备颇为浓厚的数学家浪漫主义气息的。 #

直接甩出外行又看不懂的一张图！

该图片呈现出这样的情况, 矩阵运用了一种分块形式 , 这种分块形式带有对角线 , 同时还带有反对角线结构。 #

好在AI时代，大家很懂得善用工具。

#

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

脚本最后吐出了12组符号, 其中每一组符号, 分别对应着668阶矩阵, 716阶矩阵, 892阶矩阵, 1132阶矩阵, 1244阶矩阵, 1388阶矩阵, 1436阶矩阵, 1676阶矩阵, 1772阶矩阵, 1916阶矩阵, 1948阶矩阵, 以及1964阶矩阵。 #

这正是此前2000阶以下全部12个空缺。

要重新呈现的人再次运用精准无误的整数运算一张一张地去检查, 矩阵当中的元素全部都是正负一, 随便哪两行求内积后也的确是零。

有一个矩阵哎, 它是668阶的, 其对角线的每一个元素, 全部都是668, 而非对角线的所有元素之中, 那个最大绝对值是0, 至少就从计算验证这方面来看, 答案可真是严丝合缝。 #

此次解题的参与者包括Alp?ge、 、Saul -贝语网校，以及。 #

Alp?ge还开玩笑说www.xjzkzx.com，自己只认领那些糟糕的建议。

把题目暂且标注成由AI解决, 与此同时, 清晰表明有可能根据后续的信息去调整结论。

也专门进行了写明, 当前没办法判断, 这批结果究竟是源自一套改进过后的搜索策略, 还是出自一条具备可推广性的通用构造。

#

关于解题的具体规律, 怎样去发现它, 方法能不能继续推广到2000阶以上, 这还得等完整技术报告公布出来才行。

#

One More Thing #

目前, 开放问题集存在五十个问题, 此次的六百六十八阶哈达玛矩阵也算在内, 其中已经有四个问题被解决了。

有两个是由GPT解决的，另外两个是由解决的。 #

才过去不到一个月的时间, 张益唐苦苦钻研多年的雅可比猜想, 被人类联合Fable 5给推翻了, A社一个尚未公开的研究模型, 把百年黎曼猜想的下界, 推高了一大截。 #

回溯AI 2.0的早些时候, 陶哲轩费劲地运用GPT前去辅助解答数学题目。

#

如今, 似乎对于人类数学家而言, AI已然摇身一变成为了超级推演助理, 成为了永不疲倦的审稿人, 成为了高维空间探索器。

二者的深度绑定，正在加速人类对数理底层规律的认知速度。 #

参考链接： #

— 完 — #

量子位 · 头条号 #