2 ms·Forbidden Sidon subsets of perfect difference sets, a human-assisted proof1 points by wslh 1y ago