OpenAI: Short proofs in combinatorics, probability and number theory II #1 Post by Tyyps » Thu, Apr 09, 2026, 1:55 PM UTC OpenAI: Short proofs in combinatorics, probability and number theory IIarxiv.org