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

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

💡 原文中文,约2900字,阅读约需7分钟。
📝

内容提要

Anthropic研究员Levent Alpöge与团队利用Claude解决了668阶哈达玛矩阵难题,这是数学界30年未解的问题,也是FrontierMath基准测试中第四个被AI解决的开放问题。他们共构造12个矩阵,扫清2000阶以下所有空缺,但具体方法待技术报告公布。

🔎

延伸解读

668阶矩阵的特殊性

668阶哈达玛矩阵之所以难,是因为其阶数分解为4×167,而167是模4余3的素数,传统的佩利构造法只能生成模意义下的近似矩阵,无法直接得到精确解。此前最小未知阶数停留在428阶(2005年解决),668成为新的临界点,突破它意味着在组合设计理论中补上了关键例证。

AI解决数学开放问题的意义

这是FrontierMath基准测试中第四个被AI解决的开放问题,此前已有两个由GPT解决、两个由Claude解决。值得注意的是,AI不仅能解决已知问题,还能在人类长期未解的领域取得突破,这标志着AI在数学推理方面已具备与人类顶尖数学家协作的能力,可能加速数学研究的进程。

验证与局限

虽然复现者通过精确整数运算验证了矩阵元素和正交性,但EpochAI指出,目前无法判断这是改进的搜索策略还是可推广的通用构造。此外,方法能否推广到2000阶以上仍是未知数,完整技术报告尚未公布,因此结论仍需谨慎对待。

Q&A

668阶哈达玛矩阵难题是什么?为什么它重要?

668阶哈达玛矩阵是一个由+1和-1组成的方阵,任意两行正交(内积为0)。它重要是因为它是哈达玛猜想中最小未知阶数,自2005年以来一直未被构造,困扰数学家30年,并被收录进FrontierMath基准测试的开放问题中。

Claude是如何解决668阶哈达玛矩阵问题的?

Anthropic研究员Levent Alpöge与团队(包括Philippe Voinov和Saul Reynolds-Haertle)使用Claude,通过构造12个矩阵,扫清了2000阶以下所有空缺。具体方法尚未公开,需等待技术报告。

哈达玛矩阵有哪些历史构造方法?

哈达玛矩阵的构造方法包括:1867年西尔维斯特提出的克罗内克递归法(生成2的幂阶矩阵),1893年哈达玛补充构造12阶和20阶矩阵,1933年佩利利用有限域二次剩余发明的佩利构造法。

哈达玛猜想是什么?

哈达玛猜想是:所有4的正整数倍阶数都存在哈达玛矩阵。该猜想至今未被证明,是纯数学中的公开难题。

这次解决668阶哈达玛矩阵对FrontierMath基准测试有什么影响?

这是FrontierMath基准测试中50个开放问题被AI解决的第四个,由EpochAI暂时标记为“由AI解决”。此前已有两个由GPT解决,两个由Claude解决。

668阶哈达玛矩阵的构造难点在哪里?

668阶的分解式4×167依赖模4余3素数的佩利有限域高阶构造方法,长期仅能生成模意义近似矩阵,构造难度极大。此前只有“64模版本”满足模64条件,但并非真正的哈达玛矩阵。

这次解决哈达玛矩阵问题的方法能推广到更高阶吗?

目前无法判断这批结果来自一套改进的搜索策略,还是一条可推广的通用构造。能否推广到2000阶以上,需等待完整技术报告揭晓。

🏷️

标签

➡️

继续阅读