An amateur solved a 60-year-old Erdős problem using a single GPT-5.4 Pro prompt; Terence Tao says it's a "nice achievement" with unclear long-term significance
A ChatGPT AI has proved a conjecture with a method no human had thought of. Experts believe it may have further uses