Hilbert's fourth problem
one of twenty-three, asking to construct all metric spaces where lines resemble those on a sphere
one of twenty-three, asking to construct all metric spaces where lines resemble those on a sphere
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).