Vau, kolmas Erdos-ongelma ratkaistu GPT 5.2:lla tällä viikolla!