Euclid-Mullin Sequence by Oliver Sin

conjecture on arithmetic progressions by Oliver Sin

Green-Tao with Szemeredi by Oliver Sin