TagErdős conjecture AI proof

Let’s get social