Alexeev, B., Mixon, D. G. (2026). Forbidden Sidon subsets of perfect difference sets, featuring a human-assisted proof. Proceedings of the National Academy of Sciences. https://doi.org/10.1073/pnas.2531760123