Liam Price and ChatGPT-5.4 Pro solve Erdős's primitive set problem

Technology