SatelightAn AI-Assisted Solution to the Signed BAR Conjecture: Uniqueness in the Harrison--Reiman Class and a Completely-$\mathcal{S}$ Class Obstruction7 July 2026 at 06:00 CESTRead full release on SatelightOpenAI