The maximum number of mutually unbiased bases in dimension six

We prove that the maximum number of mutually unbiased orthonormal bases in ℂ${}^6$ is three, resolving Zauner's dimension-six MUB conjecture. The upper bound is computer-assisted: under the stated binary64 arithmetic and compiler conditions, a complete execution of the documented verification pipeline excludes four arbitrary complex bases.