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 阶数。
相似文章
Anthropic研究员使用其内部模型找到668阶阿达马矩阵的解
Anthropic的一位研究员报告称,Claude帮助解决了668阶阿达马矩阵问题,这是组合数学中一个长期悬而未决的开放问题,可能标志着阿达马猜想在人工智能辅助下取得突破。
用 Claude Code 和 Codex 在 Erdős 993 问题上研究了 3 个月,结果今天发现上周已有人发布了完整证明。
一位研究者称自己花了三个月时间用 Claude Code 和 Codex 攻关 Erdős 第 993 号问题(树的独立集序列的单峰性),却在今天得知 Tong Zhang 和 Wei Li 上周已发布了完整证明,同时还有两份声称可成功构建的 Lean 4 形式化代码。该结果尚未经过同行评审。
声称的100页Hopf问题证明在几天内形式化为250,000行Lean代码
Levent Alpöge声称用Claude撰写了一个100页的Hopf问题证明,而OpenAI的Boris Alexeev在短短几天内使用Codex将其形式化为250,000行Lean代码。
@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的形式化证明。