Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof - Boris Alexeev; Dustin G. Mixon (Proceedings of the National Academy of Sciences, 2026)