{"id":"arxiv/2604.06609","url":"https://arxiv.org/abs/2604.06609","tags":["math.CO","math.NT","math.PR"],"score":0,"title":"Short proofs in combinatorics, probability and number theory II","domain":"math.CO","source":"arxiv","authors":["Boris Alexeev","Moe Putterman","Mehtaab Sawhney","Mark Sellke","Gregory Valiant"],"reviews":0,"subject":"math.CO","summary":"We give a quintet of proofs resulting from questions posed by Erdős. These questions concern ordinary lines in planar point sets, sequences with uniformly small exponential sums, $K_4$-free $4$-critical graphs with few chords in any cycle, a counterexample to a \"fewnomial\" version of the Erdős--Turán discrepancy bound, and a finiteness theorem for integers $n$ such that $n-a k^2$ is prime for all $k\\leq \\sqrt{n/a}$ coprime to $n$ (for fixed $a\\in\\mathbb Z_+$). Each proof is due to an internal model at OpenAI.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-08","reactions":{}}