共享

Did Erdos pose his problems to get at their solutions (AI certainly excelled at deriving a negative answer to one of his famous problems and a human would feel triumphant if they had discovered such a counter-example) or with an intention of motivating new lines of mathematical reasoning (does not seem to be the case as per the assessment of authors in the companion paper)? In a big-picture sense both are equally useless human endeavors whose main purpose were to serve as recreational brain teasers for people who have the luxury of time to expend on such efforts rather than scrambling for basic survival needs. One of the big favors that AI has done is to reflect back to humans that machines can "waste time" in far more effective ways than humans ever can, bringing out a primal sense of urgency to the question what exactly are people needed for on this Earth.

Korean Air A321 crosswind go-around