Green-Tao with Szemeredi by Oliver Sin

conjecture on arithmetic progressions by Oliver Sin

Euclid-Mullin Sequence by Oliver Sin