Manchester — AI cracked Erdős's 50-year sum-product conjecture. Manchester mathematician Bloom borrowed a proof technique an OpenAI model had used to solve an 80-year-old Erdős problem. Who earns cred
New Scientist