An AI-Assisted Solution to the Signed BAR Conjecture: Uniqueness in the Harrison--Reiman Class and a Completely-\mathcal{S} Class Obstruction
AI use, as the source states it
“The proof was discovered with the assistance of ChatGPT 5.5 Pro and subsequently verified by the authors.”
Model: ChatGPT 5.5 Pro, as stated
Named here, or see a mistake? Write to privacy@papex.org.