Constrained PSLQ Search for Machin-like Identities Achieving Record-Low Lehmer Measures

arXiv:2508.08307v2 Announce Type: replace-cross Abstract: Machin-like arctangent relations are classical tools for computing $\pi$, with efficiency quantified by the Lehmer measure ($\lambda$). We present a framework for discovering low-measure relations by co