The geometry of snowflaked Ptolemaic metric spaces

My coauthors June Huh, Mario Kummer, Oliver Lorscheid, and I just posted a paper called Lorentzian polynomials and matroids over triangular hyperfields, Part 2: Analytic aspects on the arXiv preprint server. This is the first paper of mine to contain a substantial result proved by AI, and also the first to contain a proof formally [ ]