Harmonic's Math AI (Aristotle) Solves an Erdős-Problem (erdosproblems.com)

The version solved by Aristotle seems to be weaker version than the one originally stated by Erdős and his coauthors, though the weaker version was added to the list because it was the version Erdős used in later papers.