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). https://doi.org/10.1073/pnas.2531760123