Dette beviset fra ChatGPT er faktisk kult og utover det jeg trodde kunne løses med én enkelt forespørsel til GPT Pro. Jeg lurer likevel på hvor mange Erdos-problemer som vil følge etter et teorem av Erdos.