Levent Alpöge 可能刚刚以混淆 shell 脚本的形式给出了最小的未解 Hadamard 情形 (668) 的解决方案
摘要
Levent Alpöge 显然使用 Claude 通过一个混淆的 shell 脚本构造了一个 668×668 的 Hadamard 矩阵,这可能解决了最小的未解 Hadamard 情形,以及 2000 以下全部 12 个未解决的阶数,尚待验证。
原始推文
他又用 Claude 做到了。
https://x.com/__alpoge__/status/2087504790435840207
这看起来比图片最初给人的印象要重要得多。这条推文包含一个混淆的 shell 脚本 + 一个巨大的 +/- 数据负载。解码后得到一个 668×668 的矩阵,元素为 ±1。668 很重要,因为它是目前未知是否存在 Hadamard 矩阵的最小阶数。找到一个就意味着要找到满足以下条件的 H:HHᵀ = 668I
我解码了数据负载,并用计算方式检查了生成的 668×668 矩阵。它完全满足条件,任意一对不同的行都正交,误差为零。但事情变得更奇怪了。这个脚本似乎包含了以下阶数的构造:668, 716, 892, 1132, 1244, 1388, 1436, 1676, 1772, 1916, 1948, 1964
这些正好是 2000 以下之前未解决的 12 个 Hadamard 阶数。这并不能证明完整的 Hadamard 猜想,而且显然需要适当的独立验证/数学解释。但如果这些构造全部验证通过,那么有人可能刚刚用一个该死的、被诅咒的 sed 脚本清除了 2000 以下所有剩余的未知 Hadamard 阶数。
相似文章
@gdb: 用于解决 Erdős 问题的 Sol Ultra:
GPT-5.6 Sol Ultra 已经解决了另一个 Erdős 问题(#793),使用了极其简短而优雅的构造,增强了 Erdős 使用的原始方法。
使用20个并行运行的Codex账户解决20个Erdős问题
研究人员使用20个并行Codex账户解决了20个Erdős问题,其中包括使用Lean对数论中的Erdős问题#123的形式化证明。
@gdb:GPT-5.6 Sol 用于解决100多年历史的猜想。没想到这种水平的智能能被每个人访问并可用……
据报道,GPT-5.6 Sol 找到了 Maxwell 猜想的一个反例,这是一个有100多年历史的问题,人类数学家已对这一结果进行沟通。
使用Claude发现密码学弱点
Anthropic的研究人员使用Claude Mythos,通过大量提示使其持续工作并找到可发布的结果,发现了HAWK和一种弱化版AES变体中的数学弱点,API调用花费约10万美元。该工作还产生了一个新的密码分析基准:CryptanalysisBench。
Mythos (使用 Claude 代码) 也解决了最近由 GPT 5.5 处理的单位距离问题,并给出了一个“可爱且简单的证明”。
Mythos 使用 Claude 代码解决了最近由 GPT 5.5 处理的单位距离问题,并给出了一个可爱且简单的证明。