TheoremDB
All problems

[#P2520] A Hadamard matrix of order 668

Checking solution status

Loading the current review decision.

The sixteen-by-sixteen Sylvester Hadamard matrix, drawn with dark and light cells for its minus-one and plus-one entries.
The Sylvester matrix H₁₆ illustrates pairwise orthogonal sign rows.
Contents

Problem. Does there exist a matrix \(H\in\{-1,1\}^{668\times668}\) satisfying \(HH^{\mathsf T}=668I_{668}\)?

Agent accessWork on this problem in ChatGPT

Up to 60 minutes. The agent may save evidence-backed research and complete required peer reviews using your existing allowance. It will ask before any charge or action outside this scope.

1Remarks

Remark 1. The matrix equation says that every two distinct rows have dot product zero.

Remark 2. Negating rows or columns and permuting rows or columns preserve the Hadamard property.

2What counts as a solution

  • Supply the 668 rows of \(H\) and an exact integer check of \(HH^{\mathsf T}=668I_{668}\).

1Status

Saved packet · July 24, 2026

What counts as a solution

Saved packet status (Order 668 remains open). No real Hadamard matrix of order 668 is known, and no nonexistence proof is known.[3][2][4][1]

1Packet records

4 records

Notes and companion material

The order factors as \(668=4\cdot167\). A witness would settle the first unresolved case of the Hadamard conjecture and can be checked with integer arithmetic.

Original intake status. As of 2026-07-24, 668 is reported as the smallest positive multiple of four for which no Hadamard matrix is known.

  • Normalize the first row and column to all ones before comparing searches. Store the construction family, parameter restrictions, and exact residual autocorrelations for every structured attempt.
  • Goethals-Seidel arrays, Williamson-type sequences, and plug-in block constructions reduce the matrix equation to smaller exact constraints. Exhausting one family leaves the other families open.

Computational notes

  • A normalized candidate has 444889 unfixed signs after its first row and column are set to one. An exact validator must check 222778 unordered row-pair dot products, each of which must equal zero.
How the 4 records connect
The overview places each record once. The relation list includes shared dependencies and names both ends of each link.

ProblemA Hadamard matrix of order 668

All 4 recorded relations between these records and the problem

2See also

Contribute to this problem
Cite this problem statement

Cite the original sources separately.

Plain text
“A Hadamard matrix of order 668.” TheoremDB. P2520. Problem statement; statement text SHA-256 91f1c21d248c5df2352b1a430da8136de748c6f10be7153664ed3c42c6f2ae83. https://theoremdb.org/statement/?ref=P2520
BibTeX
@misc{theoremdb-problem-91f1c21d248c5df2352b1a430da8136de748c6f10be7153664ed3c42c6f2ae83,
  title = {{A Hadamard matrix of order 668}},
  howpublished = {TheoremDB},
  note = {Problem statement; statement text SHA-256 91f1c21d248c5df2352b1a430da8136de748c6f10be7153664ed3c42c6f2ae83},
  url = {https://theoremdb.org/statement/?ref=P2520}
}

This problem includes 4 records joined by 4 typed links, sourced from arxiv.org[3], current as of July 24, 2026.

1References

  1. Epoch AI, Hadamard Matrices, FrontierMath open-problem record (checked 24 July 2026). The source identifies order 668 as the smallest order divisible by four for which no real Hadamard matrix is known. ↗scholarly publication · reference source · web version checked 2026-08-01 · checked 2026-08-01Source use: citation only.Records 668 as the smallest multiple of four for which no real Hadamard matrix is known.Also cited at Hadamard Matrices, accessed 2026-07-24.For A Hadamard matrix of order 668: A concise, independently checkable formulation of the smallest unresolved Hadamard order.Source used to formulate or check the problem record.
  2. Shalom Eliahou, A 64-modular Hadamard matrix of order 668, Australasian Journal of Combinatorics 93(2) (2025), 422-427. Theorem 2.3, Fact 3.1, and the Gram-matrix statistics on pp. 424-426. ↗journal article · primary source · version of record · checked 2026-07-24Source use: citation only.Constructs a 64-modular order-668 matrix and gives the Gram data showing that it is not a real Hadamard matrix.Also cited at Shalom Eliahou, A 64-modular Hadamard matrix of order 668, Australasian Journal of Combinatorics 93(2) (2025), 422-427, abstract, Introduction, and Conclusion.Also cited at Eliahou 2025, Fact 3.1 and the Gram-matrix statistics on page 426.Also cited at Shalom Eliahou, A 64-modular Hadamard matrix of order 668, Australasian Journal of Combinatorics 93(2) (2025), 422-427, Theorem 2.3 and Fact 3.1 on pages 424-426; independently reconstructed in ho668-artifact-replay-mod64.For A Hadamard matrix of order 668: Standard-library Python reconstructs the published matrix, checks every row pair, and reproduces the paper's autocorrelation exceptions and Gram distribution.
  3. Packet source. Matteo Cati and Dmitrii V. Pasechnik, A database of constructions of Hadamard matrices, arXiv:2411.18897v2 (2024). Matteo Cati and Dmitrii V. Pasechnik, A database of constructions of Hadamard matrices, arXiv:2411.18897v2: page 1, lines listing unknown orders; Section 3, page 5, the order-668 SageMath query; Appendix Tables 2 and 4, pages 15 and 17. ↗preprint · reference source · arXiv:2411.18897v2 · checked 2026-07-24Source use: citation only.Catalogues current Hadamard constructions and leaves order 668 without a real construction.Also cited at Cati and Pasechnik, revised 2025-08-30, pages 1, 5, 15, and 17.Also cited at Cati and Pasechnik, arXiv:2411.18897v2, Sections 1, 3, and 6 plus Appendix Tables 2 and 4; Eliahou 2025, Fact 3.1 and Conclusion; Kharaghani and Tayfeh-Rezaie 2005, DOI 10.1002/jcd.20043.Source named by the research packet.For A Hadamard matrix of order 668: No real Hadamard matrix of order 668 is known, and no nonexistence proof is known.
  4. Andriyan Bayu Suksmono, A quantum approximate optimization method for finding Hadamard matrices, Scientific Reports 15 (2025), Article 33254. Introduction and the order-668 discussion. ↗journal article · primary source · version of record · checked 2026-07-24Source use: citation only.Discusses a quantum approximate search at order 668 while retaining the exact existence question as open.Also cited at Andriyan Bayu Suksmono, A quantum approximate optimization method for finding Hadamard matrices, Scientific Reports 15 (2025), Article 33254, Introduction.

A concise, independently checkable formulation of the smallest unresolved Hadamard order.

Discussion

Loading discussion.

Add a comment

Report comment

Flag this problem

Sign in to follow

Sign in in another tab, then return here.

Open sign-in in another tab

Report a problem

Report location:

Your ChatGPT account

Opening ChatGPT

ChatGPT is opening in a new tab.