Anthropic研究员使用其内部模型找到668阶阿达马矩阵的解
摘要
Anthropic的一位研究员报告称,Claude帮助解决了668阶阿达马矩阵问题,这是组合数学中一个长期悬而未决的开放问题,可能标志着阿达马猜想在人工智能辅助下取得突破。
暂无内容
查看缓存全文
缓存时间: 2026/08/13 15:45
# 668阶Hadamard矩阵
来源:https://epoch.ai/frontiermath/open-problems/hadamard
## 解决方案更新
关于此问题的一个解决方案已有报告(https://x.com/__alpoge__/status/2087504785952182273?s=20)——来自Anthropic的一位研究人员将其归功于一个由三名人类和Claude组成的团队。该解决方案以谜题形式发布,编码了此前未知的所有不超过2000的可容许阶数的Hadamard矩阵,其中包括668阶。我们暂时将该问题标记为已由AI解决,但如果团队后续报告表明人类对核心数学思想有重大贡献,我们将对此进行修正。
目前尚不清楚完整的Hadamard猜想(https://en.wikipedia.org/wiki/Hadamard_matrix#Hadamard_conjecture)——即问是否对*所有*可容许阶数都存在Hadamard矩阵——是否已被解决。这一结果可能来自改进的搜索策略,或一个完全一般的构造。先验地看,如果完整猜想被解决,其评级很可能会高于“中等有趣”。
## 关于问题
Hadamard矩阵(https://en.wikipedia.org/wiki/Hadamard_matrix)是一个方阵,其所有元素均为 \( \pm 1 \),且各行相互正交。除平凡情形外,这种矩阵的阶数必须是4的倍数。Hadamard猜想指出:对于每一个这样的阶数,Hadamard矩阵都存在。该猜想仍未解决。
数学家们一直在逐步寻找越来越大阶数的Hadamard矩阵实例。尚无已知矩阵的最小阶数是 \(668\)。此前最小的未知阶数是 \(428\),由Kharaghani和Tayfeh-Rezaie于2004年解决(https://onlinelibrary.wiley.com/doi/10.1002/jcd.20043)。新的阶数通常需要相当巧妙且新颖的构造。
本问题要求构造一个668阶的Hadamard矩阵。
## 提示词
``
找到一个668阶的Hadamard矩阵。
将你的Hadamard矩阵写入一个.npy文件(使用`numpy.save`),并输出文件路径。该矩阵必须是一个由+1和-1组成的方阵。
``
相似文章
Levent Alpöge 可能刚刚以混淆 shell 脚本的形式给出了最小的未解 Hadamard 情形 (668) 的解决方案
Levent Alpöge 显然使用 Claude 通过一个混淆的 shell 脚本构造了一个 668×668 的 Hadamard 矩阵,这可能解决了最小的未解 Hadamard 情形,以及 2000 以下全部 12 个未解决的阶数,尚待验证。
Claude 找到了雅可比猜想的一个反例
据报道,AI模型Claude找到了一个长期未解决的雅可比猜想的反例,该反例得到了多个LLM的验证,引发了关于AI在数学发现中的作用的讨论。
Claude Mythos
Anthropic的新AI模型Claude Mythos,使用Claude Code框架,据报道在OpenAI先前证伪之后,通过找到替代的简单证明,解决了Erdős的不同距离问题。这展示了LLMs进行独立科学突破的能力。
一个未发布的Anthropic模型在数学最重大未解问题之一上取得进展
一个未发布的Anthropic模型在黎曼猜想上取得了重大进展,使用60个子代理和3100万个token测试了650个想法,并改进了下界,结果在Lean中形式化。
@AnthropicAI:我们让一个未发布的研究版Claude尝试攻克黎曼猜想。它没有解决,但它……
Anthropic未发布的研究版Claude将满足黎曼猜想的黎曼ζ函数零点的比例下界从41.6%提高到67.2%,展示了AI数学能力的快速进步。