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