Amateur armed with ChatGPT solves an Erdős problem

Liam Price used GPT-5.4 Pro on one prompt to solve a 60-year Erdős problem. Price is 23 and lacks advanced math training; the proof was posted on erdosproblems.com. The post is truncated and does not disclose the full conjecture or peer-review status.

Why it matters: HKR-H/K/R all pass: the amateur-one-prompt angle is rare, and GPT-5.4 Pro plus erdosproblems.com gives checkable facts. Held to 86 because the excerpt omits the full conjecture and peer-review status.