Hadamard's conjecture on the existence of Hadamard matrices

From papers

A Hadamard matrix is a square array with entries in {+1,1}\{+1,-1\} such that every two distinct rows agree in exactly half of their columns. Hadamard's conjecture. A Hadamard matrix of order nn exists for every

n0(mod4).n\equiv 0 \pmod 4.

This conjecture is attributed to Paley and remains wide open; it is not even known whether a Hadamard matrix of order 668668 exists.

Progress summary

Open

A 2026 report claims examples for the hardest missing sizes, including the former smallest case, but the conjecture has not been verified or proved.

Hadamard’s conjecture, attributed to Paley, asserts that a suitable matrix exists for every positive order divisible by four. The general assertion remains open, with 668668 historically the smallest unresolved order.

Known results

  • Paley’s constructions give matrices of order q+1q+1 for primes q3(mod4)q\equiv 3 \pmod 4, and order 2(q+1)2(q+1) for primes q1(mod4)q\equiv 1 \pmod 4 (Paley).
  • Kharaghani and Tayfeh-Rezaie constructed order 428428 in 20042004/20052005, removing the previous smallest unknown order.
  • Computational databases reported known constructions through order 12081208 and updated tables through order 29992999, while 668668 remained unknown in November 20242024.

2026 claimed constructions

Levent Alpöge reported examples for all previously unknown orders below 20002000, including 668668, attributing the work to Philippe Voinov, Saul Reynolds-Haertle, Claude, and himself. The report supplies no construction details or independent verification, so this is progress on individual orders, not a proof of Hadamard’s conjecture.

Current status (as of August 2026): The conjecture is not proved or disproved; a reported construction covering 668668 and other previously unknown orders below 20002000 remains unverified, and existence for every order divisible by 44 is open.

Sources
Sources & referencesView supporting material

Primary source

Amin Bahmanian and Sho Suda, “Hadamard Hypercubes”, arXiv:2605.16722 (2026).

Additional references

15 papers in this index state this conjecture (2006–2026). The statement above is taken from the most recent of them; the others are arXiv:2509.10580, arXiv:2509.00170, arXiv:2504.20539, arXiv:2308.15611, arXiv:2303.12713, arXiv:2208.03600, arXiv:2207.02397, arXiv:2112.03885, arXiv:2007.09235, arXiv:1808.07222, arXiv:1603.00006, arXiv:1502.03209, and 2 more.

Solutions 0

No solutions have been posted yet.