Boris Alexeev, Dustin G. Mixon. "Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof." Proceedings of the National Academy of Sciences, 2026. doi:10.1073/pnas.2531760123