AIProofWatch
← Explore interestsIndividual problem

Mutually unbiased bases in dimension six

Three bases can be constructed in dimension six.

Progress records 1

Understand the problem ↓

1 record · How we rate progress

Understanding the problem

Read the background

Three bases can be constructed in dimension six. An exact maximum requires excluding four arbitrary bases, not only previously studied Hadamard families or numerically sampled candidates.

The computer-assisted upper bound depends on the documented complete execution and binary64 arithmetic/compiler contract. AIProofWatch has not rerun that pipeline; this is not a Lean checking claim.

Why it matters

If correct, matches the known construction with an unrestricted reported upper bound in the stated dimension.

What counts as progress

A sourced resolution or substantial advance on the precise target, with hypotheses, prior context, and verification evidence stated separately.

What to watch for

  • Assess the precise statement and assumptions before comparing results.
  • The computer-assisted upper bound depends on the documented complete execution and binary64 arithmetic/compiler contract. AIProofWatch has not rerun that pipeline; this is not a Lean checking claim.
  • Track independent assessments, dependencies, corrections, and withdrawals separately from importance.

Background review: 2026-10-11. Selected sources:

Website timeline

Publication dates and editorial changes.