OpenAI: Short proofs in combinatorics, probability and number theory II | Dark Hacker News