Open questions regarding the existence of Euler bricks

Conjecture · n_dim_euler_brick_existence

Is there an Euler brick in $n$ -dimensional space for any $n > 3$ ?

Formal statement · Lean 4.lean

theorem n_dim_euler_brick_existence : := by
  sorry

Proof. sorry

Nobody has tried yet.