A 60-Year-Open Erdős Problem Was Solved With Help From GPT-5.4 Pro

Earlier this month, an Erdős problem that had been open for 60 years was solved with help from GPT-5.4 Pro.

OpenAI says GPT-5.4 Pro helped solve an Erdős problem open for 60 years. The post names Sebastien Bubeck, Ernest Ryu, and Andrew Mayne, but does not disclose the problem name, proof details, or reproducible conditions.

Why it matters: HKR-H and HKR-R pass because an OpenAI model aiding a 60-year Erdős problem is a strong AI-research hook. HKR-K fails: no problem name, proof details, or reproduction conditions are disclosed.