Some mathematicians were so productive that people fail to process their legacy and machines are needed. This could summarize the story of a new, AI-generated proof that solves a problem formulated in 1975 by the Hungarian mathematician Paul Erdős.
AI single-handedly solves decades-old math problem
