A normed space, also called a normed linear space, is a vector
space possessing a norm.
The Petty equilateral-set conjecture asks whether every real -dimensional
normed space contains
pairwise equidistant points. Yang (2026) reported the five-dimensional case, with
a proof generated by Tencent Hunyuan hyprover and checked by the author. That argument
requires independent specialist assessment.
-dimensional
normed space contains 
pairwise equidistant points. Yang (2026) reported the five-dimensional case, with
a proof generated by Tencent Hunyuan hyprover and checked by the author. That argument
requires independent specialist assessment.
