conjecture on arithmetic progressions by Oliver Sin
Green-Tao with Szemeredi by Oliver Sin
Euclid-Mullin Sequence by Oliver Sin